Polynomial IOPs for Memory Consistency Checks in Zero-Knowledge Virtual Machines

https://www.youtube.com/watch?v=oLvdQO__MLk

Abstract

This talk introduces our work that is published in Asiacrypt 2023. This work is about zero-knowledge virtual machines (ZKVM). ZKVM has become increasingly popular recently because of its potential applications in various areas, particularly its ability to enhance the privacy and scalability of blockchain systems. In this work, we focus on an influential and expensive component of ZKVMs---memory consistency checks (MCC). We formalize the state-of-the-art constructions of MCC in the PIOP model and prove their security. Observing that the bottleneck of existing designs, we propose a novel memory consistency check, dubbed Permem. Compared to the existing MCC protocols, Permem not only has improved efficiency, but also supports the memory address space as large as the entire finite field, significantly boosting the memory sizes of ZKVMs.

Read the full paper.

Authors

Yuncong Zhang, ShiFeng Sun, Ren Zhang, Dawu Gu

Published in

Asiacrypt 2023

Polynomial IOPs for Memory Consistency Checks in Zero-Knowledge Virtual Machines

Comments

Research

When is Slower Block Propagation More Profitable for Large Miners?

More from this blog

Satoshi Scoop Weekly, 6 Febuary 2026

Satoshi Scoop 周报, 2026 年 2 月 6 日

Satoshi Scoop Weekly, 30 January 2026

Satoshi Scoop 周报, 2026 年 1 月 30 日

Satoshi Scoop Weekly, 23 January 2026

Abstract

Authors

Published in

Tags

Command Palette

Comments

Research

When is Slower Block Propagation More Profitable for Large Miners?

More from this blog

Abstract

Authors

Published in

Tags