Starknet進軍比特幣擴展層，設立百萬美元基金支持相關研究

2024-06-05 00:06:04

Starknet 將成為首個同時在比特幣和以太坊上結算的網絡，並將比特幣的交易處理能力擴展到每秒數千筆交易。這將在比特幣進行適度升級後六個月內實現，OP_CAT 使這一舉措成為可能。這是我對 Starknet 未來的提議，並且也是對區塊鏈、全球經濟和我們的個人權利的建議。我們已經為此採取了具體步驟，詳情如下。

STARKs 迎接新挑战的時刻終於來臨。現在，STARKs 將在有史以來最平等的貨幣——比特幣上展示其擴展能力。這裏所說的擴展，指的是真正的去中心化擴展。我並不是來創建另一個多籤名側鏈，而是來 創建一個可以同時擴展以太坊和比特幣的層。

加密技術可以淨化數字世界和金融領域。它可以為貨幣帶來誠信，重新平衡社會中的權力，從大型科技公司手中奪回，並將其歸還給主權個體。這是一種賦予人類和基層社區權力的工具。簡而言之，它是善的源泉。因此，我們需要一個能展示這一點並與所有人相關的愿景。為了追求這個愿景，我告別了平靜的學術生涯。

如果不擴展 BTC 鏈，這樣的愿景就不算完整。擴展比特幣，我們就能釋放區塊鏈的力量來改變世界。 StarkWare 正通過實際發展支持這一愿景，並啓動了一項 100 萬美元的基金以支持新研究，這些研究將揭示在比特幣上採用 OP_CAT 的利弊。

我們通過 ZeroSync 基金會與L2 Iterative Ventures (L2 IV) 的 Weikeng Chen 建立的战略合作夥伴關系，並取得非常豐碩的結果。我們利用其團隊在工程和研究專業知識方面的實踐方法，在基於 OP-CAT 的合約和比特幣腳本中實現的 STARK 驗證器的开源工作方面不斷的突破界限。我們也感謝 BitVM 和 ZeroSync 基金會，他們开拓了許多人對比特幣可能性的思路。QED 的 Carter Feldman 也給予了我們幫助；展示了以新視角和开放態度審視 Taproot 可以發現什么。

本文之後，StarkWare 和 Starknet 將發布大量官方更新，但現在我想回歸基礎，闡明我們為什么在做我們正在做的事情。

斷裂的 2008 年

2008 年，全球金融體系崩潰。作為回應，中本聰發布了革命性的比特幣白皮書。在這個斷裂的時刻，中本聰向我們展示了如何以不同的方式做事。我們公衆可以要求並執行在金融領域實施更高的誠信和透明度標准。中本聰介紹了一種包容性的協議，邀請所有人參與和貢獻，而不是依賴傳統銀行的堡壘和摩天大樓。通過比特幣挖礦和手續費，這個協議將價值公平透明地分配給廣泛的貢獻者基礎。貢獻者基礎越廣泛，比特幣就越好、越安全。

比特幣給了我們遠不止一個账本——它給了我們對變革的信心。它恰恰在銀行搞砸了的時候做到這一點，當時銀行正忙於收回房屋，希望我們都沒有意識到盡管所有按揭貸款機構都在說“相信我們”，但連房子都不再“絕對安全”。

比特幣的影響，如果充分實現，甚至可以超越我們今天所看到的現實。它的命運應該是並且應當是作為全球儲備而被大規模採用。它可以構成一個全球“誠信網絡”的基礎，支持我們自由社會所需的所有社會功能：貨幣、產權管理和社會互動。

比特幣白皮書預見了一個實際用於支付的網絡，無論大小，並由所有人操作，無論貧富。今天，世界上有 15 億人甚至沒有銀行账戶。對於這些人來說，比特幣支付不僅僅是一種替代選擇，而實際上是他們首次接觸金融基礎設施。今天的比特幣提供的容量太少，而且現有的容量對這 15 億人中的幾乎所有人來說都太昂貴。我的動機是开發能使比特幣以及它所支撐的自由社會對所有人都可及的技術。

緣起比特幣

有些人認為 StarkWare 是以太坊的狂熱者。雖然我們認同以太坊的價值並致力於其成功，但我們首先是 STARK 的狂熱者。Starknet 作為以太坊上的 Layer 2 ，將 Starknet 連接到比特幣也是其功能集的自然延伸。這與我們自創立 StarkWare 以來一直堅守的愿景一致，即 STARKs 是一種公共利益，將需要擴展所有真正去中心化的區塊鏈項目。

將 ZK-STARKs 引入比特幣並不是偏離我們的道路，而是一個圓滿的回歸。到目前為止，StarkWare 所有系統都僅部署在以太坊上。但區塊鏈的 STARK 擴展這一理念起源於 2013 年春季的一次比特幣會議。

在會議上，我走上講臺，講述了我的一種新生的、有點古怪的密碼學研究，這種證明後來被稱為 STARKs，許多觀衆回應說，這種密碼學研究正是區塊鏈所需要的。換句話說，我在以太坊推出前兩年就被比特幣“啓發”了。

因此，StarkWare 自一开始就與比特幣有着深厚的聯系，我們一直懷着欽佩的心情觀察這個網絡。現在，我感到舒適的是，隨着 Taproot 的出現以及 OP_CAT 的潛在實現，塑造了比特幣的可能性。

我們還支持了一些突破性的比特幣項目，例如 ZeroSync，它率先將 ZK 證明與比特幣集成以增強隱私和可擴展性。StarkWare 還委托研究員 John Light 編寫了“Validity Rollups on Bitcoin（比特幣有效性匯總）”報告，該報告重新評估了將現有的有效性匯總與比特幣集成的潛力，並得出可能存在理想匹配的結論。我們的下一代 circle-stark prover-verifier （圓圈證明驗證器）Stwo 在有限域 M 31 上工作。該字段與比特幣腳本配合良好，使我們非常適合提供下一代比特幣擴展方案。

我們希望看到的未來

我的夢想是看到比特幣達到所需的規模，為每個人提供服務。這涉及开放所有人的參與，而無需經濟障礙。我相信這必須堅持中本聰對去中心化和安全性的堅持。

互聯網最初是一個供書呆子工程師和學者玩耍的利基場所。經過多年的擴展，它變成了運行我們生活的基礎設施。區塊鏈是一個在互聯網之上運行的工具，可以民主化互聯網，通過將信任和誠信分配給主權個體的大型社區來重新平衡權力，而不是將其委托給少數大公司。但要真正奪取權力並將其帶回大衆，就需要實現規模化。

我也相信，擴展比特幣的機會應被用來推進比特幣社區中許多人看重的一個價值：隱私。同樣的密碼學不僅能為比特幣提供可擴展性，還能提供增強隱私能力的原材料。隨着時間的推移，我們將看到你可以擁有一切：你的私鑰，你的幣，你的隱私權。

我們如何實現這一目標？

StarkWare 目前正採取三項切實措施來實現比特幣的擴展：

首先，我們將提出一個新的 Starknet 設計，通過使 Starknet 成為第一個同時在以太坊和比特幣上結算的 Layer 2 。我們的團隊將進行或贊助所有必要的工作，以使 Starknet 轉變為一個自托管的去中心化 Layer 2 ，在比特幣上具有完整功能，同時作為以太坊上的 Layer 2 運行。我們正在研究的架構細節將在未來幾周內公布。

其次，StarkWare 將啓動一項 100 萬美元的基金，向研究 OP_CAT 及其影響的比特幣研究人員和开發人員提供資助。這筆資金將授予那些真誠地支持或反對升級以及為 OP_CAT 使用提供概念驗證的個人和項目。關於這項基金的詳細信息將在下周公布。

最後，我們認為 OP_CAT 比特幣軟分叉是比特幣擴展的最安全路徑，特別是能夠實現 Stark 驗證和 Rollups。因此，我們宣布公开支持 OP_CAT。OP_CAT 通過啓用遞歸合約使無需信任的 Rollups 在比特幣上成為可能，這些合約可以自主管理和更新其狀態，從而在不使比特幣過載的情況下大幅提高交易吞吐量。

如果您想討論 StarkWare 向比特幣網絡的擴展，請通過電子郵件聯系我們或在 X 上加入討論。

擴展比特幣能解鎖什么？

通過擴展比特幣，我們將能夠在一秒鐘內處理數百萬用戶的交易，而不是今天的大約每秒十三筆交易。我們內部設想的一些比特幣在擴展後使用場景包括：

同時擴展比特幣和以太坊：目前的區塊鏈是碎片化的。你可以選擇“數字黃金”比特幣來儲存價值，但用途有限；或者選擇想要成為“世界計算機”的以太坊；或者通過對以上兩條大鏈進行跨鏈的各自較小的鏈（DApps 可以選擇其中之一或兩者），Starknet 將對它們進行碎片化管理。在不幹涉任何一條鏈獨立治理的情況下，它將同時擴展兩者。
隱私：STARKs，即將用於擴展過程的密碼學證明，內置了巨大的隱私潛力，這一潛力尚未實現。隱私潛力與比特幣社區是天作之合。“零知識”技術的一面已經被很好理解，但仍有待解开並轉化為實際解決方案。將私有 Layer 2 整合到比特幣生態系統中，利用 Zcash、MimbleWimble 或 Noir 等技術，可以顯著增強交易隱私。
為被排斥者提供金融服務：比特幣的使命在一定程度上一直在賦予弱勢群體權力。全球大約有 15 億人無法獲得傳統銀行服務，這是金融上行的巨大障礙。其他擴展比特幣的嘗試尚未提供大規模使用的解決方案。通過新的擴展方法和增加的工具，比特幣有潛力為世界上沒有銀行账戶的人提供一個包容性的全球金融系統。
比特幣的金融創新：今天的比特幣支持數字現金支付，但現代市場需要更多：更好的自托管選項、包括可編程保證金庫、風險管理和對衝工具、信貸、貸款、衍生品、期貨合約等。這些都需要更多的功能，而這些功能不能也不應該直接在比特幣上構建。但 Starknet 成為比特幣上的 Layer 2 可以提供兩全其美的解決方案：以比特幣作為數字黃金的安全性為後盾，帶來巨大的金融創新。
改善用戶體驗：比特幣原始的自托管安全性也使器難以安全處理，尤其是從普通用戶的角度來看。現代的 Layer 2 將為用戶提供安全簡單的自托管交互，以滿足他們日常的大部分需求，同時依賴比特幣強大但繁瑣的 Layer 1 安全性作為長期的價值儲存手段。

為什么選擇 STARKs 和 Starknet？

簡單來說，STARKs 提供了最大的規模且經過最多實战考驗的最安全的不需要可信設置的“toxic waste”，也不需要外來的密碼學原語，甚至對後量子計算也有安全性。新的 STARK prover-verifier，名為 Stwo，使用了適合比特幣堆棧的微小數字，從而提高了效率。

Starknet 在以太坊上已經擁有一個充滿活力的开發者社區，以及一種能夠實現全部功能的編程語言。對於任何熟悉 Rust 的开發者來說，Starknet 的原生（且开源）語言 Cairo 將顯得非常熟悉。今天的比特幣社區還沒有一種顯而易見的高級語言來構建鏈上活動的世界。我希望 Cairo 能填補這一空缺，成為比特幣的原生語言之一。