mirror of
https://github.com/vacp2p/roadmap.git
synced 2026-01-09 15:48:02 -05:00
c068161aea
- Roadmap Updates for all units (except DST who did it in separate PR) - fixes/updates to the q4 roadmap to make it more consistent - small updates to the roadmap validator TODO: - BI tasks still need some updates but would need to discuss it first with their lead --------- Co-authored-by: kaiserd <1684595+kaiserd@users.noreply.github.com>
60 lines
2.2 KiB
Markdown
60 lines
2.2 KiB
Markdown
---
|
||
title: RLN Smart Contract Testing
|
||
tags:
|
||
- "2025q4"
|
||
- "qa"
|
||
- "waku"
|
||
draft: false
|
||
description: 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](https://github.com/waku-org/specs/blob/master/standards/core/rln-contract.md).
|
||
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
|
||
|
||
### Property-based Fuzz Testing
|
||
|
||
- fully qualified name: `vac:qa:waku:2025q4-rln-smart-contract-testing:property-based`
|
||
- owner: romanzac
|
||
- status: in progress (90%)
|
||
- start-date: 2025/10/01
|
||
- end-date: 2025/10/31
|
||
|
||
#### 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](https://github.com/waku-org/waku-rlnv2-contract/pull/40)
|
||
|
||
### Security and Adversarial Testing
|
||
|
||
- fully qualified name: `vac:qa:waku:2025q4-rln-smart-contract-testing:security-adversarial`
|
||
- owner: romanzac
|
||
- status: in progress (90%)
|
||
- start-date: 2025/10/07
|
||
- end-date: 2025/10/31
|
||
|
||
#### 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
|
||
- [Add protection to prevent drain of funds after malicious contract upgrade](https://github.com/waku-org/waku-rlnv2-contract/issues/43)
|
||
- [bug: Lower the likelihood of set-filling spam attack](https://github.com/waku-org/waku-rlnv2-contract/issues/45)
|