swiftness

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

import { loadSwiftnessModule } from "swiftness";

// Load the module and verify the proof
let [parse_proof, verify_proof] = await loadSwiftnessModule(layout, commitment, stone);
const output = JSON.parse(verify_proof(parse_proof(proof)));

console.log({ programHash: output['program_hash'], outputHash: output['output_hash'] });

Contributing

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