StarkWare 和希羅多德推出技術來驗證以太坊歷史上任何時刻的數據


一種新的零知識證明(ZK-proof)技術旨在提高訪問和驗證以太坊區塊鏈歷史數據的能力,深度鏈驗證被認為是網絡的可用性障礙。

科技公司希羅多德(Herodotus)發布了其鏈上累加器,該累加器使用防存儲加密貨幣技術,允許用戶驗證來自以太坊區塊鏈任何點的數據,而無需第三方。該解決方案利用了StarkWare 的STARK 證明,即由數學家Eli Ben-Sasson 共同發明的ZK 證明技術。

StarkWare 向希羅多德展示了其共享證明服務SHARP 的定制實例,該實例可以使用遞歸證明實現高級擴展效率。後者允許虛擬機通過並行和實時生成交易或塊的證明,並將它們批處理為後續證明來提供“證明的證明”。

在技​​術層面上,累加器充當存儲塊頭的緩存。如果累加器的緩存中有標頭,則相應的存儲證明計算可以使用它進行驗證。

可能使用遞歸證明將各種信息批處理到後續驗證和緩存的證明中的直觀表示。資料來源:StarkWare

如果標頭沒有被緩存,證明者必須生成一個證明來覆蓋所請求的塊範圍,將塊頭添加到累加器中,然後完成所請求的存儲證明計算。

顧名思義,鏈上累加器本質上是上漲先前證明的證明,從而大大減少了在網絡歷史上任何時刻驗證以太坊區塊鍊和相關數據所需的時間。

希羅多德首席技術官Marcello Bardus 指出,該技術消除了在區塊鏈本身上遍歷整個區塊鏈的需要:

“我們可以在鏈下完成此操作,生成一個累加器,然後只挑選一個特定的塊,而無需從鏈本身的整個鏈進行迭代。”

StarkWare 指出,作為依賴第三方預言機來跟踪和驗證數據的跨鏈橋的替代方案,存儲證明可能具有開創性。

希羅多德聯合創始人Kacper Koziol 補充說,累加器是以太坊長期以來需要的一項創新,以與區塊鏈的透明度和可訪問性原則保持一致。該技術本質上將允許任何用戶訪問以太坊歷史上的任何一點。

“這將非常強大。 在區塊鏈歷史上,人們將第一次能夠證明任何人的鏈上信息的任何方面的正確性。”

兩個團隊強調了存儲證明構建“Web2 等效應用程序”的潛力,利用自主訪問和驗證以太坊區塊鏈數據的開創性能力。

賬戶恢復被認為是一種潛在的用例,其中驗證鏈上數據的能力可能會觸發眾所周知的死人開關或自動化保險協議,這些協議使用歷史鏈上事件來觸發智能合約支付。

收集本文作為NFT,以保存歷史上的這一時刻,並表達你對加密貨幣領域獨立新聞業的支持。

雜誌:遞歸銘文:比特幣“超級計算機”和BTC DeFi 即將推出

資訊來源:由0x資訊編譯自COINTELEGRAPH。版權歸作者Gareth Jenkinson所有,未經許可,不得轉載

Total
0
Shares
Related Posts