Shreyas Londhe

— Featured Work

• ProveKit

  Core contributor @ World

  Client-side zero-knowledge proving for World ID. Work spans witness solving, challenge soundness, recursive verification, and prover performance.

• WHIR

  Contributor

  Reed–Solomon proximity testing with super-fast verification. Added batch prove/verify and recursive verification support.

• zk-regex v2

  Author @ ZkEmail

  Regex-to-circuit compiler (Circom/Noir) with off-circuit NFA traversal and in-circuit proof.

• Jolt

  Contributor @ a16z crypto

  RISC-V zkVM. Wrote the migration spec for its Fiat-Shamir transcript to spongefish.