以太坊聯(lián)合創(chuàng)始人 Vitalik Buterin 推出了一種名為 Circle STARKs 的新加密協(xié)議，承諾增強(qiáng)區(qū)塊鏈的安全性和效率。

在他的最新帖子中，Buterin 解釋說，這一技術(shù)飛躍利用了像 Mersenne31 這樣的較小字段來顯著提高證明速度，同時(shí)又不損害安全措施。

Buterin 指出：“過去兩年來，STARK 協(xié)議設(shè)計(jì)中最重要的趨勢是轉(zhuǎn)向在小規(guī)模領(lǐng)域開展工作?！?/p>

傳統(tǒng)的可擴(kuò)展透明知識論證 (STARK) 在 256 位字段上運(yùn)行，雖然安全，但通常效率低下。

然而，Circle STARK 利用較小的字段，從而降低計(jì)算成本并加快證明速度。

這一改進(jìn)帶來了令人印象深刻的收益，例如在 M3 筆記本電腦上每秒驗(yàn)證 620,000 個(gè) Poseidon2 哈希值。

布特林強(qiáng)調(diào)，之前的 STARK 實(shí)現(xiàn)使得較小的字段“自然兼容基于橢圓曲線的簽名驗(yàn)證”，但由于涉及的數(shù)字太大，“導(dǎo)致效率低下”。

閱讀更多：亞洲首個(gè)比特幣期貨反向 ETF 在香港推出

傳統(tǒng)的小字段的可能值有限，因此容易受到暴力攻擊。

Circle STARK 通過執(zhí)行多次隨機(jī)檢查和使用擴(kuò)展字段來抵消此漏洞，這擴(kuò)大了攻擊者需要猜測的值集。

這為攻擊者創(chuàng)建了一個(gè)計(jì)算上禁止的障礙，從而維護(hù)了協(xié)議的完整性。

Buterin 表示：“在較小域上使用 STARK 時(shí)，我們遇到了一個(gè)問題：x 的選擇可能值只有大約 20 億個(gè)，因此攻擊者想要偽造證明只需嘗試 20 億次——雖然工作量很大，但對于一個(gè)決心堅(jiān)定的攻擊者來說，還是相當(dāng)可行的！”

Circle STARKs 的一個(gè)重要方面是快速 Reed-Solomon 交互式 Oracle 鄰近性證明 (FRI)，它證明一個(gè)函數(shù)是一定次數(shù)的多項(xiàng)式。

通過引入 Circle FRI（一種維護(hù)加密過程完整性的方法），Circle STARK 可確保非多項(xiàng)式輸入無法通過證明。

通過利用小場和這種新的數(shù)學(xué)結(jié)構(gòu)，Circle STARK 提供了更大的靈活性和多功能性，實(shí)現(xiàn)了高效的計(jì)算性能。

這一創(chuàng)新協(xié)議標(biāo)志著區(qū)塊鏈技術(shù)發(fā)展邁出了重要一步，結(jié)合了增強(qiáng)的安全措施和更高的效率。

要提交加密新聞稿（PR），請發(fā)送電子郵件至 sales@cryptointelligence.co.uk。

熱點(diǎn)：區(qū)塊鏈 區(qū)塊 安全性 推出