vac:qa:waku:2025q3-rln-smart-contract-testing
Description
Test and validate the reliability of the Waku RLN Smart Contract in accordance to Waku2 RLN Contract Specification.
Ensure the smart contract main workflow is functional. Test corner cases and potential attack vectors.
Test on selected blockchains to ensure uniform behavior across different deployments.
Alignment with VAC Narratives:
- By testing the Waku RLN Smart Contract, VAC QA ensures robust and predictable behavior across different deployments and blockchains.
- This initiative supports VAC’s commitment to building reliable and scalable testing frameworks that foster collaboration and confidence in the Waku ecosystem.
- Reliability-focused testing directly aligns with the strategic objective of ensuring resilience in communication protocols.
Task List
Unit Test Expansion with Edge Cases
- fully qualified name:
vac:qa:waku:2025q3-rln-smart-contract-testing:edge-cases - owner: romanzac
- status: in progress (5%)
- start-date: 2025/08/20
- end-date: 2025/09/15
Description
Add unit tests to cover edge case scenarios.
Deliverables
- PRs with tests using calls to contract’s ABI
- Documentation outlining tested scenarios
Property-based Fuzz Testing
- fully qualified name:
vac:qa:waku:2025q3-rln-smart-contract-testing:property-based - owner: romanzac
- status: not started
- start-date: 2025/09/15
- end-date: 2025/09/30
Description
Implement tests to verify behaviors that must always hold. Run these tests with high iterations to find unexpected edge cases.
Deliverables
- PRs with tests using calls to contract’s ABI
- Documentation outlining tested scenarios