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