Core libraries
Anchor Framework
Solana program framework providing safer account handling, IDLs, and tooling.
groth16-solana
BN254 Groth16 verification library adapted for Solana's compute environment.
light-hasher
VoidHash implementation used consistently on-chain and in circuits.
circomlib
Reusable Circom gadgets (hashing, bit operations, etc.) used to build the join–split circuit.
snarkjs
Toolkit for Groth16 trusted setup, proof generation, and local verification.