Crate r14_circuit 

Re-exports

pub use transfer::TransferCircuit;

Modules

merkle_gadget

poseidon_gadget

transfer

Structs

PublicInputs

Public inputs for a transfer proof

Functions

constraint_count

Count constraints in the transfer circuit

prove

Generate a Groth16 proof for a private transfer

setup

Run Groth16 trusted setup for the transfer circuit

verify_offchain

Verify a proof off-chain