Herodotus和StarkWare推出了Cairo Verifier,這是一個新系統,旨在在StarkNet的第2層上驗證加密證明,而不是在以太坊主網上進行驗證。這一創新使開發人員能夠在StarkNet的第2層上使用STARK證明來實現可驗證的計算,從而使在第3層上運行的應用程序能夠利用它們來提高安全性。Cairo Verifier旨在解決高昂的驗證成本和延遲問題等重大挑戰,從而促進在StarkNet上部署第3層應用程序。它將STARK的安全性擴展到第3層,預計在未來幾周內推出工作原型。這一發展是爲了在StarkNet上創建一系列第3層應用特定區塊鏈的努力的一部分,爲哈希函數和共識機制等元素提供定製化。