Core ZK proof model and verification types

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

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

Service Provider Interface for ZK verification backends, plus the verifier registry and orchestrator absorbed from zeroj-verifier-core

BLS12-381 cryptographic operations via blst

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

Proof envelope serialization (snarkjs JSON, CBOR)

Pure Java CFRG BBS signatures and selective disclosure

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