cairovm_verifier v0.0.3

Cairo-VM Verifier

This is the Rust implementation of the Cairo-VM STARK verifier with layouts. The code is inspired by StarkWare's Cairo-verifier implementation in Cairo0.

Example usage

import init, { cairovm_verify } from 'cairovm_verifier';

async function run(proof_json) {
  await init();  // Initialize the Wasm module
  try {
    const [programHash, programOutput] = JSON.parse( await cairovm_verify(proof_json) );
  } catch (err) {
    console.error(`Verification failed: ${err}`);
  }
}

Contributing

Feel free to open issues or submit pull requests to help improve this project.