vac:qa:waku:2025q4-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.
Task List
Property-based Fuzz Testing
- fully qualified name:
vac:qa:waku:2025q4-rln-smart-contract-testing:property-based - owner: romanzac
- status: done
- start-date: 2025/10/01
- end-date: 2025/11/11
Description
Implement tests to verify behaviors that must always hold. Run these tests with high iterations to find unexpected edge cases.
Deliverables
Security and Adversarial Testing
- fully qualified name:
vac:qa:waku:2025q4-rln-smart-contract-testing:security-adversarial - owner: romanzac
- status: done
- start-date: 2025/10/07
- end-date: 2025/11/19
Description
Implement tests to verify behavior in adversarial scenarios like timestamp manipulation, overflows, unauthorized actions,
DoS by large reuse lists, multiple memberships per holder.