以太坊聯合創始人 Vitalik Buterin 推出了一種名爲 Circle STARKs 的新加密協議，有望提高區塊鏈的安全性和效率。
在他的最新帖子中，Buterin 解釋說，這一技術飛躍利用了像 Mersenne31 這樣的較小字段來顯著提高證明速度，同時又不損害安全措施。
“過去兩年來，STARK 協議設計中最重要的趨勢是轉向在小油田上開展工作。”
相關：Charles Hoskinson 拒絕 Vitalik Buterin 關於支持加密貨幣投票的觀點
更小的領域，更大的收穫
根據這篇文章，傳統的可擴展透明知識論證 (STARK) 在 256 位元欄位上運行，雖然安全，但通常效率低。
Circle STARK 利用更小的字段，從而降低計算成本、加快證明速度並提高效率，例如在 M3 筆記型電腦上每秒驗證 620,000 個 Poseidon2 哈希值。
Buterin 指出，先前的 STARK 實施使較小的欄位“自然地與驗證基於橢圓曲線的簽名相容”，但由於涉及的數量較多而“導致效率低下”。
相關：Vitalik Buterin 對自稱「支持加密貨幣」的政客發出警告
圈子 STARK 安全
傳統的小領域可能的價值有限，並且可能會受到暴力攻擊。
Circle STARK 透過執行多次隨機檢查並使用擴充欄位來抵消此漏洞，從而擴展攻擊者需要猜測的值集。
這種安全措施為攻擊者創造了運算障礙，維護了協定的完整性。
「對於較小領域的STARK，我們遇到了一個問題：只有大約20 億個可能的x 值可供選擇，因此想要做出虛假證明的攻擊者只需要嘗試20 億次——大量的工作，但相當對於堅定的攻擊者來說是可行的！
相關：StarkWare 驗證了比特幣的第一個零知識證明
實際影響
Fast Reed-Solomon 互動式預言機鄰近證明 (FRI) 證明函數是一定次數的多項式，並且是 Circle STARK 的一個重要面向。
Circle STARK 引入了 Circle FRI（一種保持加密過程完整性的方法），可確保非多項式輸入無法通過證明。
Circle STARK 透過利用小域和這種新的數學結構，提供了更大的靈活性和多功能性，可實現高效的運算效能。
雜誌：Pudgy Penguins 登陸 Pixelverse、以太 ETF 等：Hodler’s Digest，7 月 14 日至 20 日
