[D1 · Sibilla Room · Privacy] Provekit local proving — Remco Bloemen
Ethereum · 35:54 · Watch on YouTube
Proof Kit(증명 시스템) 아키텍처 개요 — ProofKit 영지식 증명 시스템의 두 가지 핵심 설계 선택, 즉 기존 v1 프로토콜과 곧 출시될 베타/소규모 필드 버전의 배경이 되는 *종속 R1CS(dependent R1CS)* 와 R1CS 행렬의 물질화(materialization)를 제거하는 "행렬을 프로그램으로" 기법을 다루는 컨퍼런스 형식의 발표입니다. 발표자는 이러한 기법...