[财经老黑]EVM性能提升的关键方向：zkVM和zkCo-processor

EVM 的性能如何提升是一个大问题,一个方向是通过零知识证明(ZK)将计算移到链下。更具体地说是,zkVM(zk 虚拟机)或 zk Co-processor(zk 协处理器)。简单来说就是:链下计算,链上提交首先,我们需要了解一下 zk-SNARKs 和 zk-STARKs。这是两种区块链常用的零知识证明机制,它们的主要区别是证明的大小。通俗地讲,zk-SNARKs 和 zk-STARKs 就是这样的一个机制,它可以证明你知道一个秘密,而不用透露这个秘密。Vitalik 曾经用这个例子来解释:“我知道一个秘密数字,如果您将单词 cow 添加到末尾,并对其进行 SHA256 哈希 100 百万次,输出将以 `0x57d00485aa` 开头。”证明者要进行全部的计算,给出 Proof(证明),而验证者可以以极低的成本验证这个 Proof。这是一个形象的图示。有一百万间房,仅有一个房间里有人。证明者一一检查所有房间,直到找到这个房间。验证者按房间号打开,就可以证实,这个房间的确有人。 了解这些基础,我们再去看 Co-processor(协处理器)。它指,在主处理器(CPU)之外,用来额外进行特定计算的芯片。在区块链里,如果认为 EVM 是 CPU,那么 zk Co-processor 就额外进行一些特定计算的 芯片。本文为Uweb技术合伙人Fangjun老师发布。