[D1 · Elena Hall · Performance] algebraic geometry for SNARKs — Rahul Dalal
Ethereum · 33:17 · Watch on YouTube
한 암호학자는 현재 AI 모델이 심층 순수 수학을 실제 암호 공학에 적용하는 비용을 낮추었다고 주장하며, 이를 구체적인 결과로 입증한다: 단일 라운드 SumCheck 변형에서 Reed–Solomon 코드를 미분(에르미트 유사) 대수기하 코드로 대체하여, 모든 1라운드 연산을 64비트 확장체 대신 2진체 F₂에서 유지하면서 SumCheck가 약 6라운드(64 = 2⁶)를 건너뛸 수 있게...