以太坊聯合創始人 Vitalik Buterin 推出了一種名爲 Circle STARKs 的創新加密協議,旨在增強區塊鏈的安全性和效率。Buterin 在他的最新博客文章中解釋了 Circle STARKs 如何使用較小的數學字段在不犧牲安全性的情況下顯着加快證明生成速度。

什麼是 Circle STARKs?

傳統的加密協議稱爲 STARK(可擴展透明知識論證),使用大型 256 位字段來確保安全性。雖然這些字段很有效,但它們通常很慢且計算成本高昂。另一方面,Circle STARK 使用較小的字段,例如 Mersenne31,這大大降低了計算成本並加快了證明過程。

字段越小,Circle STARK 執行操作的速度就越快。例如,它們可以在 M3 筆記本電腦上每秒驗證 620,000 個 Poseidon2 哈希值,這比舊方法有了顯著改進。速度和效率的提升可能會改變區塊鏈技術,使交易更快、更高效。

較小字段的一個挑戰是它們可能的值較少,因此容易受到暴力攻擊。傳統的小字段在處理的值數量上是有限的,攻擊者可以通過嘗試多種組合來利用這一點。Circle STARK 通過進行多次隨機檢查和使用擴展字段來克服這個問題。這些方法擴大了攻擊者需要猜測的值集,使他們很難成功,從而保持了強大的安全性。

Buterin 指出,雖然 xxx 在較小字段中可能存在約 20 億個值,但 Circle STARKs 的增強驗證方法爲攻擊者創建了計算障礙。這確保了區塊鏈的安全性不會受到損害。

使用 Circle FRI 確保誠信

Circle STARKs 的一個關鍵部分是快速 Reed-Solomon 交互式 Oracle 鄰近性證明 (FRI)。該技術檢查函數是否爲一定次數的多項式,確保非多項式輸入無法通過證明。Circle FRI 是一種維護加密過程完整性的方法,可確保安全措施穩健可靠。

Circle STARK 代表了區塊鏈技術的重大進步。通過使用更小的字段和創新的數學技術,它們提供了更快、更高效、更安全的交易證明。這一新協議可以爲更靈活、更高性能的區塊鏈應用鋪平道路。

Vitalik Buterin 推出 Circle STARKs 標誌着加密社區的一項令人振奮的發展,有望提高安全性和效率。隨着這些進步,區塊鏈技術的未來看起來比以往任何時候都更加光明和有希望。