Group: Zeroj

Sort by:Popular▼

✓Popular✓Newest

Core ZK proof model and verification types

Shared pure Java BLS12-381 field, curve, pairing, and provider primitives

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

Standard library of reusable ZK circuit components for the ZeroJ circuit DSL

Proof envelope serialization (snarkjs JSON, CBOR)

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

Bill of Materials for the default ZeroJ product surface (ADR-0044). Opt-in product artifacts are declared explicitly by the application.

Pure Java CFRG BBS signatures and selective disclosure

Compile-time processor that generates ZeroJ CircuitBuilder companions from annotated Java circuit classes

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

Poseidon JMT profile, CCL integration, witnesses, and ZK circuit primitives

Poseidon-rooted CCL Merkle Patricia Forestry helpers for ZeroJ circuits

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