Anoncomms testing

vac:qa:anoncomms:2026q1-anoncomms-testing

Description §

Expand QA coverage for Zerokit RLN and hashgraph-like consensus by adding negative-path, error-handling, and regression tests, and by reviewing existing coverage for gaps.

Baseline test suites and file entry points for onboarding:

• Zerokit RLN tests: https://github.com/vacp2p/zerokit/tree/master/rln/tests (public.rs, protocol.rs, poseidon_tree.rs, ffi_utils.rs, ffi.rs, utils.rs).
• Zerokit Utils tests: https://github.com/vacp2p/zerokit/tree/master/utils/tests (poseidon_hash_test.rs, poseidon_constants.rs, merkle_tree.rs).
• Zerokit RLN-WASM tests: https://github.com/vacp2p/zerokit/tree/master/rln-wasm/tests (utils.rs, node.rs, browser.rs).
• Hashgraph-like consensus tests: https://github.com/vacp2p/hashgraph-like-consensus/tree/main/tests (concurrency_tests.rs, consensus_service_tests.rs, network_gossip_tests.rs, rfc_compliance_tests.rs, scope_config_tests.rs, storage_stream_tests.rs, threshold_tests.rs, vote_tests.rs, vote_validation_tests.rs).

Task List §

Zerokit RLN negative-path hardening §

• fully qualified name: vac:qa:anoncomms:2026q1-anoncomms-testing:rln-negative-paths
• owner: TBD
• status: not started
• start-date: 2026/01/01
• end-date: 2026/02/15

Description §

• Review existing RLN coverage and document gaps.
• Add proof verification failure cases by mutating external_nullifier, message_id, x, and single path_element for verify_rln_proof and verify_with_roots.
• Add rate-limit validation tests for RLNWitnessInput (reject message_id >= user_message_limit and limit = 0).
• Add resource error tests for missing or wrong rln_final.arkzkey and graph.bin, plus mismatched tree depth.
• Add Merkle tree invalid proof tests (old root after update, wrong leaf index).
• Add tests for PM tree feature coverage.
• Baseline references:
  • https://github.com/vacp2p/zerokit/tree/master/rln/tests
  • public.rs, protocol.rs, poseidon_tree.rs, ffi_utils.rs, ffi.rs, utils.rs

Deliverables §

• PR(s) with new RLN negative-path and resource error tests.
• Test report listing covered gaps and remaining risks.

Zerokit serialization and FFI error handling §

• fully qualified name: vac:qa:anoncomms:2026q1-anoncomms-testing:serialization-ffi-errors
• owner: TBD
• status: not started
• start-date: 2026/02/01
• end-date: 2026/03/15

Description §

• Add truncated/extra-byte serialization tests for witness/proof values (Rust and FFI) and assert rejection.
• Extend C FFI coverage for out-of-bounds, bad depth, and invalid inputs to ensure CResult.err is returned.
• Add negative/invalid input tests for RLN-WASM bindings.
• Baseline references:
  • https://github.com/vacp2p/zerokit/tree/master/utils/tests
  • https://github.com/vacp2p/zerokit/tree/master/rln-wasm/tests

Deliverables §

• PR(s) with serialization and FFI error-path tests.
• Test report describing validation behavior and coverage.

Hashgraph-like consensus negative tests §

• fully qualified name: vac:qa:anoncomms:2026q1-anoncomms-testing:hashgraph-negative-tests
• owner: TBD
• status: not started
• start-date: 2026/02/15
• end-date: 2026/03/31

Description §

• Add negative tests for proposal/vote lifecycle and timeout behavior.
• Validate consensus result calculations for both p2p and gossipsub networks.
• Expand invalid vote/proposal cases beyond happy-path coverage.
• Baseline references:
  • https://github.com/vacp2p/hashgraph-like-consensus/tree/main/tests
  • concurrency_tests.rs, consensus_service_tests.rs, network_gossip_tests.rs, rfc_compliance_tests.rs, scope_config_tests.rs, storage_stream_tests.rs, threshold_tests.rs, vote_tests.rs, vote_validation_tests.rs

Deliverables §

• PR(s) with new negative-path consensus tests.
• Test report summarizing outcomes and open issues.