Blockworks 稱，比特幣目前缺乏與以太坊類似的真正的第 2 層網絡，主要是因爲現有的擴容解決方案沒有繼承比特幣的安全模型。將交易數據發佈到以太坊主網的以太坊彙總直接利用了其安全性，確保這些層上的交易正確執行由保護基礎層的相同機制保護。相比之下，比特幣的“第 2 層”解決方案（例如 Liquid Network 和 Rootstock (RSK)）在技術上是側鏈。它們獨立於比特幣運行，使用自己的一組驗證器或礦工。雖然它們可能與比特幣共享挖礦哈希率或檢查點快照，但它們從根本上提供了不同的安全性級別。像 BitVM 這樣的創新可以改善與比特幣的信任最小化橋接，但爲了在比特幣上實現真正的第 2 層解決方案，協議升級是必要的。這些升級將引入契約（限制 BTC 使用方式的機制），從而實現安全、信任最小化的互操作性，並允許比特幣支持與以太坊類似的強大第 2 層基礎設施。

StarkWare 週三宣佈，他們使用新的 STARK 驗證器在比特幣測試網絡 Signet 上成功驗證了第一個零知識證明，這是一個重要的里程碑。這一成就是在對 OP_CAT（一種擬議的比特幣升級）的潛力進行三個月的研究之後取得的。StarkWare 在一份聲明中表示，StarkWare 的驗證器是與風險投資公司 L2 Iterative 的 Weikeng Chen 合作開發的，是該操作碼的首次大規模實際應用。它展示了爲比特幣基於零知識證明的第二層解決方案的開發提供支持的潛力。該公司表示：“這種驗證方法與比特幣網絡上其他擴容解決方案已經在探索的方法完全不同，因爲它不需要使用欺詐證明或活性。”並補充說，驗證器的代碼已經通過 Github 發佈。

陳指出，這項研究具有開創性。他說：“我們從零開始。沒有關於比特幣零知識證明或必要數學運算的信息。我們必須構建完整的堆棧，才能實現 STARK 驗證器。” 新的驗證器採用 Circle STARKs——加密證明，可顯著加快證明過程。它們還將用於 StarkWare 的下一代 STARK 證明器 Stwo。當前演示僅驗證離散數學問題的解：斐波那契平方數列中的第 32 個數字——或 21,783,0922——但該團隊計劃繼續展示最終可能成爲虛擬機基礎的廣泛計算。在此之前，想要參與 DeFi 的比特幣持有者可以通過一系列其他方法來實現，這些方法旨在將 BTC 引入其他網絡，每種方法都有自己的權衡。