ZK 證明正在革新加密貨幣並膨脹自我。每個人都聲稱擁有唯一真正的證明系統，但應用才是重要的部分，證明現在成為商品。 另外：如果一家公司新的 zk 證明以 'h' 或 'hyper' 開頭，那麼他們已經拋棄了舊的神明，轉向了 sum-check。

Sum-check 是一種 ZK 方法，古老到沒有人在 Twitter 上聲稱他們發明了它。 Justin Thaler 以指出它實際上是有用的而聞名。他可能是對的……或者是在形成一個新的邪教。 但項目們轉向 sum-check，有時假裝這是他們舊的發明之神...

好吧，夠了，別再用隱喻了。 SNARKs 將程序表示為多項式。Sum-check 使用多變量多項式，例如 P(x,y) = x^2+2y。更令人困惑的是，"h" 和 "hyper" 的命名風格來自於形成布爾超立方體的多項式。這是一種花哨的說法，表示每個變量都是 0 或 1。

把它想像成電腦：電腦使用二進制而不是十進制，因為某些常見操作在逐位分解時比逐位數更有效率。 Sum-check 對它所證明滿足的程序做了非常類似的事情。

這種方法的一個優點，不僅限於 sum-check（參見例如折疊方案），就是流式處理。對於許多以 FFT 為重的 / 基於哈希的證明系統，你需要將整個你正在證明的陳述放入記憶體中。對於小型資料來說這很好，但很快就會超出筆記型電腦的容量。

這個限制使你只能使用大型伺服器，所有人都必須將數據發送到這些伺服器以進行證明。這對他們來說並不是很 Zk。 這對於運行一個巨大的垃圾壓縮機（呃，我是說，集中式滾動）是有用的，但對於客戶端隱私來說卻失敗了，而這正是市場目前所關注的地方。

就像我說的，總和檢查並不是唯一的串流方案。還有折疊。投入在這些 zk 方案上的艱苦工作也使它們成為商品。選擇你需要的，並專注於應用。不要崇拜某個證明系統或團隊。在內部，團隊並不