Swiftness CairoVM Verifier | swiftness-{layout}-{commitment hash}
npm install swiftness-dex-blake2s!Version
!Continuous Integration



Swiftness is a Rust implementation of the Cairo-VM STARK verifier with layouts, inspired by StarkWare's Cairo-verifier in Cairo0.
``js
import init, { verify_proof } from "swiftness-{layout}-{commitment hash}";
async function run(proof_json) {
await init(); // Initialize the Wasm module
try {
const [programHash, programOutput] = JSON.parse(
await verify_proof(proof_json),
);
} catch (err) {
console.error(Verification failed: ${err});``
}
}
Contributions are welcome! Feel free to open issues or submit pull requests to help improve this project.