---
title: "zkWasm"
aliases: ["zk-Wasm", "지케이와즘"]
type: 프로덕트
url: https://wiki.tokenpost.kr/w/zkwasm
canonical: https://wiki.tokenpost.kr/w/zkwasm
language: ko
publisher: "토큰포스트"
citation: "토큰포스트 위키, “zkWasm”, 2026-09-28 수정, https://wiki.tokenpost.kr/w/zkwasm"
updated: 2026-09-28T14:54:49.272+00:00
created: 2026-09-28T14:54:48.117035+00:00
status: draft
---

# zkWasm

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

**다른 이름**: zk-Wasm · 지케이와즘

**분류**: 프로덕트

## 1. 개요

[이 문단의 원문](https://wiki.tokenpost.kr/w/zkwasm#section-overview)

WebAssembly 프로그램의 실행 결과를 영지식 증명으로 검증할 수 있도록 설계된 zkVM 시스템이다. 서틱은 2024년 zkWasm Halo2 회로의 실행 테이블·메모리 테이블·호출 스택·비트 연산 등 핵심 구성요소가 Wasm 실행 규칙에 부합하는지 Coq로 형식 검증했다. Rust 알고리즘 전체와 Wasmi 인터프리터, Halo2 자체 및 일부 제약조건 생성 코드는 검증 범위에서 제외됐다.[^1]

## 2. 연표

- **2026.09** (이정표) 서틱은 2024년 zkWasm Halo2 회로의 실행 테이블·메모리 테이블·호출 스택·비트 연산 등 핵심 구성요소가 Wasm 실행 규칙에 부합하는지 Coq로 형식 검증했다. Rust 알고리즘 전체와 Wasmi 인터프[^1]

## 각주

[^1]: [서틱, zkWasm 회로 형식 검증…일부 로직은 제외](https://www.tokenpost.kr/news/cryptocurrency/415269) — 토큰포스트 · 2026-09-28T14:41:29+00:00 · [기사 썸네일](https://www.tokenpost.kr/uploads/2026/09/b2zktj9bmn.jpg)

---

인용: 토큰포스트 위키, “zkWasm”, 2026-09-28 수정, https://wiki.tokenpost.kr/w/zkwasm
원문: https://wiki.tokenpost.kr/w/zkwasm
최종 수정: 2026-09-28T14:54:49.272+00:00
발행: 토큰포스트 위키. 인용할 때 문서 제목과 원문 주소를 함께 밝혀 주세요.