據 Blockworks 報道,Bitcoin 目前缺乏真正的 layer-2 網絡,因爲現有的擴展解決方案未繼承 Bitcoin 的安全模型。Liquid Network 和 Rootstock (RSK) 是側鏈,獨立於 Bitcoin 運行,使用自己的驗證者或礦工。

StarkWare 週三宣佈在 Bitcoin 測試網絡 Signet 上成功驗證了首個零知識證明,這是其新 STARK 驗證器的重大里程碑。該驗證器由 StarkWare 與 L2 Iterative 的 Weikeng Chen 合作開發。

該驗證器展示了基於 zk 的 layer-2 解決方案的潛力,不需要使用欺詐證明或活性證明。驗證器代碼已通過 Github 發佈。

新驗證器使用 Circle STARKs 加密證明,大大加快了證明過程,並將用於 StarkWare 的下一代 STARK prover, Stwo。