原文標題:《Unleashing the power of the Stone Prover》
編譯:「Starknet 中文社群」
StarkWare 將開發開源證明器Stwo,那Stone 將會停滯不前嗎?
精選速覽
- 擴大Starknet 社群對STARK 技術解決方案的存取權,包括存取經過實戰檢驗的開源Stone 證明器,這也是Starknet 實現去中心化進程的核心。
- 在開發下一代Stwo 證明器的同時,StarkWare 也與Starknet 生態系統中的傑出團隊共同合作,為釋放Stone 的擴容潛力建構更多元件。
- 有了這些新增元件,開發人員將能夠使用Stone 在Starknet 上建立應用鏈,從而實現應用程式的完全客製化並降低成本,同時無需繁瑣設備即可產生證明。
簡介
2023 年8 月,StarkWare 開源了經過實戰檢驗的Stone 證明器— STark ONE,它是Starknet 二層(L2)技術堆疊的基石,在以太坊擴容領域發揮了至關重要的作用,並為基於Starknet 構建的dApp 提供交易證明奠定了基礎。開源Stone 是Starknet 技術去中心化的飛躍,同時也賦予了開發者社群基於Stone 獨立建置的能力。
2024 年2 月,StarkWare 宣布其正在開發STARK 擴容的下一代技術: Stwo (Stark TWO)。 Stwo 是一款極速開源證明器,將利用Circle STARK及其他優化,帶來前所未有的證明性能。
當然, Stone 絕對不會停滯不前。恰恰相反,Stone 剛剛新增了兩項期待已久的新功能(更多詳情即將公佈,敬請期待)。
更重要的是,StarkWare 已經與Starknet 生態系統中的優秀團隊聯手,建立額外的元件,幫助開發人員使用Stone 實現他們的可擴充性目標。這是Starknet 進一步去中心化和擴大社群對STARK 技術解決方案存取權的另一個舉措。
本文將為大家介紹所有致力於釋放Stone 潛能的項目。
推L3 Stone 應用鏈
也許你已有所耳聞,StarkWare 一直在與Herodotus合作,在Starknet 上開發與Stone 相容的Cairo 驗證器。正如Starknet 在以太坊上證明其執行並對其進行驗證一樣,Cairo 驗證器使那些希望在Starknet 上建立三層(L3)的開發者能夠在自己的應用層上證明其執行情況並在Starknet 上對其進行驗證。
推L2 Stone 應用鏈
如果你仍偏好在L1 進行驗證, zkSecurity正在開發STARK-EVM 轉接器。此轉接器可分割Stone 產生的證明,使其與以太坊上現有的Cairo 驗證器相容。 STARK-EVM 轉接器使開發者能夠在以太坊上驗證Stone 產生的證明,成為釋放由Stone 驅動的L2 應用鏈中缺少的一塊拼圖。
將Madara 排序器和Stone 集成
無論您喜歡L2 還是L3, Moonsong Labs建立了一個Stone 封裝器,目的是便於在Madara 中無縫調用Stone。 Madara 是一款高效能Starknet 排序器,為創建可自訂的高效應用鏈提供了強大的功能。透過這項集成,開發人員可以靈活、輕鬆地創建即插即用的應用,無論是在L2 還是L3。
消除使用Stone 的障礙(一)
在開發Madara 的同時,Moonsong Labs 也將這些功能整合到了使用者友好的一鍵式Stone 命令列運行介面(CLI)中。此CLI 允許開發人員輸入編譯後的程式以及進行程式輸入,並依序處理Cario 虛擬機器的執行,管理Stone 的輸入,設定最優的Stone 配置,並傳回產生的證明。
消除使用Stone 的障礙(二)
如果說Moongsong Labs 的CLI 能讓每個人都能輕鬆地使用Stone,那麼Ingonyama則致力於為Stone 添加GPU 支持,使得透過Stone 來完成的所有事情都變得更加簡單。硬體加速帶來的效能提升和延遲改善使產生證明不再需要繁瑣的設備,甚至可以在網頁瀏覽器中使用Stone。
Stone 相容Rust 語言
最後,也是很重要的一點,Starknet 開發者Thor Kampefner( @cryptograthor )啟動了Pebble ,一個正在開發的「Stone 與Rust 相容」專案。 Pebble 的設計非常靈活,其目標是支援擴容目前在Stone 上不可用的新功能,例如輕鬆編譯到WebAssembly 和支援完全零知識證明。
總結
透過與社群內的專案合作,建立支援開源Stone 證明器的重要元件,同時致力於開發下一代開源Stwo 證明器,我們在擴大STARK 技術解決方案的使用範圍以及推動Starknet 實現更大程度的去中心化方面取得了重大進展。