• Circle STARKs 通過增加攻擊者需要猜測的值的數量來降低風險。

  • 正如文章中所述，STARK 有時會對低效的 256 位字段進行操作。

以太坊聯合創始人 Vitalik Buterin 推出了 Circle STARKs，這是一種旨在提高區塊鏈效率和安全性的新加密協議。Buterin 在最近的帖子中描述了這一技術進步，他解釋說，它利用 Mersenne31 等較小的字段在不犧牲安全性的情況下大大提高了證明速度。

儘管安全，但傳統的可擴展透明知識論證 (STARK) 有時會在低效的 256 位字段上運行，如文章中所述。

使用 Circle STARK，在 M3 筆記本電腦上每秒可以驗證 620,000 個 Poseidon2 哈希值。因爲它們使用較小的字段，從而降低了計算成本、提高了證明速度並提高了效率。

雖然早期的 STARK 實現使較小的字段“自然地與驗證基於橢圓曲線的簽名兼容”。 Buterin 指出，由於涉及的數字巨大，這“導致了效率低下”。

增強安全性

傳統的小型字段由於其潛在值有限，容易受到暴力攻擊。Circle STARK 通過增加攻擊者需要猜測的值數量來降低這種風險。這是通過使用擴展字段和多次隨機檢查來實現的。

此外，該安全機制可保護協議的完整性，從而爲攻擊者提供計算障礙。此外，Circle STARKs 的一個重要部分是快速 Reed-Solomon 交互式 Oracle 鄰近性證明 (FRI)，它可證明某個函數是一定次數的多項式。

Circle STARK 引入了 Circle FRI（一種保持加密過程完整的方法），確保非多項式的輸入無法通過證明。通過利用微小域和這種新穎的數學結構，Circle STARK 在計算性能方面提供了更高的適應性和效率。

今日重點加密新聞：

在 ETF 發行人 HODLing 的推動下，以太坊的價格將出現突破嗎？

#ETH