ark-snarkjs

Utilities for exporting arkworks proofs and verifying keys into formats compatible with snarkjs and garaga. Currently supports Groth16 on curves BN254 and BLS12-381.

Installation

cargo add ark-snarkjs

Example

Here is a full example with a simple circuit, proof generation, verification, and exporting proof + verifying key into snarkjs-compatible JSON.

let proof_json = export_proof::<ark_bn254::Bn254, _>(
    &proof,
    &public_inputs,
    "proof.json",
);

let proof_json = export_proof_garaga::<ark_bn254::Bn254, _>(
    &proof, 
    &public_inputs, 
    "garaga_proof.json"
);

let vk_json = export_vk::<ark_bn254::Bn254, _>(
    &vk,
    public_inputs.len(),
    "verification_key.json",
);

Both proof.json and vk.json are fully compatible with snarkjs, so you can directly use them with the snarkjs verify command.

Supported Curves

• BN254
• BLS12-381

License

MIT