Zero-knowledge virtual machines

Trail of Bits spent six months having agents build MASM tooling before reviewing Miden's VM

Six months before the review of Miden's zero-knowledge VM began, Trail of Bits set its agents to writing developer tooling for the project's custom assembly language, then reviewed the code with it.