Autoresearch for ZK Optimization
Ethereum Foundation · 20:58 · Watch on YouTube
Spread-table R1CS encoding cuts the constraint count for SHA-256 in zk circuits by roughly 3× versus Circom, and the talk uses that concrete optimization as a case study for how AI-driven "auto research" loops should...