Swiftness CairoVM Verifier

Swiftness is a Rust implementation of the Cairo-VM STARK verifier with layouts, inspired by StarkWare's Cairo-verifier in Cairo0.

Example Usage

``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});
}
}
``

Contributing

Contributions are welcome! Feel free to open issues or submit pull requests to help improve this project.