swiftness-small-keccak

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 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.