Proof envelope serialization (snarkjs JSON, CBOR)

Groth16 proof verification for BLS12-381; BN254 legacy verifier disabled by default

Standard proof-backed patterns: state transitions, nullifier claims, membership proofs

Native in-process BLS12-381 Groth16 and PlonK proving via gnark FFM bindings

Halo2 proof verification via Rust FFM bindings (IPA + KZG)

PlonK proof verification for BLS12-381; BN254 legacy verifier disabled by default