Circuit Registry — Vellum Cash GitBook

§Open Source Circuit Registry#

All circuits utilized in Vellum Cash are open-source, reproducible, and formally verified.

Circuit Identifier	R1CS Constraints	Proof System	Elliptic Curve	Audit Status
arc_deposit_v2.circom	32,488	Groth16 SnarkJS	BN254	[VERIFIED]
simdset_nullifier_spend.circom	41,060	Groth16 SnarkJS	BN254	[VERIFIED]
merkle_tree_depth20.circom	18,120	Poseidon Hash	BN254	[VERIFIED]
cross_chain_settler_evm.circom	48,394	Groth16 SnarkJS	secp256k1 / BN254	[VERIFIED]

Purpose: Generates and verifies the valid formatting of deposit commitments into the Arc shielded pool.

Inputs: root, commitment, depositAmount, randomSalt, secret.

Constraints: 32,488 R1CS equations.

Purpose: Validates nullifier derivation and verifies that the private key k holds spending authority over the specified commitment leaf.

Inputs: nullifierHash, spendingKey, secret, merklePath[20].

Constraints: 41,060 R1CS equations.

Purpose: Computes Poseidon incremental Merkle membership proofs for trees with $2^{20} = 1,048,576$ entries.

Constraints: 18,120 R1CS equations.

Purpose: Handles cross-chain proof translation and EVM ECDSA signature checks for permuted relayer authorization.

Constraints: 48,394 R1CS equations.