作者：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能夠填補這一空白，成為比特幣的原生語言之一。
