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

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

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

Reusable ceremony/interop tools for ZeroJ (snarkjs-compatible zkey contributor) and the zeroj-ceremony CLI

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