feat(rln): proof generation and verification

[adklempner]

Problem / Description

Solution

Notes

• Depends on feat(rln)!: generate contract types, migrate from ethers to viem #2705
• Resolves feat: generate proofs from roots without merkle tree #1919
• Related to

---

Checklist

• Code changes are covered by unit tests.
• Code changes are covered by e2e tests, if applicable.
• Dogfooding has been performed, if feasible.
• A test version has been published, if required.
• All CI checks pass successfully.

[github-actions]

size-limit report 📦

Path	Size	Loading time (3g)	Running time (snapdragon)	Total time
Waku node	96.38 KB (0%)	2 s (0%)	1.3 s (+18.1% 🔺)	3.3 s
Waku Simple Light Node	147.7 KB (0%)	3 s (0%)	780 ms (+22.12% 🔺)	3.8 s
ECIES encryption	22.62 KB (0%)	453 ms (0%)	328 ms (+29.24% 🔺)	780 ms
Symmetric encryption	22 KB (0%)	440 ms (0%)	286 ms (-14.67% 🔽)	726 ms
DNS discovery	52.17 KB (0%)	1.1 s (0%)	688 ms (+9.08% 🔺)	1.8 s
Peer Exchange discovery	52.91 KB (0%)	1.1 s (0%)	492 ms (+10.32% 🔺)	1.6 s
Peer Cache Discovery	46.64 KB (0%)	933 ms (0%)	453 ms (-2.28% 🔽)	1.4 s
Privacy preserving protocols	77.26 KB (0%)	1.6 s (0%)	855 ms (+39.75% 🔺)	2.4 s
Waku Filter	79.78 KB (0%)	1.6 s (0%)	663 ms (-0.17% 🔽)	2.3 s
Waku LightPush	78 KB (0%)	1.6 s (0%)	772 ms (+24.55% 🔺)	2.4 s
History retrieval protocols	83.66 KB (0%)	1.7 s (0%)	699 ms (+13.68% 🔺)	2.4 s
Deterministic Message Hashing	28.98 KB (0%)	580 ms (0%)	436 ms (+66.76% 🔺)	1.1 s