v2.0.0

[seemenkina]

Zerokit v2.0.0 Release Notes

Highlights

Zerokit v2.0.0 introduces two major features: multi-message-id support for consuming multiple message-ID units in a single proof, and Groth16 partial proof generation for accelerated proof creation by caching the static witness portion. This release also adds a version byte to all serialized structures, improved input validation, and significantly expanded test coverage.

What's New

Features

• Multi-message-id support (feat): allows consuming multiple message-ID units in a single RLN proof, enabling flexible rate limiting with the multi-message-id feature flag (feat: implement multi-message-id feature #375)
• Groth16 partial proof generation (feat): pre-compute and cache the static witness portion, then quickly finish proofs for new messages — significantly reducing proof generation latency for repeated operations (Ark groth16 partial #373)
• Version byte serialization: all serialized structures (RLNPartialWitnessInput, PartialProof) now include a version byte prefix for forward compatibility
• Input validation for bytes-to-field conversion: validates input when converting bytes to field elements, preventing invalid inputs from silently producing incorrect results (feat(rln): validate the input for conversion from bytes to field elements #387)
• Improved graph initialization: deserialize circuit graph only once during initialization for faster startup (feat(rln): improve graph initialization by deserialize only once #368)
• Pull request template for standardized contributions (feat(docs): provide pull request template #377)

Bug Fixes

• Fixed example in README, updated Cargo.lock, import cleanup (chore: fix example in Readme, update Cargo.lock, cleanup import #374)

Breaking Changes

• Serialization format change: all serialized witness and proof structures now include a version byte prefix (0x00 for single message-id, 0x01 for multi-message-id). Existing serialized data without the version byte will fail to deserialize.
• New circuit resources: added new tree_depth_10 and updated tree_depth_20 (with multi_message_id/max_out_4 subdirectories).
• Refactored witness/proof types: RLNWitnessInput and RLNProofValues have been combined from separate struct and enum variants into unified types (#462714)

Test Coverage

• Extensive new test coverage for protocol and circuit modules (test: Improve coverage for protocol and circuit modules #372)
• Serialization FFI error cases (test: Serialization FFI error cases #376)
• RLN-WASM bindings error cases (test: RLN-WASM bindings error cases #381)
• Overflow panic potential coverage (test: Cover code with potential to overflow panic #382)
• Merkle invalid proof and PM tree coverage (test: Merkle invalid proof and PM tree coverage tests #367)
• Rate-limit validation and resource error tests (test: Rate-limit validation and resource error tests  #365)
• RLN proof verification failure cases ( test: RLN proof verification failure cases #363)
• Test coverage report added to CI (chore: Test coverage report for CI #371)

Version Matrix

Crate	Version
rln	2.0.0
zerokit_utils	1.1.0
rln-wasm	2.0.0
rln-cli	0.6.0

Full Changelog

• test: RLN proof verification failure cases by @romanzac in test: RLN proof verification failure cases #363
• chore: update Cargo.lock for rln and version of circom-witnesscalc by @vinhtc27 in chore: update Cargo.lock for rln and version of circom-witnesscalc #364
• feat(rln): improve graph initialization by deserialize only once by @vinhtc27 in feat(rln): improve graph initialization by deserialize only once #368
• test: Rate-limit validation and resource error tests by @romanzac in test: Rate-limit validation and resource error tests  #365
• test: Merkle invalid proof and PM tree coverage tests by @romanzac in test: Merkle invalid proof and PM tree coverage tests #367
• chore: Test coverage report for CI by @romanzac in chore: Test coverage report for CI #371
• chore: fix example in Readme, update Cargo.lock, cleanup import by @vinhtc27 in chore: fix example in Readme, update Cargo.lock, cleanup import #374
• test: Improve coverage for protocol and circuit modules by @romanzac in test: Improve coverage for protocol and circuit modules #372
• feat(docs): provide pull request template by @seemenkina in feat(docs): provide pull request template #377
• bump nixpkgs to a 25.11 commit by @Ivansete-status in bump nixpkgs to a 25.11 commit #378
• test: RLN-WASM bindings error cases by @romanzac in test: RLN-WASM bindings error cases #381
• test: Serialization FFI error cases by @romanzac in test: Serialization FFI error cases #376
• feat(rln): validate the input for conversion from bytes to field elements by @vinhtc27 in feat(rln): validate the input for conversion from bytes to field elements #387
• Ark groth16 partial by @mghazwi in Ark groth16 partial #373
• feat: implement multi-message-id feature by @vinhtc27 in feat: implement multi-message-id feature #375
• test: Cover code with potential to overflow panic by @romanzac in test: Cover code with potential to overflow panic #382
• chore: updated circom-rln repo link, add partial proof to rln-cli example and FFI examples by @vinhtc27 in chore: updated circom-rln repo link, add partial proof to rln-cli example and FFI examples #390
• feat: updated doc and example about using old partial proof by @vinhtc27 in feat: updated doc and example about using old partial proof #393
• chore: update dependencies and version numbers across multiple crates by @seemenkina in chore: update dependencies and version numbers across multiple crates #392
• fix(rln): exclude large resource files from crate package by @seemenkina in fix(rln): exclude large resource files from crate package #394

New Contributors

• @romanzac made their first contribution in test: RLN proof verification failure cases #363
• @Ivansete-status made their first contribution in bump nixpkgs to a 25.11 commit #378
• @mghazwi made their first contribution in Ark groth16 partial #373

Full Changelog: v1.0.0...v2.0.0

---

This discussion was created from the release v2.0.0.