Arbitrum空投的財富效應點燃了市場對L2的信心,紛紛布局還未發幣的L2。而80億美元高估值的StarkWare自然是備受矚目。
那么StarkWare是有什么獨特的技術值得各大機構熱捧?旗下的StarkNet想要解決問題?我們將在本文中一一道來。
STARKs,StarkEx,StarkNet
1.1STARKs
STARKs是一種可以證明和驗證計算的證明系統,旨在提高以太坊的擴展性。
它允許將大型計算從鏈上轉移到鏈下以降低成本,為計算的正確性生成證明,然后在鏈上進行少量的計算來驗證證明。即驗證者通過在鏈上執行非常少的操作來判斷鏈下完成的計算的完整性。
L2通過STARKs技術將多筆交易打包在一起進行數以千計的計算,然后使用單個STARK證明在鏈上驗證它們的有效性。
該批次內的所有交易共同分擔鏈上處理的成本,從而在繼承以太坊安全性的前提下降低了Gas成本,改善用戶體驗。這模式與共享的士的用戶平攤路費相似。
SNARKs是一個簡潔的非交互式的證明。STARKs和SNARKs都是ZKRollups的解決方案。
SNARKs和STARKs對比
相比SNARKs,STARKs具有以下三個優勢:
1.去信任
STARKs公開可驗證隨機來取代SNARKs的可信設置,減少對參與人的依賴,提高協議安全性。
2.更強的擴展能力
STARK具有驗證的對數壓縮特性,即使底層計算的復雜性呈指數級增長,STARKs依然保持了較低的證明和驗證時間,而非像SNARKs線性增長。
3.更高的安全保證
STARKs使用抗碰撞哈希值進行加密,可抗量子計算的攻擊。
流動性質押協議stake.link推出LINK質押池:12月7日消息,面向Chainlink 2.0的流動性質押協議stake.link宣布推出LINK質押池。截止發稿,協議已質押16.9萬枚LINK。此前報道,去中心化預言機網絡Chainlink官方宣布,其質押v0.1測試版本計劃于北京時間12月7日13:00時上線以太坊主網。
符合提前體驗測試版本條件的地址將可在v0.1質押池中質押最多7000枚LINK。此外,v0.1質押池將于北京時間12月9日13:00面向所有普通用戶開放,每個地址質押上限為7000枚LINK,質押池總量上限為2500萬枚LINK。[2022/12/7 21:27:59]
但是STARKs的證明尺寸比SNARKs大,因此L2交易量較低時就會難以分攤證明成本,出現較大的確認延遲。但是當證明規模增加,使用STARKT的邊際成本會遞減,適合大規模應用。此外,相對于SNARKs,目前STARKs采用率不足,基礎工具還有待完善。
L2Rollups除了ZKRollups,還有OptimisticRollups。以下是兩種方案的對比。
以80億美元估值完成1億美元D輪融資的StarkWare提供了兩種使用STARK擴展以太坊的解決方案:StarkEx和StarkNet。
1.2StarkEx
StarkEx是一個需要許可的、為特定應用程序定制的擴展解決方案的框架。項目可以使用StarkEx來進行低成本的鏈下計算,生成證明執行正確性的STARK證明。
這樣的證明包含12,000–500,000筆交易。最后將證明發送到鏈上的STARK驗證器,驗證正確后接受狀態更新。
StarkEx提供了3種數據存儲方式。在ZK-Rollup模式下,數據存儲在鏈上,使數據去中心化,便于用戶跟蹤和監督。
V神新書《Proof of Stake》所獲捐款已超200 ETH:金色財經報道,據Dune Analytics數據顯示,截止發稿時,V神新書《Proof of Stake》已獲得來自44,983個獨立地址的47,441筆捐款,累計捐款金額達218.96ETH。
此前報道,V神于8月31日表示,其近十年文集《Proof of Stake》數字版和實物版將出版。讀者現可在Gitcoin為其捐贈并獲得數字副本和紀念NFT,全部收益將用于公益事業。[2022/9/4 13:08:11]
然而,在鏈上發布數據的成本高。在Validium模式下,數據存儲在鏈下,低成本且不會把數據公開暴露。
但需要數據可用性委員會來監督數據是否得到妥善處理。Volition是一種混合數據可用性模式,用戶可以選擇將數據放在鏈上還是鏈下。
在StarkEx上部署的應用程序包括永久期權dYdX、NFTL2Immutable、體育數字卡牌交易市場Sorare和多鏈DeFi聚合器rhino.fi。
StarkEx適用于獨立運行且適合StarkExAPI的協議。
1.3StarkNet
StarkNet是一個無需許可的L2,任何人員都可以在其中部署以Cairo語言開發的智能合約。部署在StarkNet上的合約之間可以進行交互來構建新的可組合協議。
與應用程序負責提交交易的StarkEx不同,StarkNet的排序器批量交易并發送它們進行處理和證明。
StarkNet更適合需要與其他協議同步交互或超出StarkEx應用范圍的協議。隨著StarkNet開發的進展,基于StarkEx的應用將能夠移植到StarkNet,享受可組合性。
1.4Cairo
Cairo是用于STARK證明通用計算定制的編程語言,使開發、審查和維護代碼更簡單、快捷,不受EVM限制,可以拋棄以太坊的歷史負擔做更復雜的計算如賬戶抽象,在游戲開發上也更加靈活,支持全鏈上游戲。
Binance宣布在法國投資1億歐元,并與創業孵化器Station F建立合作伙伴關系:金色財經消息,Binance宣布將在法國投資1億歐元(約合1.08億美元),并與總部位于巴黎的創業孵化器StationF建立合作伙伴關系。作為合作關系的一部分,初創公司將接受來自BNB Chain、NFT Labs和Binance Labs團隊的支持,并與Binance合作伙伴們進行潛在的合作。
CZ周三在巴黎區塊鏈周峰會上表示,法國在成為歐洲加密行業領導者方面具有獨特的優勢,Binance已經在法國擁有一個約50人規模的團隊。(TheBlock)[2022/4/13 14:22:13]
StarkNet本身不支持EVM,但從Solidity到Cairo的轉譯器Warp將有助于以太坊原生項目移植到StarkNet,成為大規模應用的基礎設施。
1.5SHARP(sharedprover)共享證明器
SHARP技術允許來自StarkEx的不同應用以及StarkNet上發生的交易合并成一個證明,更快填滿STARK證明的容量,提高交易處理速度并且分擔驗證L1證明的gas成本。
StarkNet經濟模型
StarkWare已經在鏈下鑄造了100億個StarkNet代幣。但是這些代幣并不代表StarkWare的股權,也不提供任何參與StarkWare的權利或賦予任何向StarkWare提出索賠的權利。
StarkNet代幣可以作為原生代幣支付Gas費用,相比其他使用ETH做給Gas費用的L2,StarkNet代幣更能捕獲生態價值,且降低了ETH這外生代幣帶來的沖擊。
分配給核心貢獻者和投資者的代幣有一年的等待期和四年的鎖定期,線性釋放。
StarkNet明確給開發者和過去StarkEx用戶獎勵,但未明確StarkNet用戶是否有空投。首次代幣分配中有8.1%的代幣還未決定用途,具體方式由社區決定。
“盤爺”卡文迪什將個人Instagram頭像換成“Lil' Heroes”NFT:金色財經報道,在剛剛結束的第103屆米蘭-都靈自行車賽奪冠后,知名自行車運動員、里約奧運會男子個人全能賽銀牌得主“盤爺”馬克·卡文迪什(Mark Cavendish)宣布與藝術家 Edgar Plans 創作的“Lil' Heroes” NFT 系列合作,同時將個人Instagram頭像換成了帶有個人特色的“Lil Heroes” NFT。根據最新數據顯示,Lil' Heroes NFT 系列由 7,777 件藝術品組成,當前地板價為 0.81 ETH,市值約為 3267 萬美元,交易總額為 5080 萬美元。[2022/3/19 14:06:36]
因此筆者猜想這部分代幣有可能用于獎勵StarkNet用戶。此外,部署合約的項目方在獲得空投獎勵后,有可能會給應用的用戶分配空投,反饋早期支持者。因此,用戶可以根據需要正常使用StarkNet上有價值的應用。
StarkNet融資情況
根據Crunchbase的數據,StarkNet在七輪融資中總共獲得2.825億美元。
2022年7月,AlamedaResearch追加950萬美元投資。但是AlamedaResearch已于2022年11月破產,這筆投資是否收到存疑。
以太坊基金會的撥款樹立了StarkWare的正統性。
創始人
EliBen-Sasson
Eli是StarkWare的聯合創始人兼總裁,也是其董事會主席。
自從2001年獲得希伯來大學理論計算機科學博士學位以來,他一直在研究密碼學和計算完整性的零知識證明。
動態 | 0x 協議推出基于零知識證明技術的 StarkDEX 測試版,每秒可處理逾 550 筆交易:去中心化交易協議 0x 宣布推出去中心化交易基礎設施 StarkDEX,并提供了 Alpha 測試版供模擬交易。StarkDEX 由 0x 與零知識證明技術開發公司 StarkWare 合作開發,目的是使用 STARKs 技術突破非監管交易的無形限制,使加密貨幣交易所為用戶提供大規模而無對手風險的交易。0x 表示目前 StarkDEX 每區塊最多可批量處理 8000 筆交易,每秒可處理逾 550 筆交易,手續費成本則降低 200 倍。[2019/6/4]
Eli是STARK、FRI和Zerocash協議的共同發明人,也是Zcash公司的創始科學家。多年來,他在普林斯頓高等研究院、哈佛大學和麻省理工學院擔任研究職位。
最近曾在以色列理工學院擔任計算機科學教授,他離開該職位后和伙伴共同創立了StarkWare。
UriKolodny
Uri是StarkWare的聯合創始人兼首席執行官,也是其董事會成員。
他擁有希伯來大學計算機科學學士學位和麻省理工學院斯隆管理學院的MBA學位。Uri是一位連續創業者,曾共同創立了幾家科技公司,包括Mondria。
之前,Uri還曾在兩家以色列風險投資公司幫忙孵化項目,并在麥肯錫公司擔任分析師。
競爭對手
StarkNet與zkSync、Optimism、Arbitrum因為其受到的關注度被稱為L2的四大天王。
數據來源:
1.https://dune.com/gm365/L2
2.https://www.coingecko.com/
3.https://defillama.com/
Optimism和Arbitrum采用樂觀rollup,開發難度較低,已經具有較為完善的生態系統,吸引了大量資金和用戶,甚至走出了如GMX,GainsProtocol這樣的優秀L2原生協議。
Vitalik在ETHSeoul期間表示,雖然OptimisticRollups更加發達,但ZKRollups技術的基礎將使其最終能夠取代OptimisticRollups。雖然ZKRollups速度更快,但它們缺少以太坊虛擬機(EVM),這使得運行dApps具有困難。因為EVM是dApps的主要處理單元。所以基于ZK的Rollups正在開發兼容EVM的方案。如果開發進程緩慢,則ZKRollups有可能失去先發優勢,讓OptimisticRollups穩坐寶座。這類似于以太坊和其他L1之間的競爭,雖然以太坊的性能不是最好的,但是憑借先發優勢牢牢吸收住最多的資金和最優秀的開發者。
StarkNet不僅面對采用OptimisticRollups的L2競爭,也面對同樣采用ZKRollups的L2競爭。根據EshitaNandini的總結,目前有多個L2正在構建ZKEVM。
Type-1是ETH等效,可100%無縫使用EVM基礎設施,但證明過程很緩慢。Taiko通過在零知識證明生成前快速確認最終性來減輕這一缺點。
具體方式即只需證明過去狀態X有效,且在X之后沒有來自賬戶A的交易,因此用戶可以提取其在狀態X中的代幣。目前已經完成alpha-2中測試了去中心化證明和協議經濟學,其中有126位獨立證明者,已證明了93,146個區塊,證明時間在130到160秒之間。
Taiko目前已經棄用了alpha-2,并將在第二季度推出alpha-3。由于Type-1zkEVM在實現等效性方面毫不妥協,具有較大的復雜性,今年可能不會有主網。
Type-2EVM等效,證明速度相對Type-1改善,但仍舊慢。Type2是Scroll,Linea的目標,PolygonzkEVM已經實現。
PolygonzkEVM主網Beta版本已經于3月27日如期上線。在主網Beta的第一階段,專門的安全委員會將能夠快速升級PolygonzkEVM。在第二階段,將采取一系列措施,以確保在出現任何問題時用戶能夠得到保護,但權力下放程度更高,并且沒有具有特權訪問權限的安全委員會。
GasFee以ETH支付,預計未來PolygonzkEVM中的質押和治理將使用MATIC代幣,此外,PolygonzkEVM通過ERC-4337支持帳戶抽象,將允許用戶使用任何代幣支付費用。
Scroll和以太坊基金會一起開源開發zkEVM,將通過并行計算和證明外包給曠工來縮短證明時間。Scroll處于Alpha測試網階段,可以進行跨鏈和轉賬,已經無障礙運行兩個月,預計二季度上線主網。
3月28日,ConsenSys宣布將ConsenSyszkEVM重塑為Linea,目前向所有開發人員、用戶或協議開放測試。Linea通過MetaMask和Truffle等原生集成,將零知識證明與EVM等效性相結合,為開發者提供靈活性和可擴展性,無需ZK技術專業知識。
Linea采用多證明人系統,當代碼中存在漏洞時,多重簽名可以強制執行特定結果。通過這個系統,一個rollup將利用幾種具有不同安全級別的證明機制,以消除單證明人rollup存在的單點故障風險。
Type-3幾乎EVM等效,更快的證明,但部分app需要重新開發。Type3是Scroll目前所處的過渡階段。Kakarot是一個用Cairo編寫的zkEVM,作為EVM字節碼的解釋器,最終可能成為StarkNet上的L3,目前歸類Type-3。
Type-4,將用高級語言如Solidity編寫的智能合約源代碼,編譯成ZK-SNARK友好的語言。證明速度很快,但不太兼容。
zkSyncEra已經上線,對普通用戶開放。目前分擔zkSyncgasfee的用戶不多,因此交互成本較高,部分項目方對gasfee進行了補貼。由于Arbitrum空投的財富效應,社區用戶交互熱情高漲,但是目前zkSync上土狗項目居多,發生了多起rugpull事件。
StarkNet使用Warp作為Solidity到Cairo的編譯器。StarkNet是目前唯一一個將其排序器和證明器去中心化的zkEVM。但目前StarkNet還未發布生產級別版本,只適合用戶小額交互體驗,任務常常執行失敗。
Vitalik還提出了Optimistic和ZK混合的模式。zkEVM成熟之前,發布區塊鏈等待24小時,如果沒有欺詐挑戰就發布零知識證明,確定區塊。如果有挑戰,就引入治理,通過2of3模式裁定。
如果零知識證明時間能大幅縮短,另外一種混合模式就以發布零知識證明為主,只有當零知識證明未能正常發布,才使用OptimisticRollup。這既可能會是StarkNet的一條可選發展路徑也可能會使競爭方式。
總結
StarkNet采用了基于STARK的Rollup路線,雖然該方案相對于其他方案在去中心化、去信任、抗審查等方面有明顯的優勢,但是由于該方案的開發工具尚不成熟,研發難度也很大,性能還有待提升。
此外,雖然StarkNet已經得到了機構投資者的支持,但目前仍處于試用階段,尚未完全成熟。StarkNet下一階段的重點是將現在由Python開發的sequencer升級為由Rust進行開發,提高區塊鏈的性能。
此外是提高生態內項目的豐富度和成熟度。加密原生用戶可以去體驗生態內項目,但需注意項目的風險,選擇參與前需要進行充分的風險評估。
雖然StarkNet具有抗量子攻擊的特性,但是否會成為擴容的終局還有待觀察。因此,對于StarkNet的未來發展,我們需要持續關注和評估。
區塊鏈的安全性是整個生態系統的重中之重,底層基礎層的安全性絕不能被忽視、妥協、讓步、或折衷,否則整個生態系統與賬本將會失去用戶的信任。
因此,在基礎層的設計中,需要選擇最為安全的共識算法,即使它的能源消耗可能很高。這個問題可以通過采用類似在納斯達克上市的IrishEnergyLimited所倡導的可再生能源挖礦來解決。
相比之下,第二層的中心化程度可以更高,以實現更高的效率和靈活性。不管是底層還是上層,都需要遵循合理的設計原則,以確保整個生態系統的安全性和可靠性。
任何依賴于以太坊基礎層安全性的第二層或應用,都必須對基礎層的共識算法有充分的信心,確保其安全性不受損害。這可能是社區面臨的最大系統性風險。
作者:鄭金城,新躍社科大學研究員,全球金融科技學院、Biteye建設者,OceanViews專欄作家
李國權,新躍社科大學教授,新加坡經濟協會副會長,全球金融科技學院主席
編輯:Biteye核心貢獻者Crush
Tags:ARKSTASTARSTARKDarkMagickFLUSD Stable CoinStarlink InuStarkNet
概述 系統平行鏈是那些包含波卡協議核心功能的平行鏈,但這些功能是在平行鏈而不是中繼鏈中。不是通過經濟手段租賃執行核心功能,而是通過網絡治理分配執行核心功能.
1900/1/1 0:00:00元宇宙可謂2022年科技界的“當紅炸子雞”,引多家科技巨頭“競折腰”。美國《福布斯》雙周刊網站在近日的報道中指出,2030年全球元宇宙的市場規模有望高達5萬億美元,2023年可能是確定其發展方向.
1900/1/1 0:00:00撰文:Babywhale,ForesightNews2014年,越南獨立游戲開發者DongNguyen開發的小游戲FlappyBird突然暴紅,在100多個國家/地區的榜單一躍登頂.
1900/1/1 0:00:00來源:zkLink社區 加密世界經常被形容為黑暗森林,這是一個充滿機遇,但也危險重重的新大陸。黑客攻擊和程序漏洞時刻威脅著用戶資金安全,更有甚者,詐騙項目卷款跑路的事情也時有發生,大大提高用戶篩.
1900/1/1 0:00:00自人類歷史的黎明以來,集體故事一直定義著我們的文化,并豐富了我們對世界的理解;講故事的人一直是塑造這些敘事的推動力.
1900/1/1 0:00:004月,以太坊上海升級與香港Web3動向成最大熱點,上海升級的完成是轉POS的重要里程碑,從市場而言,由于升級解鎖質押ETH是否引發拋壓備受關注,僅以交易表現來看,并未出現大范圍的拋壓與離場.
1900/1/1 0:00:00