作者：Eli Ben-Sasson，StarkWare聯合創始人；翻譯：金色財經xiaozou
STARKs終於迎來了下一個挑戰。現在，STARKs將在有史以來最平等的貨幣——比特幣上展示自己的擴展優勢。一旦OP_CAT在比特幣上得到採用，在比特幣腳本中部署STARK驗證者就會成爲現實。這爲在比特幣和Starknet之間進行安全的自我託管式轉移開啓了一條通道，創建了一個同時擴展以太坊和比特幣的L2。
加密貨幣可以淨化數字和金融世界。它可以爲金錢帶來誠信，重新平衡我們社會中的權力，將權利從大型科技公司手中奪回，還給具有主權的個人。它是一種賦權人類和基層社區的工具。簡而言之，它是美好的源泉。因此，我們需要一個能夠展示這一點並關乎所有人的願景。爲了實現這一願景，我離開了平靜的學術生涯。
如果不擴展這個絕佳項目的啓動鏈，這樣的願景是不會完整的。我們擴展比特幣，釋放區塊鏈的力量來改變世界。StarkWare正在以實際措施支持這一計劃，並啓動了一項100萬美元規模的基金，用來支持新研究，該研究將揭示在比特幣上採用OP_CAT的利弊。
我們通過ZeroSync基金會與L2 Iterative Ventures（L2IV）的Weikeng Chen建立了極富成效的戰略合作伙伴關係，最終促成了Bitcoin Wildlife Sanctuary（比特幣野生動物保護區）的誕生。我們利用他們團隊在工程和研究方面的實踐方法，擴展了在比特幣腳本中部署基於OP_CAT的合約和STARK驗證器的開源工作的邊界。我們還要感謝BitVM和ZeroSync基金會，他們讓這麼多人瞭解到了比特幣的能力。另外，QED的創始人Carter Feldman也對我們有很大影響，他向我們展示了關於Taproot潛力的新視角和開放性思維。
現在，讓我們回到最基礎的部分，我來說明一下我們現在正在做的事情有什麼意義。
1、2008年：破裂時刻
我們先回到2008年，也就是全球金融剛剛崩潰的時候。作爲迴應，中本聰發表了革命性的比特幣白皮書。在這個破裂的時刻，中本聰向我們展示瞭如何用不同的方式做事情。作爲公衆，我們可以要求並執行金融領域更高的誠信和透明度標準。中本聰沒有依賴傳統銀行的堡壘，而是引入了一個包容性的協議，邀請所有人加入其中。該協議通過比特幣挖礦和收費將價值公平透明地廣泛分配給貢獻者。貢獻者分佈越越廣，比特幣就會變得越好、越安全。
比特幣帶給我們的不僅僅是一個賬本——它給了我們變革的信念。它恰恰是在銀行搞砸一切的時候給了我們信念——屆時，銀行正忙着收回斷供的房屋，並希望我們都沒有意識到儘管所有的抵押貸款機構都擺出“相信我們”的姿態，但即使是家也不“像家一樣安全”。
比特幣的影響力，如果完全實現的話，可能會比我們今天看到的結果更加深遠。它可以也應該作爲全球儲備貨幣被大量使用。它可以構成全球“誠信網”的基礎，支撐我們的自由社會所需的所有社會功能：金錢、產權管理和社會互動。
比特幣白皮書預見了一個實際用於支付的網絡，無論規模大小，無論貧富強弱，所有人都可以操作。如今，全世界有15億人甚至連銀行賬戶都沒有。比特幣支付不僅僅是這些人的一個選項，而且實際上還是他們第一次接觸金融基礎設施的媒介。如今，比特幣提供的容量太小，而且可用容量對於這15億人來說又太過昂貴。我希望能開發一種技術，讓所有人都能使用比特幣，加入比特幣維持的自由社會。
2、重要但被忽視的問題
有些人將StarkWare視爲以太坊maxis。儘管我們與以太坊的價值觀一致，並致力於以太坊的成功，但我們首先是STARK maxis。Starknet作爲一個L2部署在以太坊上，將Starknet與比特幣連接也是其功能特性的自然擴展結果。這與我們自成立StarkWare以來的願景一致，即STARKs是公共產品，被用於擴展所有真正去中心化的區塊鏈項目。當然，以太坊也是前文所述的同樣雄心勃勃的使命的化身，不過它採取了不同的道路，有不同的利弊權衡。這很好，因爲總的來說，這增加了我們成功建設能夠抵制國家強權的協議的可能性。以太坊的核心價值正是我們當初選擇它作爲Starknet結算層的原因，這些價值仍然存在。我們堅定地相信以太坊，並致力於其長期成功。將ZK-STARKs引入比特幣不會偏離我們的路線，只是繞了一個圈。迄今爲止，StarkWare已將其所有系統全部部署在以太坊上。但對區塊鏈的STARK擴展是在2013年春天的比特幣大會上提出的一個想法。
在會議上，我走上講臺，講述了我對一種後來被稱爲STARKs的加密證明的初步研究，許多觀衆迴應說，這種加密研究正是區塊鏈所需要的。換句話說，在以太坊問世前兩年，我就已經對比特幣產生了濃厚的興趣。
因此，StarkWare從一開始就與比特幣密切相關，我們一直懷着欽佩之情觀察比特幣網絡。Taproot，或許還有OP_CAT，擴展了比特幣的可能性，我現在可以放心地進行公開討論了。
我們還支持了一些突破性的比特幣項目，如ZeroSync，它率先將ZK證明與比特幣集成，以增強隱私性和可擴展性。StarkWare還委託研究人員John Light撰寫了一份名爲“比特幣網絡Validity Rollup”的報告，該報告重新評估了將現有validity rollup與比特幣整合的可能性，得出的結論是可能會是一個理想的匹配。我們的下一代circle-stark證明器-驗證器—Stwo—針對的是M31有限域。這個域與比特幣腳本配合得很好，這使我們非常適合提供下一代比特幣擴展。
3、我希望看到的未來
我的夢想是看到比特幣達到它所需要達到的規模，不斷地爲所有人服務。這包括向所有人開放參與，沒有財務准入門檻。我相信，只要堅定地堅持中本聰對去中心化和安全的堅持，這個夢想一定會實現。
互聯網最初是書呆子工程師和學者的小衆遊樂場。擴展它花了好幾年的時間，終於把它變成了我們的生活基礎設施。區塊鏈是一種工具，它可以通過將信任和誠信分配給主權個人組成的大型社區，而不是委託給少數幾個大公司，使互聯網民主化並重新平衡權力。但要真正奪取權力並將其交還給大衆，還需要擴大規模。
我也相信，應該抓住比特幣擴容的機會，推進對比特幣社區裏許多人來說都很重要的價值觀：隱私保護。可以爲比特幣提供擴展性的加密技術也提供了增強隱私功能的原材料。假以時日，你終將擁有一切：your keys, your coins, your confidentiality（你的密鑰、代幣和祕密）。
4、如何實現這樣的未來？
我們，StarkWare，如今正採取三個切實措施來擴展比特幣：
措施1：我們將爲Starknet提出一個新的設計模式，通過使Starknet成爲一個自我託管式去中心化L2，同時在以太坊和比特幣上同步結算實現統一的空間。即同時在兩條鏈上結算的單一層。我們的團隊將指導或贊助實現這一目標所需的所有工作。正在研究中的架構細節將在接下來的幾周公布。
措施2：StarkWare推出了一項規模爲100萬美元的基金，資助研究OP_CAT及其影響的比特幣研究人員和開發人員。這些資助將獎勵給那些真誠地支持或反對升級，以及爲OP_CAT使用提供概念證明的個人和項目。有關該基金的細節將於下週公佈。
措施3：最後，我們認爲OP_CAT比特幣軟分叉是比特幣擴展最安全的途徑，尤其是支持STARK驗證和rollup。因此，我們宣佈公開支持OP_CAT。OP_CAT通過啓用可以自主管理和更新狀態的遞歸契約，使比特幣上無需信任的rollup成爲可能，從而大大提高了交易吞吐量，而不會使比特幣網絡過載。
5、比特幣擴容解鎖了什麼潛力？
通過擴展比特幣，我們將能夠在一秒鐘內處理數百萬用戶的交易，而不是現在的每秒大約13筆交易。我們爲比特幣設想的一些規模用例包括：
· 同時擴展比特幣和以太坊：如今的區塊鏈是碎片化的。你可以選擇“數字黃金”比特幣，用它來保值，但幾乎沒有其他用途，也可以選擇以太坊，它的目標是成爲“世界的計算機”，或者選擇其他更小的鏈。通過在兩個最大的鏈上提供選擇（dApp可以選擇其中一個或兩個都選），Starknet將碎片整合。在不干涉任何一條鏈的獨立治理的情況下，Starknet將同時擴展兩條鏈。
· 隱私保護：STARKs—將用於擴展過程的加密證明—已經融入了其大量的尚未實現的隱私保護方面的潛力。隱私保護的潛力和比特幣社區是天作之合。這項技術的“零知識”一面已經得到了很好的理解，但仍然需要轉化爲實際的解決方案。將私有L2集成到比特幣生態系統中，利用Zcash、MimbleWimble或Noir等技術，可以顯著增強交易隱私性。
· 爲被邊緣羣體提供金融服務：對我們來說，比特幣的使命在某種程度上一直是爲弱勢羣體賦權。全球約有15億人無法獲取傳統銀行服務，這是金融自下而上流動的一個削弱性障礙。其他擴展比特幣的嘗試尚未提供大規模使用的解決方案。通過新的擴展方法以及增加更多的工具，比特幣有可能爲世界上沒有銀行賬戶的人們提供一個包容性的全球金融體系。
· 比特幣的金融創新：如今，比特幣支持數字現金支付，但現代市場需要的更多：更好的自我託管選項，包括可編程金庫、風險管理和對衝工具、信譽、借貸、衍生品、期貨合約等。所有這些都需要更多的功能，而這些功能不能也不應該直接建立在比特幣上。讓Starknet成爲比特幣的L2具有兩全其美的好處：由作爲數字黃金的比特幣的安全性支持的巨大金融創新。
· 改進的用戶體驗：比特幣的原始的自我託管安全也使得安全操作並非易事，特別是對普通用戶來說。一個現代的L2將爲用戶提供安全簡單的自我託管交互，以滿足他們的大部分日常需求，同時依靠比特幣強大可靠的L1的安全性進行長期價值儲存。
6、爲什麼是OP_CAT、STARKs和Starknet？
（1）爲什麼是OP_CAT？
STARKs需要驗證哈希鏈，除此之外就沒有什麼了。它們的主要驗證循環包括簡單的代數操作（對一個小素數進行加法和乘法取模），並驗證通過Merkle樹預提交的條目是否被正確打開。OP_CAT特別支持在比特幣腳本中創建和打開Merkle樹中的條目，因爲支持Merkle樹創建和驗證的核心操作需要連接兩個值，然後對它們進行哈希運算（OP_CAT啓用連接）。雖然其他契約支持操作碼可能更強大，但OP_CAT是目前唯一一個正在討論的支持Merkle樹驗證的操作碼。
（2）爲什麼是STARKs？
簡而言之，STARKs提供了最大的規模，是最久經考驗最安全的，沒有可信設置過程產生的“有毒垃圾”，沒有外來的加密原語，甚至具有後量子安全性。新的STARK證明器-驗證器名爲Stwo，它使用適合比特幣網絡的小數字，以提高效率。
（3）爲什麼是Starknet ？
以太坊上的Starknet已經擁有一個充滿活力的開發者社區，以及一種可以輕觸指尖就可實現全部擴展能力的編程語言。對於任何知道Rust語言的開發人員來說，Starknet的原生（並且開源的）語言Cairo似乎更讓人熟悉。如今的比特幣社區還沒有出現一種明顯的高級語言來構建鏈上活動世界。我希望Cairo能夠填補這一空白，成爲比特幣的原生語言之一。
