roadmap/content/qa/waku/2025q4-rln-smart-contract-testing.md

title, tags, draft, description

title	tags	draft	description
RLN Smart Contract Testing	2025q4 qa waku	false	Test and validate the reliability of the Waku RLN Smart Contract

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

• chore: fuzz test expansion

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.

Deliverables

• chore: adversarial tests
• Potential extension of membership outside the grace period
• Add protection to prevent drain of funds after malicious contract upgrade
• bug: Lower the likelihood of set-filling spam attack