According to ChainCatcher, EthStorage, Hyper Oracle and Delphinus Lab jointly released the zkGo compiler. Based on the latest Go 1.21.0, zkGo is the first to compile regular Go code into ZK protocol-compatible Wasm code. The generated Wasm code execution can be zero-knowledge proved and verified on-chain by Delphinus Lab's zkWasm tool.

As an important application of zkGo, zkGo has successfully compiled Optimism's Fraud Proof L2 Geth (also called op-program-client) to generate Wasm code compatible with the ZK protocol. The current Wasm code has passed the zkWasm dry run, completing an important step for the future implementation of ZK Fraud Proof technology.