EVM 的性能如何提升是一個(gè)大問題,一個(gè)方向是通過零知識(shí)證明(ZK)將計(jì)算移到鏈下。更具體地說是,zkVM(zk 虛擬機(jī))或 zk Co-processor(zk 協(xié)處理器)。簡(jiǎn)單來說就是:鏈下計(jì)算,鏈上提交首先,我們需要了解一下 zk-SNARKs 和 zk-STARKs。這是兩種區(qū)塊鏈常用的零知識(shí)證明機(jī)制,它們的主要區(qū)別是證明的大小。通俗地講,zk-SNARKs 和 zk-STARKs 就是這樣的一個(gè)機(jī)制,它可以證明你知道一個(gè)秘密,而不用透露這個(gè)秘密。Vitalik 曾經(jīng)用這個(gè)例子來解釋:“我知道一個(gè)秘密數(shù)字,如果您將單詞 cow 添加到末尾,并對(duì)其進(jìn)行 SHA256 哈希 100 百萬次,輸出將以 `0x57d00485aa` 開頭。”證明者要進(jìn)行全部的計(jì)算,給出 Proof(證明),而驗(yàn)證者可以以極低的成本驗(yàn)證這個(gè) Proof。這是一個(gè)形象的圖示。有一百萬間房,僅有一個(gè)房間里有人。證明者一一檢查所有房間,直到找到這個(gè)房間。驗(yàn)證者按房間號(hào)打開,就可以證實(shí),這個(gè)房間的確有人。 了解這些基礎(chǔ),我們?cè)偃タ?Co-processor(協(xié)處理器)。它指,在主處理器(CPU)之外,用來額外進(jìn)行特定計(jì)算的芯片。在區(qū)塊鏈里,如果認(rèn)為 EVM 是 CPU,那么 zk Co-processor 就額外進(jìn)行一些特定計(jì)算的 芯片。本文為Uweb技術(shù)合伙人Fangjun老師發(fā)布。