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.31 KB (0%)	2 s (0%)	1.4 s (+48.27% 🔺)	3.3 s
Waku Simple Light Node	147.49 KB (0%)	3 s (0%)	1.2 s (+14.14% 🔺)	4.2 s
ECIES encryption	22.62 KB (0%)	453 ms (0%)	306 ms (+38.92% 🔺)	758 ms
Symmetric encryption	22 KB (0%)	440 ms (0%)	246 ms (-9.78% 🔽)	686 ms
DNS discovery	52.17 KB (0%)	1.1 s (0%)	736 ms (+47.79% 🔺)	1.8 s
Peer Exchange discovery	52.91 KB (0%)	1.1 s (0%)	430 ms (-21.56% 🔽)	1.5 s
Peer Cache Discovery	46.64 KB (0%)	933 ms (0%)	542 ms (+1.06% 🔺)	1.5 s
Privacy preserving protocols	77.28 KB (0%)	1.6 s (0%)	819 ms (+6.71% 🔺)	2.4 s
Waku Filter	79.72 KB (0%)	1.6 s (0%)	784 ms (+4.54% 🔺)	2.4 s
Waku LightPush	77.99 KB (0%)	1.6 s (0%)	1.2 s (+25.96% 🔺)	2.8 s
History retrieval protocols	83.65 KB (0%)	1.7 s (0%)	632 ms (-43.99% 🔽)	2.4 s
Deterministic Message Hashing	28.98 KB (0%)	580 ms (0%)	340 ms (+10.38% 🔺)	920 ms