I have implemented an early prototype of a zero-knowledge VM based on the ideas from A sketch for a STARK-based VM 29 post. The project repo is here 31.
The VM consumes a program and inputs for the program, executes the program against these inputs, and returns program output together with a STARK proof of program execution. This proof can then be used by anyone to verify that the program was executed correctly without the need for re-executing it or even knowing what the program was.
币安是全球领先的数字货币交易平台，提供比特币、以太坊、BNB 以及 USDT 交易。