作者:Eli Ben-Sasson,StarkWare創(chuàng)始人;翻譯:金色金融xiaozouou;
STARKS終于迎來(lái)了下一個(gè)挑戰(zhàn)?,F(xiàn)在,STARKS將在歷史上最公平的貨幣BTC上展示其擴(kuò)展優(yōu)勢(shì)。一旦OP_CAT在比特幣上被選中,STARK驗(yàn)證人將被安排在比特幣腳本中,這將成為現(xiàn)實(shí)。這為比特幣和Starknet之間安全的自我管理轉(zhuǎn)移開(kāi)辟了一個(gè)渠道,創(chuàng)造了一個(gè)擴(kuò)展以太坊和比特幣的渠道L2。
數(shù)字貨幣可以凈化數(shù)字和金融世界。它可以給金錢帶來(lái)誠(chéng)信,再次平衡我們的社會(huì)權(quán)力,從大型科技公司手中奪回權(quán)利,并返還給具有主權(quán)的個(gè)人。它是賦權(quán)人類和基層社區(qū)的工具。簡(jiǎn)而言之,這是一個(gè)美麗的源泉。因此,我們需要一個(gè)愿景來(lái)展示這一點(diǎn),并與每個(gè)人有關(guān)。為了實(shí)現(xiàn)這一愿景,我離開(kāi)了平靜的學(xué)術(shù)生涯。
如果我們不擴(kuò)展這個(gè)優(yōu)秀項(xiàng)目的啟動(dòng)鏈,這個(gè)愿景就不會(huì)完整。我們擴(kuò)大BTC,釋放區(qū)塊鏈的力量來(lái)改變我們的命運(yùn)。StarkWare正在按照實(shí)際措施支持該計(jì)劃,并啟動(dòng)了一項(xiàng)計(jì)劃100用于支持新研究的萬(wàn)美元基金將揭示在比特幣上使用的基金OP_CAT的利弊。
我們通過(guò)ZeroSync基金會(huì)和L2L2 Iterative Ventures(L2IV)Weikeng Chen建立了非常有效的戰(zhàn)略伙伴關(guān)系,最終促成了Bitcoin Wildlife Sanctuary(BTC野生動(dòng)物保護(hù)區(qū))的出現(xiàn)。我們利用他們團(tuán)隊(duì)在工程和研究方面的實(shí)踐方法,擴(kuò)大了基于OP_CAT的合同和STARK驗(yàn)證器在比特幣腳本中的開(kāi)源邊界。我們還要感謝Bitvm和ZeroSync基金會(huì),他們讓這么多人了解比特幣的能力。此外,QED創(chuàng)始人Carter Feldman也對(duì)我們產(chǎn)生了很大的影響,他向我們展示了關(guān)于Taprot潛力的新視角和開(kāi)放思維。
現(xiàn)在,讓我們回到最基本的部分,讓我來(lái)解釋一下我們現(xiàn)在正在做什么。
1、2008年:破裂時(shí)刻
讓我們回到2008年,也就是全球金融剛剛崩潰的時(shí)候。作為回應(yīng),中本聰出版了革命性的比特幣白皮書。在這個(gè)破裂的時(shí)刻,中本聰向我們展示了如何以不同的方式做事。作為公眾,我們有權(quán)要求和實(shí)施金融業(yè)更高的誠(chéng)信和透明度標(biāo)準(zhǔn)。中本聰沒(méi)有依靠傳統(tǒng)銀行的堡壘,而是引入了包容性協(xié)議,邀請(qǐng)大家加入。該協(xié)議通過(guò)比特幣采礦和收費(fèi),將價(jià)值公平透明地分配給推動(dòng)者。推動(dòng)者分布越廣,BTC就會(huì)變得越好,越安全。
BTC給我們帶來(lái)的不僅僅是一本賬簿——它給了我們改變的信念。當(dāng)銀行搞砸一切時(shí),它給了我們信念——當(dāng)時(shí)銀行正忙著收回?cái)喙┑姆孔?,希望我們沒(méi)有意識(shí)到,雖然所有的抵押貸款機(jī)構(gòu)都擺出了“相信我們”的態(tài)度,但即使是家也不“像家一樣安全”。
如果比特幣的受歡迎程度完全實(shí)現(xiàn),它可能比我們今天看到的要長(zhǎng)得多。它也應(yīng)該被廣泛用作全球儲(chǔ)備貨幣。它可以形成全球“誠(chéng)信網(wǎng)絡(luò)”的基礎(chǔ),支持我們自由社會(huì)所需的所有社會(huì)功能:金錢、產(chǎn)權(quán)管理和社會(huì)互動(dòng)。
比特幣白皮書預(yù)見(jiàn)了一個(gè)實(shí)際用于支付的網(wǎng)絡(luò),無(wú)論規(guī)模大小,無(wú)論貧富強(qiáng)弱,每個(gè)人都可以操作。如今,世界上有15億人連銀行賬戶都沒(méi)有。BTC支付不僅是這些人的選擇,也是他們第一次接觸金融基礎(chǔ)設(shè)施的媒介。如今,BTC提供的容量太小,而且可用容量對(duì)這15億人來(lái)說(shuō)太貴了。我希望開(kāi)發(fā)一種技術(shù),讓每個(gè)人都能使用BTC,加入BTC維持的自由社會(huì)。
2、重要但被忽視的問(wèn)題
有些人認(rèn)為StarkWare是以太坊maxis。雖然我們符合以太坊的價(jià)值觀,致力于以太坊的成功,但我們首先是STARK maxis。Starknet作為L(zhǎng)2布署以太坊,將Starknet與比特幣連接起來(lái)也是其功能特征的自然擴(kuò)展結(jié)果。這與我們自成立StarkWare以來(lái)的愿景是一致的,即Starks是一種公共產(chǎn)品,用于擴(kuò)展所有真正分散的區(qū)塊鏈項(xiàng)目。當(dāng)然,以太坊也是上述雄心勃勃使命的化身,但它采取了不同的方式,權(quán)衡了利弊。這很好,因?yàn)榭偟膩?lái)說(shuō),這增加了我們成功建設(shè)能夠抵制中國(guó)權(quán)力的協(xié)議的概率。以太坊的核心價(jià)值是我們最初選擇它作為Starknet清算層的原因,這些價(jià)值仍然存在。我們堅(jiān)信以太坊,并致力于其長(zhǎng)期成功。將ZK-STARKS引入BTC不會(huì)偏移我們的路線,只是繞了一圈。到目前為止,StarkWare已經(jīng)在以太坊上部署了所有的系統(tǒng)。但區(qū)塊鏈的STARK擴(kuò)張是2013年春季BTC會(huì)議提出的一個(gè)想法。
會(huì)上,我走上講臺(tái),講述了我對(duì)一項(xiàng)被稱為STARKS的加密確認(rèn)的初步研究。許多觀眾回應(yīng)說(shuō),這項(xiàng)加密研究正是區(qū)塊鏈所需要的。也就是說(shuō),在以太坊問(wèn)世前幾年,我對(duì)比特幣產(chǎn)生了濃厚的興趣。
因此,StarkWare從一開(kāi)始就與比特幣息息相關(guān),我們一直懷著敬佩之心觀察比特幣網(wǎng)絡(luò)。Taproot,也許還有OP__CAT,擴(kuò)大了比特幣的概率,我現(xiàn)在可以放心地公開(kāi)討論了。
我們還支持ZeroSync等突破性BTC項(xiàng)目,率先將ZK與比特幣集成,以增強(qiáng)隱私性和可擴(kuò)展性。StarkWare還委托科研人員John Light寫了一篇名為“比特幣網(wǎng)絡(luò)Validity”的文章 Rollup該報(bào)告重新評(píng)估了現(xiàn)有的validity 從rollup和比特幣整合的概率中得出的結(jié)論是,它可能是一個(gè)理想的匹配。我們的下一代circle-stark證實(shí)器-驗(yàn)證器—Stwo—針對(duì)M31有限域。這個(gè)域與比特幣腳本配合得很好,這使得我們特別適合下一代BTC擴(kuò)展。
3、我希望看到未來(lái)
我的夢(mèng)想是看到BTC達(dá)到它需要的規(guī)模,并不斷為每個(gè)人服務(wù)。這包括對(duì)所有人開(kāi)放,沒(méi)有財(cái)務(wù)準(zhǔn)入條件。我相信,只要我們堅(jiān)持中本對(duì)分散和安全的堅(jiān)持,這個(gè)夢(mèng)想就會(huì)實(shí)現(xiàn)。
互聯(lián)網(wǎng)最初是書呆子工程師和學(xué)者的利基游樂(lè)場(chǎng)。它花了幾年時(shí)間才擴(kuò)展,最終成為我們的生活基礎(chǔ)設(shè)施。區(qū)塊鏈?zhǔn)且环N工具,可以將信任和誠(chéng)信分配給主權(quán)個(gè)人組成的大型社區(qū),而不是委托給少數(shù)大型企業(yè),使互聯(lián)網(wǎng)民主化,重新平衡權(quán)力。但要真正贏得權(quán)力,把它還給公眾,就要擴(kuò)大規(guī)模。
我也相信,我們應(yīng)該抓住BTC擴(kuò)張的機(jī)會(huì),推動(dòng)比特幣社區(qū)許多人非常重要的價(jià)值觀:隱私保護(hù)。為BTC提供可擴(kuò)展的加密算法也提供了增強(qiáng)隱私功能的原材料。隨著時(shí)間的推移,你最終會(huì)擁有一切:your keys, your coins, your confidentiality(你的密鑰、代幣和秘密)。
4、如何實(shí)現(xiàn)這樣的未來(lái)?
我們,StarkWare,現(xiàn)在正在采取三項(xiàng)切實(shí)措施來(lái)擴(kuò)大BTC:
措施1:我們將為Starknet提出一種新的設(shè)計(jì)方法,通過(guò)使Starknet進(jìn)行設(shè)計(jì)Starknet成為自我代理的分散化L2,同時(shí),以太坊和BTC同步清算,實(shí)現(xiàn)統(tǒng)一空間。也就是說(shuō),同時(shí)在兩個(gè)鏈上結(jié)算一層。我們的團(tuán)隊(duì)將指導(dǎo)或贊助所有實(shí)現(xiàn)這一目標(biāo)所需的工作。研究中的結(jié)構(gòu)細(xì)節(jié)將在接下來(lái)的幾周內(nèi)公布。
措施2:StarkWare推出了一項(xiàng)規(guī)模為100萬(wàn)美元基金,資助研究OP_CAT以及BTC研究人員和開(kāi)發(fā)人員的影響。這些補(bǔ)貼將獎(jiǎng)勵(lì)那些真誠(chéng)支持或反對(duì)升級(jí)的個(gè)人和項(xiàng)目,并為OP_CAT的使用提供概念證明。該基金的細(xì)節(jié)將于下周公布。
措施3:最后,我們認(rèn)為OP_CATBTC軟分叉是擴(kuò)展比特幣最安全的方式,特別是支持STARK驗(yàn)證和rollup。因此,我們宣布公開(kāi)支持OP_CAT。OP_CAT通過(guò)啟用可以獨(dú)立管理和更新?tīng)顟B(tài)的遞歸合同,使BTC上不可信賴的rollup成為可能,從而大大提高了交易吞吐量,而不會(huì)使比特幣網(wǎng)絡(luò)過(guò)載。
5、BTC擴(kuò)容解鎖的潛力是什么?
通過(guò)擴(kuò)展BTC,我們將能夠在一秒鐘內(nèi)處理數(shù)百萬(wàn)用戶的交易,而不是每秒大約13筆交易。我們?yōu)锽TC設(shè)想的一些規(guī)模用例包括:
· 同時(shí)擴(kuò)大比特幣和以太坊:今天的區(qū)塊鏈?zhǔn)撬槠?。也可選擇“數(shù)字黃金”BTC,用它來(lái)保存價(jià)值,但基本上沒(méi)有其他用途,你也可以選擇以太坊,它的目的是成為一個(gè)“世界計(jì)算機(jī)”,或者選擇其他較小的鏈條。Starknet通過(guò)在兩個(gè)最大鏈上提供選擇(dapp可以選擇其中一個(gè)或兩個(gè))來(lái)整合殘片。Starknet將同時(shí)擴(kuò)展兩條鏈,而不干預(yù)任何一條鏈的單獨(dú)治理。
· 隱私保護(hù):STARKs—擴(kuò)展過(guò)程中使用的加密確認(rèn)——已經(jīng)融入了大量尚未實(shí)現(xiàn)的隱私保護(hù)潛力。隱私保護(hù)的潛力和BTC社區(qū)是天生的配偶。該技術(shù)的“零知識(shí)”一方面得到了很好的理解,但仍需轉(zhuǎn)化為實(shí)際的解決方案。將私有L2集成到BTC生態(tài)系統(tǒng)中,使用Zcash、MimbleWimble或Noir等技術(shù),可顯著增強(qiáng)交易隱私。
· 為邊緣群體提供金融服務(wù):對(duì)我們來(lái)說(shuō),比特幣的使命一直在一定程度上賦予弱勢(shì)群體權(quán)力。世界上約有15億人無(wú)法獲得傳統(tǒng)的銀行業(yè)務(wù),這是金融自下而上流動(dòng)的弱點(diǎn)。其他試圖擴(kuò)大比特幣的人還沒(méi)有提供大規(guī)模使用的解決方案。BTC可以通過(guò)新的擴(kuò)展方法和增加更多的工具,為世界上沒(méi)有銀行賬戶的人們提供一個(gè)包容的全球金融體系。
· 比特幣金融創(chuàng)新:BTC支持?jǐn)?shù)字現(xiàn)金結(jié)算,但現(xiàn)代市場(chǎng)需要更多:更好的自我管理選項(xiàng),包括可編程金庫(kù)、風(fēng)險(xiǎn)管理和對(duì)沖工具、聲譽(yù)、貸款、衍生品、期貨合約等。所有這些都需要更多的功能,而這些功能不能也不應(yīng)該直接基于比特幣。L2將Starknet變成比特幣有兩全其美的優(yōu)勢(shì):由比特幣作為數(shù)字黃金的安全支持的巨大金融創(chuàng)新。
· 改進(jìn)的使用體驗(yàn):比特幣原始的自我管理安全也使得安全操作并不容易,特別是對(duì)于普通用戶?,F(xiàn)代L2將為用戶提供安全和簡(jiǎn)單的自我管理交互,以滿足他們的大部分日常需求,并依靠BTC強(qiáng)大和可靠的L1安全進(jìn)行長(zhǎng)期價(jià)值存儲(chǔ)。
6、為什么是OP_CAT、STARKs和Starknet?
(1)為什么是OP_CAT?
STARKS需要驗(yàn)證哈希鏈,除此之外什么都沒(méi)有。它們的主要驗(yàn)證周期包括簡(jiǎn)單的代數(shù)操作(添加和乘法模具一個(gè)小素?cái)?shù)),并驗(yàn)證通過(guò)Merkle樹(shù)提交的內(nèi)容是否正確打開(kāi)。OP_CAT特別支持在比特幣腳本中創(chuàng)建和打開(kāi)Merkle樹(shù)的內(nèi)容,因?yàn)橹С諱erkle樹(shù)創(chuàng)建和檢驗(yàn)的核心操作需要連接兩個(gè)值,然后進(jìn)行哈希操作(OP_CAT啟用連接)。雖然其他合同支持操作碼可能更強(qiáng)大,但OP_CAT是唯一一個(gè)支持Merkle樹(shù)檢驗(yàn)的操作碼。
(2)為什么是STARKs?
簡(jiǎn)而言之,STARKS提供了最大的規(guī)模,是長(zhǎng)期測(cè)試后最安全的,沒(méi)有可靠的設(shè)置過(guò)程產(chǎn)生的“有毒垃圾”,沒(méi)有外部加密術(shù)語(yǔ),甚至是后量子安全。新的STARK證實(shí)器-驗(yàn)證器叫做STWO,它使用適合比特幣網(wǎng)絡(luò)的小數(shù)字來(lái)提高效率。
(3)為什么是Starknet ?
以太坊上的Starknet擁有一個(gè)充滿活力的開(kāi)發(fā)者社區(qū)和一種編程語(yǔ)言,可以通過(guò)觸摸指尖來(lái)實(shí)現(xiàn)所有的擴(kuò)展能力。對(duì)于任何知道Rust語(yǔ)言的開(kāi)發(fā)者來(lái)說(shuō),Starknet的本地語(yǔ)言Cairo似乎更為熟悉。今天的BTC社區(qū)還沒(méi)有明顯的高級(jí)語(yǔ)言來(lái)構(gòu)建鏈上的活動(dòng)世界。希望Cairo能填補(bǔ)這一空白,成為比特幣的本土語(yǔ)言之一。