StarkNet 技術風險、經濟模型與評論_STARK

Arbitrum空投的財富效應點燃了市場對L2的信心，紛紛布局還未發幣的L2。而80億美元高估值的StarkWare自然是備受矚目。

那么StarkWare是有什么獨特的技術值得各大機構熱捧？旗下的StarkNet想要解決問題？我們將在本文中一一道來。

01STARKs,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使用抗碰撞哈希值進行加密，可抗量子計算的攻擊。

隱私區塊鏈Findora公布《Land, Labor, and Capitol》為其最新受資助者:金色財經報道，隱私區塊鏈Findora官方宣布鏈游《Land, Labor, and Capitol》為其最新受資助者，該游戲將利用Findora的零知識技術來平衡隱私與分布式、可審計的狀態，目前Pre-alpha版本已經在 Polygon測試網上線，并且很快也將于今年三季度在Findora的測試網上線。[2023/6/26 22:01:04]

但是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模式下，數據存儲在鏈上，使數據去中心化，便于用戶跟蹤和監督。

然而，在鏈上發布數據的成本高。在Validium模式下，數據存儲在鏈下，低成本且不會把數據公開暴露。

但需要數據可用性委員會來監督數據是否得到妥善處理。Volition是一種混合數據可用性模式，用戶可以選擇將數據放在鏈上還是鏈下。

知情人士：Zhu Su等人創辦的索賠交易平臺OPNX或已完成2500萬美元融資:金色財經報道，據 DeFi 研究員 DefiIgnas 表示，Three Arrows Capital 創始人Zhu Su 和 Kyle Davies 等人創辦的加密索賠交易和衍生品的公共市場OPNX已完成融資交易，但未披露投資方。DefiIgnas 此前表示，OPNX 正在融資 2500 萬美元。Zhu Su 轉推了該推文。

另外，OPNX 將收購 CoinFLEX 的所有資產，包括人員、技術和代幣。FLEX 將是他們的主要代幣。可能的品牌重塑為：將以 1:1 的比例交換（無鎖定），類似于 AAVE/LEND 品牌重塑。OPNX 將對類似的破產索賠進行分組，并將其代幣化，這些代幣化索索賠在訂單簿交易所進行交易。OPNX 將允許以破產債權作為抵押品對主要資產進行永續合約交易。[2023/3/7 12:47:45]

在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限制，可以拋棄以太坊的歷史負擔做更復雜的計算如賬戶抽象，在游戲開發上也更加靈活，支持全鏈上游戲。

河南：到2025年全省元宇宙產業發展初具規模，核心產業規模超過300億元:金色財經報道，河南省人民政府辦公廳近日印發《河南省元宇宙產業發展行動計劃（2022-2025年）》。《行動計劃》明確，到2025年，全省元宇宙產業發展初具規模，核心產業規模超過300億元，帶動相關產業規模超過1000億元，初步形成具有重要影響力的元宇宙創新引領區。建成1個元宇宙核心園區、3-5個特色園區，培育10家具有核心競爭力的元宇宙骨干企業、200家細分領域“專精特新”企業、500家創新型中小企業。[2022/9/27 22:33:10]

StarkNet本身不支持EVM，但從Solidity到Cairo的轉譯器Warp將有助于以太坊原生項目移植到StarkNet，成為大規模應用的基礎設施。

1.5SHARP(sharedprover)共享證明器

SHARP技術允許來自StarkEx的不同應用以及StarkNet上發生的交易合并成一個證明，更快填滿STARK證明的容量，提高交易處理速度并且分擔驗證L1證明的gas成本。

02StarkNet經濟模型

StarkWare已經在鏈下鑄造了100億個StarkNet代幣。但是這些代幣并不代表StarkWare的股權，也不提供任何參與StarkWare的權利或賦予任何向StarkWare提出索賠的權利。

StarkNet代幣可以作為原生代幣支付Gas費用，相比其他使用ETH做給Gas費用的L2，StarkNet代幣更能捕獲生態價值，且降低了ETH這外生代幣帶來的沖擊。

分配給核心貢獻者和投資者的代幣有一年的等待期和四年的鎖定期，線性釋放。

StarkNet明確給開發者和過去StarkEx用戶獎勵，但未明確StarkNet用戶是否有空投。首次代幣分配中有8.1%的代幣還未決定用途，具體方式由社區決定。

韓國FIU將于8月30日進行對該國加密交易所運營商的首次制裁審議:8月25日消息，據外媒報道，韓國金融服務委員會下屬的金融情報部門（FIU）將成立針對加密交易所運營商的制裁審議委員會，并于8月30日進行對加密交易所運營商的首次制裁審議。這將是韓國當局自去年《特別金融法》施行并將加密交易所被涵蓋在FIU監管框架后的進行的首次全面檢查。

在此次制裁審議中，該監管機構將檢查加密交易所運營商是否違反《特別金融法》，若發現違法行為將實施罰款等。FIU在運營商不履行糾正命令或累計機構警告時，可以處以停止營業。

截至8月，他們完成了對Coinone、Gopax、Upbit的綜合檢查并出得出結果，8月30日制裁審議的對象是Coinone和Gopax，預計各交易所將在當天出席制裁審議，對指出的事項進行說明。 此外，FIU正計劃繼Coinone、Gopax和Upbit之后，對Bithumb展開全面檢查。

據悉，《特別金融法》明確規定，如果交易所在KYC認證和報告可疑交易等事項存在違規，將處以1億韓元以下的罰款。 但如果出現利用內幕交易或濫用職權等情況，可能會被判有期徒刑或停止營業。（News1）[2022/8/25 12:46:39]

因此筆者猜想這部分代幣有可能用于獎勵StarkNet用戶。此外,部署合約的項目方在獲得空投獎勵后，有可能會給應用的用戶分配空投，反饋早期支持者。因此，用戶可以根據需要正常使用StarkNet上有價值的應用。

03StarkNet融資情況

根據Crunchbase的數據，StarkNet在七輪融資中總共獲得2.825億美元。

2022年7月，AlamedaResearch追加950萬美元投資。但是AlamedaResearch已于2022年11月破產，這筆投資是否收到存疑。

以太坊基金會的撥款樹立了StarkWare的正統性。

隱私瀏覽器 Brave 將推出測試版索引功能 Goggles:6月23日消息，隱私瀏覽器 Brave 宣布將推出測試版索引功能 Goggles，其將支持任何人或任何社區創建規則集和過濾器以限制可搜索的空間和更改搜索結果的順序。Brave Search 表示任何人都可以選擇將 Goggle 應用到他們對結果的視圖中，Brave 不會操縱算法來影響、過濾或降級（除非法律強制要求這樣做）索引結果。[2022/6/23 1:25:33]

04創始人

EliBen-Sasson

Eli是StarkWare的聯合創始人兼總裁，也是其董事會主席。

自從2001年獲得希伯來大學理論計算機科學博士學位以來，他一直在研究密碼學和計算完整性的零知識證明。

Eli是STARK、FRI和Zerocash協議的共同發明人，也是Zcash公司的創始科學家。多年來，他在普林斯頓高等研究院、哈佛大學和麻省理工學院擔任研究職位。

最近曾在以色列理工學院擔任計算機科學教授，他離開該職位后和伙伴共同創立了StarkWare。

UriKolodny

Uri是StarkWare的聯合創始人兼首席執行官，也是其董事會成員。

他擁有希伯來大學計算機科學學士學位和麻省理工學院斯隆管理學院的MBA學位。Uri是一位連續創業者，曾共同創立了幾家科技公司，包括Mondria。

之前，Uri還曾在兩家以色列風險投資公司幫忙孵化項目，并在麥肯錫公司擔任分析師。

05競爭對手

StarkNet與zkSync、Optimism、Arbitrum因為其受到的關注度被稱為L2的四大天王。

數據來源：

1.https://dune.com/gm365/L22.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的一條可選發展路徑也可能會使競爭方式。

06總結

StarkNet采用了基于STARK的Rollup路線，雖然該方案相對于其他方案在去中心化、去信任、抗審查等方面有明顯的優勢，但是由于該方案的開發工具尚不成熟，研發難度也很大，性能還有待提升。

此外，雖然StarkNet已經得到了機構投資者的支持，但目前仍處于試用階段，尚未完全成熟。StarkNet下一階段的重點是將現在由Python開發的sequencer升級為由Rust進行開發，提高區塊鏈的性能。

此外是提高生態內項目的豐富度和成熟度。加密原生用戶可以去體驗生態內項目，但需注意項目的風險，選擇參與前需要進行充分的風險評估。

雖然StarkNet具有抗量子攻擊的特性，但是否會成為擴容的終局還有待觀察。因此，對于StarkNet的未來發展，我們需要持續關注和評估。

區塊鏈的安全性是整個生態系統的重中之重，底層基礎層的安全性絕不能被忽視、妥協、讓步、或折衷，否則整個生態系統與賬本將會失去用戶的信任。

因此，在基礎層的設計中，需要選擇最為安全的共識算法，即使它的能源消耗可能很高。這個問題可以通過采用類似在納斯達克上市的IrishEnergyLimited所倡導的可再生能源挖礦來解決。

相比之下，第二層的中心化程度可以更高，以實現更高的效率和靈活性。不管是底層還是上層，都需要遵循合理的設計原則，以確保整個生態系統的安全性和可靠性。

任何依賴于以太坊基礎層安全性的第二層或應用，都必須對基礎層的共識算法有充分的信心，確保其安全性不受損害。這可能是社區面臨的最大系統性風險。

Tags：ARKSTASTARSTARKSTARK價格Magic Shiba StarterStarkMeta

Uniswap