On Proving Pairings: Verification is Cheaper than Computation - Liam Eagen (Alpen)
DBA · 17:26 · Watch on YouTube
이 강연의 핵심 요점은 블록체인과 SNARK는 계산이 일어났다는 것을 *검증*하기만 하면 된다는 것이며, 검증은 종종 계산 실행보다 훨씬 저렴하다는 것입니다. Liam (Alpen Labs)은 Andrija Novakovic (Geometry Research)과의 공동 작업으로 이를 보여줍니다: 타원곡선 페어링을 분해하고 비싼 단계를 힌트로 뒷받침되는 저렴한 검사로 대체합니다. 페어링...