A solution in search of a problem

A few years ago I was CTO of Mozak, and we built a RISC-V zkVM: write Rust (or anything that compiles to RISC-V), run it, get a zero-knowledge proof that it ran correctly. The company is dormant now, and some of our best design ideas were never written up. This post starts paying down that debt with the one I had the most trouble explaining while it mattered: how independent programs coordinate.…