RLN Light Clients

vac:acz:rlnp2p:vac:rln-light-clients §

---

%%{ 
  init: { 
    'theme': 'base', 
    'themeVariables': { 
      'primaryColor': '#BB2528', 
      'primaryTextColor': '#fff', 
      'primaryBorderColor': '#7C0000', 
      'lineColor': '#F8B229', 
      'secondaryColor': '#006100', 
      'tertiaryColor': '#fff' 
    } 
  } 
}%%
gantt
  tickInterval 1month
  dateFormat YYYY-MM-DD 
  section Status
    RLN Light Clients: done, 2024-04-01, 2024-05-01

• status: 100%
• CC: Aaryamann

Description §

Make use of zk-kit’s LazyIMTto have the merkle proof of a leaf accessible onchain, and the root as well, to allow for light rln provers and verifiers.

Justification §

A node attempting to verify RLN proofs takes nearly ~10 minutes to sync all the leaves. We should attempt to see if it is cheap enough to use the LazyIMT structure so that we can have the merkle proof accessible onchain.

Deliverables §

• PoC (rln-v1): https://github.com/vacp2p/rln-contract/pull/31
• Deployed to cardona zkevm testnet: https://cardona-zkevm.polygonscan.com/address/0x16abffcab50e8d1ff5c22b118be5c56f801dce54
• PoC (rln-v2): https://github.com/vacp2p/rln-contract/pull/39
• Downstreamed to waku-rln-contract to estimate gas: https://github.com/vacp2p/rln-contract/pull/38

RLN Version	Gas estimate for insertion
rln-v1	90k
rln-v1 (lazyIMT)	130k
rln-v2	135k
rln-v2 (lazyIMT)	210k