[D2 · Elena Hall · Signatures] ROM lower bounds — Iftach Haitner
Ethereum · 33:02 · Watch on YouTube
이 강연은 랜덤 오라클 모델에서 SNARK 증명과 서명의 크기에 대한 이론적 하한을 제시하며, "자연스러운" 구성의 경우 가장 잘 알려진 상한(대략 Θ(λ²), 약간의 로그 여유 포함)이 최적에 가깝고 자명한 Ω(λ) 하한보다 훨씬 높다는 점을 논증한다.
Ethereum · 33:02 · Watch on YouTube
이 강연은 랜덤 오라클 모델에서 SNARK 증명과 서명의 크기에 대한 이론적 하한을 제시하며, "자연스러운" 구성의 경우 가장 잘 알려진 상한(대략 Θ(λ²), 약간의 로그 여유 포함)이 최적에 가깝고 자명한 Ω(λ) 하한보다 훨씬 높다는 점을 논증한다.