Hi, I’m Zhiyong
I write about applied cryptography, blockchain, and AI tools. These posts are my notes made public — part learning log, part technical writing for anyone working on the same problems.
ZKVMs in Practice: A Technical Overview
Zero-knowledge virtual machines (ZKVMs) are proof-generating replicas of familiar software stacks. You run your Rust, C++, or Move program once, and the ZKVM produces a compact receipt that anyone—even a smart contract with limited compute—can check in milliseconds. Because they turn heavyweight replays into quick proof checks, ZKVMs already anchor privacy-preserving DeFi flows, compliance attestations, oracle feeds, and rollups that need to prove arbitrary business logic without rewriting everything as circuits. ...