Starknet：為什么我們決定提高比特幣的擴展性？

2024-06-05 16:06:49

Starknet 將成為第一個同時在比特幣和以太坊上結算並擴展比特幣到每秒數千筆交易的網絡。這將在比特幣潛在升級 OP_CAT 之後的六個月內實現。這是我對 Starknet 未來以及區塊鏈、全球經濟和個人權利的提議。我們已經朝着這個愿景邁出了具體步驟，並公开支持 OP_CAT 的採用。

STARKs 迎來了下一次挑战的時刻。時機已經成熟，STARKs 將展示其在史上最平等的貨幣比特幣上的擴展能力。一旦比特幣採納 OP_CAT，實現比特幣腳本中的 STARK 驗證器將成為現實。這為在比特幣和 Starknet 之間安全地、自我托管地移動打开了通道，創建了一個同時擴展以太坊和比特幣的單層二級網絡。

加密技術可以淨化數字和金融世界，為貨幣提供完整性並重新平衡社會中的權力，使其遠離大科技公司，恢復到主權個體手中。這是一個賦予人類和基層社區權力的工具。簡而言之，它是善的源泉。因此，我們需要一個展示這一點並對所有人都相關的愿景。我離开了平靜的學術生涯，追求這個愿景。

沒有一個愿景可以在不擴展這個偉大項目的起點鏈的情況下完成。擴展比特幣，我們將釋放區塊鏈改變世界的力量。StarkWare 正在通過實際步驟和啓動一百萬美元的基金來支持新的研究，這些研究將揭示比特幣採納 OP_CAT 的利弊，來支持這個計劃。

我們與 L2 Iterative Ventures (L2 IV) 的 Weikeng Chen 通過 ZeroSync 基金會的战略合作非常富有成效，最終促成了比特幣野生動物保護區的誕生。我們利用其團隊的實操工程和研究專長，推動基於 OP_CAT 的公約和在比特幣腳本中實現 STARK 驗證器的开源工作。我們還感謝 BitVM 和 ZeroSync 基金會，他們讓許多人認識到比特幣的潛力。 QED 的 Carter Feldman 也很有影響力，向我們展示了對 Taproot 的新視角和开放的看法能發現什么。

這篇文章之後，StarkWare 和 Starknet 將會發布許多官方更新，但目前，我想回到基礎問題，陳述我們為什么要做我們正在做的事情。

（視頻源）

2008 ：斷裂

這是 2008 年，全球金融剛剛崩潰。作為回應，中本聰發布了革命性的比特幣白皮書。在這個斷裂時刻，中本聰向我們展示了我們可以如何不同地做事。我們，公衆，可以在金融領域要求並執行更高的完整性和透明度標准。中本聰引入了一個邀請所有人加入的包容性協議，而不是依賴傳統銀行的堡壘和摩天大樓。通過比特幣挖礦和費用，這個協議公正且透明地向其廣泛的貢獻者基礎分配價值。貢獻者基礎越廣泛，比特幣就越好越安全。

比特幣給了我們遠不止一個账本——它給了我們對變革的信心。它恰恰在銀行搞砸、忙於收回房屋並希望我們不要意識到即使有所有抵押貸款的“信任我們”自信態度，房子也並不總是“像房子一樣安全”的時候實現了。

比特幣的影響力完全實現後，可以超越我們今天看到的現實。它的命運可以也應該是作為全球儲備被廣泛使用。它可以成為全球“誠信網絡”的基礎，支撐我們自由社會所需的所有社會功能：貨幣、財產權管理和社會互動。

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

文中的大象

有些人認為 StarkWare 是以太坊的狂熱者。盡管我們認同以太坊的價值觀並致力於其成功，但我們首先是 STARK 的狂熱者。Starknet 部署為以太坊的二層，將 Starknet 連接到比特幣也是其功能集的自然擴展。這與我們自創立 StarkWare 以來堅定的愿景一致，即 STARKs 是擴展所有真正去中心化的區塊鏈項目所需的公共產品。當然，以太坊也是早先概述的相同雄心勃勃的使命的體現，盡管它採取了不同的路徑，有不同的權衡。這是很好的，因為總體上這增加了我們建立可以抵抗國家行為者的協議的成功機會。以太坊的核心價值是我們選擇它作為 Starknet 結算層的原因，這些價值觀依然存在。我們堅定地相信以太坊並致力於其長期成功。將 ZK-STARKs 引入比特幣並不是偏離我們的道路，而是回到起點。到目前為止，StarkWare 已經將其所有系統部署在以太坊上。但 STARKs 擴展區塊鏈的想法最初是在 2013 年春季的一次比特幣會議上產生的。

我在會議上登臺演講，討論我當時初步而有些古怪的關於一種後來稱為 STARKs 的密碼學證明的研究，許多聽衆回應說這種密碼學研究正是區塊鏈所需要的。換句話說，我在比特幣面前被“橙色藥丸”了，比以太坊推出早兩年。

所以，StarkWare 從一开始就深度參與了比特幣，並一直以欽佩的眼光觀察該網絡。我現在覺得 Taproot 和潛在的 OP_CAT 正在塑造比特幣的可能性時，可以公开進行這次對話。

我們還支持了一些突破性的比特幣項目，如 ZeroSync ，它正在將 ZK 證明與比特幣集成，以增強隱私和可擴展性。StarkWare 還委托研究員 John Light 撰寫了《比特幣上的有效 Rollups 報告》，重新評估了現有的有效性卷起與比特幣集成的潛力，並得出可能存在理想匹配的結論。我們的下一代圓形 STARK 證明者-驗證者 Stwo 在有限域 M 31 上工作。這個領域與比特幣腳本很好地配合，使我們非常適合提供下一代比特幣擴展。

我希望看到的

我的夢想是看到比特幣達到它需要的規模，不斷為每個人服務。這包括向所有人开放，沒有經濟障礙。我認為這必須堅持中本聰對去中心化和安全性的堅持。

互聯網起初是一個小衆的工程師和學者的遊樂場。擴展它花了多年時間，使其成為支撐我們生活的基礎設施。區塊鏈是一個在互聯網之上運行的工具，可以通過將信任和完整性分配給大社區中的主權個體，而不是委托給少數大公司，來使互聯網民主化並重新平衡權力。但要真正奪取權力並將其帶回大衆，它需要擴展。

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

我們期望如何實現這一目標？

我們，StarkWare，今天採取三項具體措施來擴展比特幣：

我們將提出一個新的 Starknet 設計，通過使 Starknet 成為一個自我托管的去中心化二層來統一空間，同時在以太坊和比特幣上同步結算。一個同時在兩條鏈上結算的單層。我們的團隊將進行或贊助實現這一目標所需的所有工作。我們正在研究的架構細節將在未來幾周內公布。
StarkWare 啓動了一百萬美元的基金，將授予比特幣研究人員和开發人員，以研究 OP_CAT 及其影響。這些贈款將授予那些以良好信任態度進行研究的個人和項目，無論是支持還是反對升級，以及為 OP_CAT 用例提供概念驗證的貢獻者。有關此基金的詳細信息將在下周公布。
最後，我們認為 OP_CAT 比特幣軟分叉是比特幣擴展的最安全路徑，特別是使 STARK 驗證和卷起成為可能。因此，我們宣布我們對 OP_CAT 的公开支持。OP_CAT 通過啓用能夠自動管理和更新其狀態的遞歸公約，使得在比特幣上進行無信任卷起成為可能，從而在不超載比特幣的情況下顯著增加交易吞吐量。

擴展比特幣可以解鎖什么？

通過擴展比特幣，我們將能夠在一秒鐘內處理數百萬用戶的交易，而目前約為每秒十三筆交易。我們設想的比特幣擴展的一些用例包括：

同時擴展比特幣和以太坊：區塊鏈今天是碎片化的。你可以選擇比特幣的“數字黃金”，用來持有價值但做不了其他事情，或者選擇以太坊，它旨在成為“世界的計算機”，或者其他較小的鏈。通過跨越並提供對兩個最大鏈的選擇（dApps 可以選擇其一或兩者），Starknet 將消除它們的碎片化。在不幹涉任何一條鏈獨立治理的情況下，它將同時擴展兩者。
隱私：STARKs，擴展過程使用的密碼學證明，內置了巨大的、尚未實現的隱私潛力。隱私潛力與比特幣社區是天作之合。技術的“零知識”方面已經被很好地理解，但仍需解开並轉化為實際解決方案。將私有二層集成到比特幣生態系統中，利用像 Zcash、MimbleWimble 或 Noir 這樣的技術，可以顯著增強交易隱私。
為被排斥者提供金融服務：對我們來說，比特幣的使命一直部分是關於賦予弱勢群體權力。全球約有 15 億人缺乏傳統銀行服務，成為金融上行流動的障礙。其他擴展比特幣的嘗試尚未提供大規模使用的解決方案。通過新的擴展方法和附加工具，比特幣有潛力為世界上無銀行账戶的人提供包容性和全球性的金融系統。
比特幣上的金融創新：今天的比特幣支持數字現金支付，但現代市場需要更多：更好的自我托管選項與可編程金庫、風險管理和對衝工具、信貸、借貸、衍生品、期貨合約等。所有這些都需要更多功能，不能也不應該直接在比特幣上構建。使 Starknet 成為比特幣上的二層提供了兩全其美的解決方案：由作為數字黃金的比特幣安全保障的巨大金融創新。
改進的用戶體驗：比特幣的原始自我托管安全性也使其從普通用戶的角度來看很難安全處理。現代的二層將為用戶提供安全且簡單的自我托管交互，滿足其大部分日常需求，同時依靠比特幣堅固但笨重的第一層安全作為長期儲值。

為什么選擇 OP_CAT、STARKs 和 Starknet？

為什么選擇 OP_CAT？STARKs 需要驗證哈希鏈，僅此而已。它們的主要驗證循環由簡單的代數運算（模小素數的加法和乘法）和驗證通過 Merkle 樹預提交的條目正確打开組成。OP_CAT 唯一地使得在比特幣腳本中創建和打开 Merkle 樹條目成為可能，因為啓用 Merkle 樹創建和驗證的核心操作是將兩個值連接，然後散列它們（OP_CAT 啓用連接）。盡管其他公約啓用操作碼可能更強大，但 OP_CAT 是當前討論中唯一允許 Merkle 樹驗證的操作碼。

為什么選擇 STARKs？簡而言之，它們提供最大的規模，是最經過實战測試的，最安全的，不需要信任設置“有毒廢料”，沒有奇異的加密原語，甚至是後量子安全的。新的 STARK 證明者-驗證者 Stwo 使用的數字很小，適合比特幣的堆棧，效率更高。

為什么選擇 Starknet？Starknet 在以太坊上已經有一個充滿活力的开發者社區，以及一種將擴展的全部力量放在他們手中的編程語言。對於任何了解 Rust 的开發人員來說，Starknet 的原生（且开源） Cairo 語言將顯得很熟悉。今天的比特幣社區沒有一個明顯的高級語言來構建鏈上活動的世界。我希望 Cairo 能填補這個空白，成為比特幣的原生語言之一。