Héctor Masip Ardevol (Polygon), Roger Taulé (Polygon Labs)-zkVM Proof Aggregation: From Zero to Hero
[EthCC] Livestream 3 · 20:52 · Watch on YouTube
이 강연에서 새로 출시된 오픈소스 zkVM인 ZisK의 두 연구 엔지니어가 많은 개별 구성 요소 증명을 하나로 결합하는 방법을 설명합니다. 그들의 접근 방식은 각 구성 요소를 별도로 증명(VADCOP)하고, 누적된 값으로 구성 요소 간의 공유 버스를 확인한 다음, 증명을 재귀적으로 집계합니다. 핵심 설계 선택은 트리에서 해싱하는 대신 타원 곡선 포인트를 추가하여 공유 전역 챌린지를 도출...