z0p v0.1.0 — initial public release

z0p v0.1.0

Initial public release of z0p: a from-scratch, zero-dependency zero-knowledge
proving stack in safe Rust.

Included

• Binary fields (gf2), BabyBear (babybear), BLAKE3-256 (hash), and
  Fiat-Shamir transcripts with proof-of-work grinding (transcript).
• Domain-separated Merkle trees with caps (merkle), parallel NTT (ntt),
  FRI polynomial commitments (fri), MLE and sumcheck (mle, sumcheck).
• Fibonacci AIR/STARK (air), range checks (range), table membership
  (table), hash-folded IVC (fold), and zero-knowledge masking (blind).
• Canonical, fail-closed wire encoding (codec) and a ChaCha20 CSPRNG (rng).
• Security, red-team, and hardening test suites, plus tools/check.py gates.

Status

Unaudited research software. Soundness figures are conjectured; do not deploy
for high-value statements before external review. See SECURITY.md.