Rose Jethani
Rose is a ZK and protocol engineer at Atheon, working on ProveKit, cryptographic optimization, and Trinity. Previously, she worked on MEV infrastructure at Primev, applied cryptography at ZK Email, and Ethereum protocol research through Nethermind and the Ethereum Protocol Fellowship. She also contributes to Prysm, Reth, and rust-libp2p.
Session
I’ll evaluate autoresearch approaches from AlphaEvolve and AI theorem provers to zk.golf and SNARK.fast through a common ZK optimization harness, grounded in Atheon’s ProveKit and WHIR work. I’ll run experiments on SHA-256/R1CS and polynomial commitments, ACIR to R1CS lowering and WHIR folding parameters measuring constraints, witnesses, proving time, memory and proof size to see which agent, verifier and reward setups actually find correct, useful optimizations, security findings.