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