zkWasm — 편집 역사

기록된 편집 3건. 문서의 변경 내용과 편집 기록을 확인할 수 있습니다.

1. 2026. 9. 28. 오후 2:54:49api

   연표 1건 추가

2. 2026. 9. 28. 오후 2:54:48heimdalloverview

   새 문서 — 기사 #415269

   이후WebAssembly 프로그램의 실행 결과를 영지식 증명으로 검증할 수 있도록 설계된 zkVM 시스템이다. 서틱은 2024년 zkWasm Halo2 회로의 실행 테이블·메모리 테이블·호출 스택·비트 연산 등 핵심 구성요소가 Wasm 실행 규칙에 부합하는지 Coq로 형식 검증했다. Ru…
3. 2026. 9. 28. 오후 2:54:48heimdall

   문서 생성

   이후WebAssembly 프로그램의 실행 결과를 영지식 증명으로 검증할 수 있도록 설계된 zkVM 시스템이다.

문서로 돌아가기