Core ZK proof model and verification types

Proof envelope serialization (snarkjs JSON, CBOR)

Service Provider Interface for ZK verification backends

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

Java DSL for defining ZK arithmetic circuits — compiles to R1CS (Groth16) or PlonK constraint systems

BLS12-381 cryptographic operations via blst

Annotations and symbolic type API for generating ZeroJ circuits from Java classes

ZK proof anchoring model and Cardano metadata encoding

Verifier orchestration and backend routing

Service Provider Interface for ZK proof generation backends

Pure Java CFRG BBS signatures and selective disclosure