ZEE200: Zero Knowledge for Everything and Everyone @ 200 KHz

출처:IACR ePrint (암호학)

AI 인사이트

개발자

1.일반 프로그램(ANSI C)을 그대로 영지식증명하는 차세대 시스템 ZEE200 공개
2.기존 ZEE 대비 CPU 속도 20~40배 향상, 약 10KHz에서 약 200KHz로 도약
3.리눅스 sed 유틸리티의 실제 CVE 취약점 증명을 30.1초에서 1.5초로 단축, 20배 개선
4.Tight ZK CPU·fast ZK RAM 등 최신 기법을 결합하고 32비트 정수 인코딩을 최적화

왜 중요한가?

임의의 실제 C 프로그램(리눅스 유틸리티 등)의 버그·취약점을 영지식으로 증명하는 속도를 상용 노트북 수준에서 실용적 범위로 끌어올려, 소프트웨어 취약점 공개 검증 등 실질적 응용 가능성을 높인다.

언급 프로젝트

ZEE200 ZEE

본문 미리보기

Zero-knowledge execution of high-level programs proceeds by repeatedly evaluating CPU steps. Each such step privately selects and evaluates an instruction (possibly involving memory access) from a rich instruction set. Building on this paradigm, ZEE (Heath et al., S&P'21) realized a full toolchain supporting arbitrary $\texttt{ANSI C}$ programs, demonstrating this capability by proving SIR- and CVE-reported bugs in off-the-shelf Linux programs $\texttt{sed}$ and $\texttt{gzip}$. We revamp the

전체 내용이 궁금하다면?

원문을 직접 읽어보세요

원문 보기