Pure Java optimized field arithmetic and elliptic curve operations for ZK proving

Reusable ceremony/interop tools for ZeroJ (snarkjs-compatible zkey contributor)

Groth16 MPC trusted-setup ceremony CLI for ZeroJ circuits

Opt-in blst-accelerated Groth16 prover backend for zeroj-crypto

Reusable Groth16 and PlonK BLS12-381 Plutus V3 spending validators for Cardano

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