作者:Eli Ben-Sasson,StarkWare聯(lián)合創(chuàng)始人;翻譯:金色財經(jīng)xiaozou

STARKs終于迎來了下一個挑戰(zhàn)?，F(xiàn)在,STARKs將在有史以來最平等的貨幣——比特幣上展示自己的擴展優(yōu)勢。一旦OP_CAT在比特幣上得到采用,在比特幣腳本中部署STARK驗證者就會成為現(xiàn)實。這為在比特幣和Starknet之間進行安全的自我托管式轉移開啟了一條通道,創(chuàng)建了一個同時擴展以太坊和比特幣的L2。

加密貨幣可以凈化數(shù)字和金融世界。它可以為金錢帶來誠信,重新平衡我們社會中的權力,將權利從大型科技公司手中奪回,還給具有主權的個人。它是一種賦權人類和基層社區(qū)的工具。簡而言之,它是美好的源泉。因此,我們需要一個能夠展示這一點并關乎所有人的愿景。為了實現(xiàn)這一愿景,我離開了平靜的學術生涯。

如果不擴展這個絕佳項目的啟動鏈,這樣的愿景是不會完整的。我們擴展比特幣,釋放區(qū)塊鏈的力量來改變世界。StarkWare正在以實際措施支持這一計劃,并啟動了一項100萬美元規(guī)模的基金,用來支持新研究,該研究將揭示在比特幣上采用OP_CAT的利弊。

我們通過ZeroSync基金會與L2 Iterative Ventures(L2IV)的Weikeng Chen建立了極富成效的戰(zhàn)略合作伙伴關系,最終促成了Bitcoin Wildlife Sanctuary(比特幣野生動物保護區(qū))的誕生。我們利用他們團隊在工程和研究方面的實踐方法,擴展了在比特幣腳本中部署基于OP_CAT的合約和STARK驗證器的開源工作的邊界。我們還要感謝BitVM和ZeroSync基金會,他們讓這么多人了解到了比特幣的能力。另外,QED的創(chuàng)始人Carter Feldman也對我們有很大影響,他向我們展示了關于Taproot潛力的新視角和開放性思維。

現(xiàn)在,讓我們回到最基礎的部分,我來說明一下我們現(xiàn)在正在做的事情有什么意義。

1、2008年:破裂時刻

我們先回到2008年,也就是全球金融剛剛崩潰的時候。作為回應,中本聰發(fā)表了革命性的比特幣白皮書。在這個破裂的時刻,中本聰向我們展示了如何用不同的方式做事情。作為公眾,我們可以要求并執(zhí)行金融領域更高的誠信和透明度標準。中本聰沒有依賴傳統(tǒng)銀行的堡壘,而是引入了一個包容性的協(xié)議,邀請所有人加入其中。該協(xié)議通過比特幣挖礦和收費將價值公平透明地廣泛分配給貢獻者。貢獻者分布越越廣,比特幣就會變得越好、越安全。

比特幣帶給我們的不僅僅是一個賬本——它給了我們變革的信念。它恰恰是在銀行搞砸一切的時候給了我們信念——屆時,銀行正忙著收回斷供的房屋,并希望我們都沒有意識到盡管所有的抵押貸款機構都擺出“相信我們”的姿態(tài),但即使是家也不“像家一樣安全”。

比特幣的影響力,如果完全實現(xiàn)的話,可能會比我們今天看到的結果更加深遠。它可以也應該作為全球儲備貨幣被大量使用。它可以構成全球“誠信網(wǎng)”的基礎,支撐我們的自由社會所需的所有社會功能:金錢、產(chǎn)權管理和社會互動。

比特幣白皮書預見了一個實際用于支付的網(wǎng)絡,無論規(guī)模大小,無論貧富強弱,所有人都可以操作。如今,全世界有15億人甚至連銀行賬戶都沒有。比特幣支付不僅僅是這些人的一個選項,而且實際上還是他們第一次接觸金融基礎設施的媒介。如今,比特幣提供的容量太小,而且可用容量對于這15億人來說又太過昂貴。我希望能開發(fā)一種技術,讓所有人都能使用比特幣,加入比特幣維持的自由社會。

2、重要但被忽視的問題

有些人將StarkWare視為以太坊maxis。盡管我們與以太坊的價值觀一致,并致力于以太坊的成功,但我們首先是STARK maxis。Starknet作為一個L2部署在以太坊上,將Starknet與比特幣連接也是其功能特性的自然擴展結果。這與我們自成立StarkWare以來的愿景一致,即STARKs是公共產(chǎn)品,被用于擴展所有真正去中心化的區(qū)塊鏈項目。當然,以太坊也是前文所述的同樣雄心勃勃的使命的化身,不過它采取了不同的道路,有不同的利弊權衡。這很好,因為總的來說,這增加了我們成功建設能夠抵制國家強權的協(xié)議的可能性。以太坊的核心價值正是我們當初選擇它作為Starknet結算層的原因,這些價值仍然存在。我們堅定地相信以太坊,并致力于其長期成功。將ZK-STARKs引入比特幣不會偏離我們的路線,只是繞了一個圈。迄今為止,StarkWare已將其所有系統(tǒng)全部部署在以太坊上。但對區(qū)塊鏈的STARK擴展是在2013年春天的比特幣大會上提出的一個想法。

在會議上,我走上講臺,講述了我對一種后來被稱為STARKs的加密證明的初步研究,許多觀眾回應說,這種加密研究正是區(qū)塊鏈所需要的。換句話說,在以太坊問世前兩年,我就已經(jīng)對比特幣產(chǎn)生了濃厚的興趣。

因此,StarkWare從一開始就與比特幣密切相關,我們一直懷著欽佩之情觀察比特幣網(wǎng)絡。Taproot,或許還有OP_CAT,擴展了比特幣的可能性,我現(xiàn)在可以放心地進行公開討論了。

我們還支持了一些突破性的比特幣項目,如ZeroSync,它率先將ZK證明與比特幣集成,以增強隱私性和可擴展性。StarkWare還委托研究人員John Light撰寫了一份名為“比特幣網(wǎng)絡Validity Rollup”的報告,該報告重新評估了將現(xiàn)有validity rollup與比特幣整合的可能性,得出的結論是可能會是一個理想的匹配。我們的下一代circle-stark證明器-驗證器—Stwo—針對的是M31有限域。這個域與比特幣腳本配合得很好,這使我們非常適合提供下一代比特幣擴展。

3、我希望看到的未來

我的夢想是看到比特幣達到它所需要達到的規(guī)模,不斷地為所有人服務。這包括向所有人開放參與,沒有財務準入門檻。我相信,只要堅定地堅持中本聰對去中心化和安全的堅持,這個夢想一定會實現(xiàn)。

互聯(lián)網(wǎng)最初是書呆子工程師和學者的小眾游樂場。擴展它花了好幾年的時間,終于把它變成了我們的生活基礎設施。區(qū)塊鏈是一種工具,它可以通過將信任和誠信分配給主權個人組成的大型社區(qū),而不是委托給少數(shù)幾個大公司,使互聯(lián)網(wǎng)民主化并重新平衡權力。但要真正奪取權力并將其交還給大眾,還需要擴大規(guī)模。

我也相信,應該抓住比特幣擴容的機會,推進對比特幣社區(qū)里許多人來說都很重要的價值觀:隱私保護?？梢詾楸忍貛盘峁U展性的加密技術也提供了增強隱私功能的原材料。假以時日,你終將擁有一切:your keys, your coins, your confidentiality(你的密鑰、代幣和秘密)。

4、如何實現(xiàn)這樣的未來?

我們,StarkWare,如今正采取三個切實措施來擴展比特幣:

措施1:我們將為Starknet提出一個新的設計模式,通過使Starknet成為一個自我托管式去中心化L2,同時在以太坊和比特幣上同步結算實現(xiàn)統(tǒng)一的空間。即同時在兩條鏈上結算的單一層。我們的團隊將指導或贊助實現(xiàn)這一目標所需的所有工作。正在研究中的架構細節(jié)將在接下來的幾周公布。

措施2:StarkWare推出了一項規(guī)模為100萬美元的基金,資助研究OP_CAT及其影響的比特幣研究人員和開發(fā)人員。這些資助將獎勵給那些真誠地支持或反對升級,以及為OP_CAT使用提供概念證明的個人和項目。有關該基金的細節(jié)將于下周公布。

措施3:最后,我們認為OP_CAT比特幣軟分叉是比特幣擴展最安全的途徑,尤其是支持STARK驗證和rollup。因此,我們宣布公開支持OP_CAT。OP_CAT通過啟用可以自主管理和更新狀態(tài)的遞歸契約,使比特幣上無需信任的rollup成為可能,從而大大提高了交易吞吐量,而不會使比特幣網(wǎng)絡過載。

5、比特幣擴容解鎖了什么潛力?

通過擴展比特幣,我們將能夠在一秒鐘內(nèi)處理數(shù)百萬用戶的交易,而不是現(xiàn)在的每秒大約13筆交易。我們?yōu)楸忍貛旁O想的一些規(guī)模用例包括:

· 同時擴展比特幣和以太坊:如今的區(qū)塊鏈是碎片化的。你可以選擇“數(shù)字黃金”比特幣,用它來保值,但幾乎沒有其他用途,也可以選擇以太坊,它的目標是成為“世界的計算機”,或者選擇其他更小的鏈。通過在兩個最大的鏈上提供選擇(dApp可以選擇其中一個或兩個都選),Starknet將碎片整合。在不干涉任何一條鏈的獨立治理的情況下,Starknet將同時擴展兩條鏈。

· 隱私保護:STARKs—將用于擴展過程的加密證明—已經(jīng)融入了其大量的尚未實現(xiàn)的隱私保護方面的潛力。隱私保護的潛力和比特幣社區(qū)是天作之合。這項技術的“零知識”一面已經(jīng)得到了很好的理解,但仍然需要轉化為實際的解決方案。將私有L2集成到比特幣生態(tài)系統(tǒng)中,利用Zcash、MimbleWimble或Noir等技術,可以顯著增強交易隱私性。

· 為被邊緣群體提供金融服務:對我們來說,比特幣的使命在某種程度上一直是為弱勢群體賦權。全球約有15億人無法獲取傳統(tǒng)銀行服務,這是金融自下而上流動的一個削弱性障礙。其他擴展比特幣的嘗試尚未提供大規(guī)模使用的解決方案。通過新的擴展方法以及增加更多的工具,比特幣有可能為世界上沒有銀行賬戶的人們提供一個包容性的全球金融體系。

· 比特幣的金融創(chuàng)新:如今,比特幣支持數(shù)字現(xiàn)金支付,但現(xiàn)代市場需要的更多:更好的自我托管選項,包括可編程金庫、風險管理和對沖工具、信譽、借貸、衍生品、期貨合約等。所有這些都需要更多的功能,而這些功能不能也不應該直接建立在比特幣上。讓Starknet成為比特幣的L2具有兩全其美的好處:由作為數(shù)字黃金的比特幣的安全性支持的巨大金融創(chuàng)新。

· 改進的用戶體驗:比特幣的原始的自我托管安全也使得安全操作并非易事,特別是對普通用戶來說。一個現(xiàn)代的L2將為用戶提供安全簡單的自我托管交互,以滿足他們的大部分日常需求,同時依靠比特幣強大可靠的L1的安全性進行長期價值儲存。

6、為什么是OP_CAT、STARKs和Starknet?

(1)為什么是OP_CAT?

STARKs需要驗證哈希鏈,除此之外就沒有什么了。它們的主要驗證循環(huán)包括簡單的代數(shù)操作(對一個小素數(shù)進行加法和乘法取模),并驗證通過Merkle樹預提交的條目是否被正確打開。OP_CAT特別支持在比特幣腳本中創(chuàng)建和打開Merkle樹中的條目,因為支持Merkle樹創(chuàng)建和驗證的核心操作需要連接兩個值,然后對它們進行哈希運算(OP_CAT啟用連接)。雖然其他契約支持操作碼可能更強大,但OP_CAT是目前唯一一個正在討論的支持Merkle樹驗證的操作碼。

(2)為什么是STARKs?

簡而言之,STARKs提供了最大的規(guī)模,是最久經(jīng)考驗最安全的,沒有可信設置過程產(chǎn)生的“有毒垃圾”,沒有外來的加密原語,甚至具有后量子安全性。新的STARK證明器-驗證器名為Stwo,它使用適合比特幣網(wǎng)絡的小數(shù)字,以提高效率。

(3)為什么是Starknet ?

以太坊上的Starknet已經(jīng)擁有一個充滿活力的開發(fā)者社區(qū),以及一種可以輕觸指尖就可實現(xiàn)全部擴展能力的編程語言。對于任何知道Rust語言的開發(fā)人員來說,Starknet的原生(并且開源的)語言Cairo似乎更讓人熟悉。如今的比特幣社區(qū)還沒有出現(xiàn)一種明顯的高級語言來構建鏈上活動世界。我希望Cairo能夠填補這一空白,成為比特幣的原生語言之一。

熱點：以太 以太坊 太坊 比特幣 StarkNet