零知識證明技術(shù),可以保證計算的完整性、正確性和隱私,在區(qū)塊鏈擴容和隱私中有應(yīng)用。 zk-SNARK 和 zk-STARK 各有優(yōu)點,而它們的合理結(jié)合更加有潛力。 zkVM 能賦予應(yīng)用零知識證明能力,zkVM 分為使用主流、EVM 或全新指令集。 EVM 的適配包括 EVM 兼容性、等同性和 Specification 上的適配。 zkEVM 是兼容 EVM 而又零知識證明友好的環(huán)境,主要分為原生和編譯流派。 基于原生的 zkEVM 是以太坊和區(qū)塊鏈的未來。 支持 Solidity 生態(tài)的通用 zkVM 是 Web3 的未來。