Rollup之爭：Starkware概覽_ARK:StarkNet

在目前，以太坊的發展趨勢正越來越傾向于模塊化區塊鏈。

在模塊化區塊鏈的架構下，以太坊上的交易計算和執行不再由主網來操作，這部分工作轉移到鏈下的Layer2上來完成，這種方案減輕了主網的負擔，大大擴展了以太坊的性能。

未來以太坊主網只承擔完成共識和數據可用性的工作，而承擔了所有計算執行的Layer2將變為一個類似云計算服務商的角色，正如現在的亞馬遜云和阿里云等。

Rollup

在layer2的擴容方案中，被認為最有前景的就是Rollup。

Rollup在以太坊鏈下完成交易的驗證和計算，并把它們打包壓縮后連同交易更新后新的狀態根傳回主網，從而減少對主網空間的占用。

Rollup中又有兩種實現方案，分別是OptimisticRollup和zk-Rollup。其中：

OptimisticRollup采用欺詐證明，首先假設上傳到主鏈所有交易都是合法的，并設置挑戰期，允許驗證者提出證明來挑戰有問題的交易，一旦證實有欺詐行為發生，就對欺詐者進行懲罰，對挑戰者進行獎勵。

StarkEx服務把這些交易打包執行后把包裹發送給SHARP，這個過程中的執行是由Cairo語言編寫的程序完成的，值得一提的是，StarkWare通過Cairo這一圖靈完備的語言，將所有智能合約的計算結果轉化成了可證明的多項式方程，由此讓智能合約與有效性證明兼容；

SHARP是一個基于Stark的證明系統，由它來生成能證明這個批次交易有效性的證明；

SHARP把Stark證明發給部署在?Layer1上的Verifier，由Verifier來完成驗證；

Rollup Finance宣布V1版本在zkSync Era主網發布:4月22日消息，Rollup Finance宣布V1版本部署至zkSync Era主網，并開啟社區OG角色獲取活動。

據介紹，Rollup.finance是由社區驅動的去中心化永續合約協議，現版本主要功能包括Trade、Swap和Stake。根據其路線圖顯示，Rollup Finance將在2023年第二季度上線V2版，并集成RLP指數合約、RUSD本位合約、幣本位合約和票據質押市場功能。[2023/4/22 14:20:29]

StarkExService會發送一個鏈上狀態更新交易給Layer1上部署的StarkNet智能合約，這個智能合約只會在Verifier完成了證明之后才會接受這個新的狀態變更。

產品

Starkware目前有兩款產品，分別是：

為應用提供定制化的ToB服務，運行在StarkEx上的應用可以自定義他們的業務邏輯。StarkEx服務于Defi和游戲等應用，能加快交易速度，降低交易費用，還可以通過ZK-Rollup或Validium兩種方案來實現數據可用性。

StarkNet是一個無需許可的去中心化、抗審查的通用layer2網絡，任何用戶和開發者都可以在上面部署使用Cario語言編寫的智能合約。

這兩種產品分別對應了兩種不同的商業模式，前者為應用提供定制化服務并出售，而后者則提供無許可的通用服務然后收取網絡上的交易費或者作為節點在交易費用優先的原則下抽取MEV。

StarkWare聯合創始人EliSabasson曾做過一個比喻，將StarkEx和StarkNet的分別比作為計算機和云，購買StarkEx就像擁有自己的定制化計算機，每個客戶都擁有自己的擴容計算機。而StarkNet提供的是網絡，是通用服務，所有人都可以支付費用并使用。

以太坊擴容項目Scroll將于1月9日執行Pre-Alpha網絡重置:1月3日消息，以太坊擴容項目Scroll表示將于1月9日執行Pre-Alpha網絡重置，提高Pre-Alpha測試網吞吐量。網絡重置完成后，Scroll建議用戶重置并從錢包中刪除所有Scroll網絡，然后再重新添加。[2023/1/3 22:22:55]

StarkNet的工作過程如下圖所示。它與StarkEx的最大區別是在StarkNet中由?Sequencer取代了?StarkExService來承擔驗證交易有效性、打包交易、調用Cairo程序執行的工作，而SHARP?所承擔的生成證明的工作，在StarkNet中由Prover負責。目前，Sequencer和Prover都由StarkWare官方團隊來指定，這就帶來了中心化的質疑。

Roadmap

StarkNet曾經在他們的博客中發布過一張路線圖，并表示他們會逐步實現去中心化。

在設想中，團隊建設StarkNet的過程包括了四個階段，分別是：

Step0--基礎建設

Step1--Planets：單一操作者、單一app的rollup

Step2--Constellations：單一操作者、多個app的rollup

Step3--Universe：去中心化的操作者、多個app的rollup

在Step1中，一個StarkNet實例上只運行一個應用，開發者關注于如何在StarkNet這個擴容網絡上實現自己的業務邏輯。

ZK Rollup擴容方案StarkNet Alpha上線以太坊主網:11月29日消息，StarkWare推出的以太坊Rollup擴容方案StarkNet Alpha今日上線以太坊主網。StarkNet是一個無需許可的以太坊L2網絡去中心化Rollup擴容方案。StarkNet允許任何dApp實現其計算規模，而不會影響可組合性和安全性，它依賴于安全和具可擴展性的加密證明系統——STARK。StarkNet建立在Cairo編程語言之上，Cairo和STARK均由 StarkWare內部開發，并為生產級應用程序提供支持。除其他功能外，StarkNet Alpha支持通用計算智能合約，支持與其他StarkNet合約以及通過 L1<>L2 消息與L1合約的可組合性。StarkNet Alpha在Rollup模式下運行，所有狀態差異數據都在鏈上發送。

StarkNet Alpha上線以太坊主網意味著開發者可以在StarkNet上部署他們的合約，用戶可以向這些合約發送交易，每個StarkNet區塊都在鏈上被證明和驗證，應用程序獲得無限擴展并保持L1安全性。這是一個Alpha版本，該網絡仍在開發中。團隊不斷添加功能、修復錯誤并對其進行改進。在接下來的幾周和幾個月內，團隊將在以下功能上升級Alpha：合約升級機制；收費機制；添加系統調用（get_block_number、get_block_timestamp 等）。[2021/11/30 12:39:57]

下一步將支持在同一個StarkNet實例上運行多個應用，并且這些應用將可以共享同一個全局Layer2狀態。這將實現不同應用程序之間的互操作性，以及由于規模經濟的提高而降低的gas成本。在這個階段，StarkNet將成為一個功能齊全的框架，在以太坊之上運行具有任意業務邏輯的多個應用程序，每個實例由單個操作者運行。從用戶的角度來看，StarkNet用起來和以太坊很像，只是可擴展性更好。

觀點：“以 rollup 為中心” 的擴容方案并沒有讓以太坊偏離方向:據EthFans社區10月15日消息，針對此前V神更新以太坊路線圖稱，將以rollup構建為中心，以太坊lightclient近期發博客文章表示，“以 rollup 為中心” 的擴容方案并沒有讓我們偏離方向，而是一個超集。我們在分片設計中遇到的問題與我們在整合跨rollup通信時遇到的問題是同構的。這就意味著，已經開展的大部分工作都可以繼續進行，不會被中斷。與此同時，以rollup為中心的路線圖會降低分片執行所必需的協議復雜性。這使得我們能夠不斷迭代類似分片的復雜的rollup機制。這樣可以讓更多開發者為不同的rollup格式做貢獻，讓現有核心開發者和研究者可以專注于構建一個健壯的數據可用性層。[2020/10/15]

最后一個階段是StarkNet對操作者進行去中心化的階段。在這個階段中，團隊主要做兩件事：使用rollup來實現更好的共識機制以及利用經濟模型來對貢獻者和操作者進行激勵，吸引更多參與者來實現網絡的去中心化。

Cairo語言

Cairo是Starkware用來為一般計算生成STARK證明的圖靈完備的編程語言。應用開發者可以用Cairo定義任何的業務邏輯并完成鏈下證明和鏈上驗證，而無需手動生成復雜的電路或AIR。

通過Cario編程語言，任何計算命題都可以進行快速、安全的編碼證明。一個由Cario寫成的應用程序可以證明其對應的執行邏輯，而一個Cario應用程序也可以集成多個Cario應用程序，形成SHARP。

SHARP可以聚合幾個獨立的Cario應用程序的交易，并在同一個STARK證明中使用。使用STARK證明，提出證明所需的時間與執行語句所需的時間大致呈線性關系。驗證證明所需的時間與提出證明的時間則是對數關系。

由于驗證時間遠小于證明時間，就可以實現遞歸驗證：一個Cairo程序可以驗證多筆交易的正確性，同樣也可以編寫一個Cairo程序來驗證多個Stark證明。由于只需要對數時間來實現驗證，這樣的遞歸驗證可以極大程度地減少驗證時間。

2014年諾獎得主Tirole：政府制約比特幣的原因之一是只給私人帶來收益:5月20日大灣區經濟與發展論壇上，2014年諾獎得主Jeae Tirole表示，比特幣和區塊鏈是不同的，區塊鏈是一個創新型的科技，應用面非常廣泛，比如智能合同、記錄和轉移資產、公司投票等；而比特幣是沒有價值的，同時伴之而來的泡沫還會帶來很大風險。Tirole認為，比特幣的社會價值不同于自認價值，當央行發行貨幣的時候，不管日元、歐元還是人民幣，都會獲得一些制幣收益，這對公共財產來說是有好處的。因此，從政府的角度出發，之所以會限制比特幣的發展與應用，不僅因為它被用于洗錢、避稅和一些非法活動，更應為它沒有給政府帶來收益，而這些收益全部到了私人手中。[2018/5/21]

Starkware團隊推出了Cairo的通用證明服務(GenericProofService，GPS)，開發者可以使用這項服務用Cairo語言構建自己的應用。他們可以把自己包含業務邏輯的Cairo代碼發送給GPS來證明，并在鏈上驗證它們。

由于GPS支持使用一個證明來斷言不同多個應用程序執行的完整性，從而使這些應用程序能夠分攤證明驗證的gas費用。

團隊和融資

Starkware的團隊來自以色列，主要成員是有自希伯來大學和以色列理工背景的計算機科學及密碼學開發者，可以說是零知識證明領域實力最強的團隊。

從Starkware的官網上可以看到，這個團隊目前有成員77人，外加7名學科顧問和5名其他顧問。主要成員包括：

EliBen-Sasson：Co-Founder&首席科學家，希伯來大學理論計算機科學博士學位，長期從事<spandata-letter-spacing:0pt;vertical-align:baseline;">計算完整性、密碼學和零知識證明方面的研究。以色列理工學院計算機專業的教授。Zcash的創始科學家，zkSNARK、zkSTARK的發明者。

UriKolodny：Co-Founder&CEO，希伯來大學計算機科學學士，是一個商業經驗豐富、善于合作的連續創業者。

AlessandroChiesa：Co-Founder&首席科學家，加州大學伯克利分校計算機專業的教授。Zcash的創始科學家，zk-SNARKs的聯合發明者，簡潔零知識證明的領先開源庫libsnark的核心開發者。

MichaelRiabzev：Co-Founder&首席架構師。以色利理工學院的博士，曾在Intel、IBM工作。

OrenKatz：工程副總裁。希伯來大學計算機專業畢業，特拉維夫大學MBA，20年經驗的資深工程師。

在融資方面，StarkWare共披露了七輪融資，涉及投資45筆，對外披露融資額2.73億美元，2022年，D輪融資估值79億美元，投資人包括Paradigm，SequoiaCapital和PanteraCapital等機構以及Vitalik。

經濟模型

Starkware在今年七月中旬的博客中發布了他們的代幣經濟模型。原本計劃于9月發行其代幣，但是后又發布消息推遲發幣時間，截至本文發布的時間，仍然沒有官宣發幣。

StarkNet代幣將主要具有3個使用場景，分別是支付StarkNet網絡費用、質押以參與網絡共識、社區治理投票。

交易費用：目前，StarkNet中的費用以ETH支付。但接下來，該項目預計費用將僅使用原生StarkNet代幣支付。為了支持良好的用戶體驗，自動化和去中心化的鏈上機制將允許用戶以ETH支付費用。

質押：對StarkNet的活躍性和安全性至關重要的某些服務可能需要質押StarkNet代幣。這些服務可能包括排序、在達到L1最終性之前達成臨時L2共識、STARK證明服務和數據可用性供應。預計這些服務將在2023年實現去中心化。

治理：改進StarkNet的提案將需要一個最低的代幣持有閾值。對于對StarkNet的活躍性、安全性和維護至關重要的協議的所有更改，都需要直接或通過委托進行投票。例如，StarkNet操作系統的所有重大更新都需要獲得代幣持有者的批準。

StarkNet代幣初始發行量為100億枚，17%?分配給StarkWare投資者，32.9%分配給核心貢獻者，50.1%分配給基金會。同時，該代幣具有增發機制，新的鑄造代幣和交易費用的一部分將授予給核心基礎設施開發人員和智能合約開發人員。

分配給基金會的51%具體用途為：

9%?——生態開發者，使用者和社區。包括在6月1日前與StarkEx有過交互的部分用戶。

9%?——社區退款——StarkNet代幣的退款，以部分支付從以太坊加入StarkNet的成本。

12%?——資助用于開發、測試、部署和維護StarkNet協議的研究者和工作者。

10%——戰略儲備，用于資助符合基金會使命的生態系統活動。

2%?——捐贈給相關領域杰出的的機構和組織，如大學、非政府組織等，由StarkNet代幣持有者和基金會決定。

8.1%未分配——以進一步支持StarkNet社區，具體方式由社區決定。

考慮到去中心化生態系統的慣例分配和社區的長期利益，給投資者和核心貢獻者的49.9%將有4年的鎖定期，并且將會采用1年的Cliff和線性的方式釋放代幣。

從代幣分配可以看出，StarkNet代幣獎勵優先考慮核心基礎設施和dApp的開發人員，而較少傾向于普通用戶。

運營數據

StarkEx這個toB產品由于推出較早，且Scaleasaservice的模式相對成熟，已經積累了一些用戶，如dYdX，ImmutableX，rhino.fi，celer和Sorare。根據官網顯示的數據，StarkEx上累計的交易金額達到了7320億美元，目前的TVL是4.61億美元。

另一個產品StarkNet，根據www.starknet-ecosystem.com網站上的數據，目前生態中大約有100多個應用，其中數量最多的是Defi、NFT(24個）和基礎設施。

比較知名的項目中，AAVE和Maker?都將部署到StarkNet上，兩天前剛剛官宣了Aave與StarkWare的第一階段跨鏈合作已完成開發。該階段是Aavev2在以太坊上的aToken跨鏈至StarkNet的智能合約基礎設施，允許網絡用戶在StarkNet獲取跨鏈aToken。而早在6月份，Maker已經上線了DAI在主網和StarkNet之間的轉賬。

值得一提的是，此前在StarkEx中占據主要TVL的dYdX在6月出走，選擇了基于CosmosSDK的獨立區塊鏈來推出v4版本的產品。這次事件一定程度上影響了投資人對layer2和Starkware的信心。

從此次出走事件中也可以看出，真正擁有用戶和影響力的應用在選擇底層基礎設施上擁有更多的話語權和主動權，它們并不依賴于某個單一的底層鏈，可以主動選擇其他的底層公鏈，甚至自己搭建符合自己需求的應用鏈。

過去“胖協議瘦應用”的敘事或許會被重新定義。對于各種底層基礎設施的項目來說，如何抓住自己生態中的優質應用，做好留存，也成為了當前需要重新思考的問題，畢竟，要捕獲更多價值就要捕獲更多用戶，而真正與用戶交互的是應用而不是底層，用戶并不關心底層技術實現的原理，只會隨著應用遷移而遷移。

結語

擁有強大技術團隊的Starkware目前正按照他們的規劃逐步開發產品：10月26日，他們官宣了已使用STARK證明編程語言Cairo寫出編寫完成ZK-EVM。

同時他們也面臨著一些挑戰，比如zk-STARK目前技術難度比較高，開發速度慢，開發人員少，這給生態應用的發展和留存帶來了很多困難。dYdX的出走帶走了項目中多數的TVL，暴露出底層基礎設施對上層優質應用綁定能力不足的窘境，也讓人們看到了優質應用在挑選底層鏈時強勢的話語權。

但是由于技術的優越性，長期來說，我們仍然看好zk-rollup和STARK的發展。后期隨著代幣釋放帶來的激勵效果以及網絡逐漸轉向去中心化，Stakware仍將會是Rollup賽道最有力的競爭者之一。

Tags：ARKSTASTARSTARKDarkMagickStaFistar幣怎么樣StarkNet

AVAX