《從零知識到零知識》第七部分已上線。 每一筆 Ethereum 交易都會在超過 800,000 台電腦上觸發相同的計算。不是為了處理它，而是為了驗證一個區塊提議者是否正確執行了它。 這就是區塊鏈如何實現無信任性。不幸的是，這也極其低效。 🧵

冗餘存在的原因是因為沒有值得信任的權威。每個人都獨立檢查所有事物，這就是安全模型。 但這也是為什麼存在燃料限制的原因。區塊必須保持足夠小，以便普通硬體能夠跟上。

ZK 證明提供了一條出路。證明區塊正確執行過一次，然後讓其他人能在毫秒內驗證這個證明。 困難的部分是要快速生成證明，以跟上每 12 秒產生一個區塊的鏈。

這是真實時間的證明。 Pico Prism 是世界上最快的之一，以平均 6.9 秒的速度證明 99.6% 的 Ethereum 區塊。 我們正朝著 Ethereum 社區的所有目標及更遠的方向推進。 閱讀第 7 部分：