Autoresearch for ZK Optimization
Ethereum Foundation · 20:58 · Watch on YouTube
R1CS 스프레드 테이블 인코딩은 zk 회로에서 SHA-256의 제약 조건 수를 Circom 대비 약 3배 줄이며, 이 발표는 그 구체적인 최적화를 AI 기반 "자동 연구" 루프가 어떻게 운영되어야 하는지에 대한 사례 연구로 사용한다 — 그리고 어려운 부분은 에이전트가 아니라 평가자라는 강한 경고를 덧붙인다.