Discussion topic for research post: Verifying RLN Proofs in Light Clients with Subtrees | Vac Research