STARK:一探StarkWare生態：StarkEx和StarkNet的創新之旅_starl幣貼吧

原文來源：Yinan，PANews

背景

從2018年開始，StarkWare開創性地運用STARK有效性證明來解決以太坊的可擴展性問題。它推出了基于SaaS業務模型的StarkEx，創造了Cairo編程語言，并構建了Starknet，這是第一個允許編寫自定義邏輯的生產中的去中心化網絡。

StarkWare致力于在包括技術、數學、創新與產品交付的雙重關注；支持其他推動以太坊和/或STARK的團隊；以及努力使產品開源、去中心化并專注于將STARK作為公共產品。

未來，StarkWare將致力于讓Starknet成為一個由StarknetFoundation治理的無需許可的去中心化有效性rollup，并專注于去中心化Starknet的各個組成部分，例如Prover、Sequencer和治理。

STARK技術基于證明，具體來說是完整性證明。STARK利用數學來確保完整性，即使沒有人監視，也能確保計算正確進行。這種技術的概念始于LszlBabai、LanceFortnow、LeonidLevin和MarioSzegedy于1991年的一篇文章，其中介紹了使用單一可靠計算機監控一組不可靠超級計算機的概念。該技術被稱為「PCP」，通過數學監控和確保大型計算的完整性。

STARK技術是PCP技術的改進版本，可讓小用戶檢查并確保大公司、壟斷企業或政府的正確運作。區塊鏈恢復了貨幣交換的點對點特性，消除了對可信中介的需求。以太坊則將此概念推向更遠，允許創建構成社會經濟基礎的通用程序。

Starkware:

StarkWare是zkrollups賽道內最好的公司之一，由以色列理工學院的EliBen-Sasson教授聯合創立，它為區塊鏈行業提供基于STARK技術的解決方案。目前開發了兩款產品：StarkEx&StarkNet，均在下文中介紹。

Starkware?團隊?

EliBen-Sasson：Co-Founder&首席科學家，以色列理工學院計算機專業的教授。

Zcash的創始科學家，zkSNARKs的發明者。

AlessandroChiesa：Co-Founder&首席科學家，加州大學伯克利分校計算機專業的教授。

數據：某休眠11年BTC巨鯨移動了1037枚BTC:7月22日消息，據Lookonchain監測，某休眠11年BTC巨鯨移動了1037枚BTC到新地址。2012年4月11日，該地址收到了1037.42枚BTC（當時為 5107 美元），當時價格為4.92 美元。[2023/7/22 15:52:00]

Zcash的創始科學家，zk-SNARKs的聯合發明者，libsnark的核心開發者。

Kolodny：Co-Founder&CEO，Uri是一個商業經驗豐富、善于合作的連續創業者。

MichaelRiabzev：Co-Founder&首席架構師。以色利理工學院的博士，曾在Intel、IBM工作。OrenKatz：工程副總裁。Hebrew大學計算機專業畢業，TelAvivMBA，?20年經驗的資深工程師。

融資

目前公司已經估值80億美元，獲得了Vitalik、Paradigm、Sequioa等資本的傾力支持，是擴容領域估值最高的團隊。

StarkEx

一種基于以太坊區塊鏈的應用特定的Layer-2擴展引擎，旨在解決以太坊等Layer-1區塊鏈網絡的可擴展性問題。StarkEx通過使用一種名為STARK證明的先進密碼學系統，實現了快速、低成本的交易，同時不妥協安全性、隱私性和自我保管。

它提供了一系列用于實現便宜的鏈下計算的應用流程，將多筆交易打包在一個STARK證明中，然后在鏈上進行驗證，降低了每筆交易的平均燃料成本。StarkEx擴展引擎的工作原理，包括批處理、驗證和更新、生成證明以及鏈上驗證四個步驟。

StarkEx已經成功部署在多個應用中，如dYdX、Immutable、Sorare、DeversiFi和Celer。

和StarkNet的區別在于：

StarkEx和StarkNet是由StarkWare開發的兩個不同的技術，它們都使用STARK零知識證明技術，但有不同的目標和用途。

1.StarkEx：StarkEx是一個針對特定應用的Layer-2擴展引擎，主要關注優化以太坊區塊鏈上的單一應用程序的性能。它通過將多個交易批量處理并在鏈下進行驗證，實現了更快速、低成本的交易。主要用于去中心化交易所、NFT市場和游戲等。

廣州：深化數字人民幣試點、金融科技創新試點:金色財經報道，廣州市地方金融監管局局長邱億通1月30日在廣州市高質量發展大會金融分會場會議上表示，力爭2023年全市本外幣存貸款余額達到16萬億元。推進數字金融創新，深化數字人民幣試點、金融科技創新試點，建設廣東數字金融創新產業園。深化跨境金融創新，加強穗港澳金融市場互聯互通，拓展自由貿易賬戶體系功能，推進QDLP、QFLP試點，在跨境人民幣、離岸銀行業務上先行先試，提升飛機、船舶等融資租賃發展水平，加快建設粵港澳大灣區理財和資管中心。 (上證報)[2023/1/30 11:36:24]

2.通過使用STARK證明技術，StarkEx提供了安全、高效和低成本的交易體驗。StarkNet是一個無需許可的更為通用、完整的Layer-2解決方案，它為整個以太坊生態系統提供了一個去中心化的計算平臺，開發者可以在其中部署用Cairo語言編寫的智能合約。

StarkNet支持與其他合約進行交互，允許豐富的協議組合，并可通過異步消息傳遞與以太坊合約進行交互。目標是提供一個可擴展、低成本且安全的環境，以便開發者在其上構建和部署智能合約。與StarkEx不同，StarkNet可以看作是一個全面的Layer-2操作系統，允許開發者創建各種去中心化應用程序，而不僅僅是針對特定用途的解決方案。

總之，StarkEx是一個應用特定的Layer-2擴展引擎，主要關注特定應用程序的性能優化，而StarkNet是一個更為通用、全面的Layer-2解決方案，旨在為整個以太坊生態系統提供一個去中心化的計算平臺。

Starknet

Starknet是一個無需許可的去中心化有效性折疊網絡。它作為以太坊上的L2網絡運行，使任何dApp都能在不影響以太坊可組合性和安全性的前提下實現無限擴展計算，這要歸功于Starknet依賴于最安全且最具可擴展性的加密證明系統STARK。

Starknet合約和Starknet操作系統使用Cairo編寫-支持部署和擴展任何用例，無論業務邏輯如何。Starknet作為一種去中心化的二層網絡解決方案，旨在為去中心化應用提供更高的擴展性和性能。通過在以太坊上運行，它可以利用現有的基礎設施和安全性，同時提供更高的計算能力。

Cairo是一種專為Starknet設計的編程語言，它旨在簡化智能合約的開發和部署。通過使用Cairo，開發人員可以輕松地為各種用例構建高度可擴展的應用程序，包括金融、游戲、供應鏈等。

12家加密公司已向葡萄牙央行提交許可證申請，最終決定擬于年底前公布:8月7日消息，據Dinheiro Vivo報道，目前有12家數字資產經紀公司正在等待葡萄牙央行（BdP）的許可，以便在葡萄牙開展業務。

BdP的最終決定將在今年年底前公布，除非該監管機構要求這些公司提供額外數據，這將把決定時間截止日期延長到2023年。

目前，葡萄牙有五家加密貨幣經紀商在運營，分別是：Criptoloja、Mind The Coin、Digital Luso、Utrust、Bison Digital Assets。如果BdP接受所有仍在審查中的請求，葡萄牙加密貨幣交易所的數量將從5家增加到17家。

幣安也是提交申請的公司之一，該交易所在7月份制定了許可證申請。雖然還在等待最終決定，但幣安已經開始在葡萄牙招聘，有6個職位空缺，并在其平臺上發布了招聘廣告。（The Portugal News）[2022/8/7 12:07:39]

Starknet是一個validityrollup，這意味著每個塊內的執行都需要被證明，這就是STARKs派上用場的地方然而，STARK證明可以解決以多項式約束語言制定的陳述，并且不了解智能合約的執行。為了克服這個差距，所以開發了Cairo。

總的來說，Starknet是一個充滿潛力的二層網絡解決方案，它可以使現有的dApp在擴展性和性能方面邁出重要一步。通過采用STARK加密證明系統和Cairo編程語言，Starknet為開發者提供了一個強大且靈活的平臺，以滿足各種業務需求。

版本更新

接下來會發生什么？StarknetAlphav?0.11.0?：開始向Cairo1.0過渡

-對Cairo1.0的進一步語言改進

-性能改進：正如承諾的那樣，Starknet繼續朝著顯著提高TPS的方向前進。路線圖中的下一步是過渡到Rust序列器，它是在Apache2.0許可下公開開發的。新的音序器將使用RustCairoVM和Papyrus全節點形成PerformanceTrio。

-鏈下?DA

在這個版本中，Starknet處理了交易成本的計算部分。在即將推出的版本中，將處理鏈上數據成本，這是當今平均交易的主要成本。

這里對Starknet的音序器進一步說明：

Aave V3將在Optimism上支持sUSD作為抵押品:金色財經消息，合成資產協議Synthetix在Twitter上表示，Aave V3將在Optimism上支持使用sUSD作為抵押品進行借貸。[2022/7/28 2:42:44]

音序器是指StarkNetSequencer，它是StarkNet的一部分，旨在通過切換到Rust排序器、使用RustCairoVM和Papyrus全節點來顯著增加吞吐量，從而形成「性能三人組」。

「性能三人組」是指StarkNetSequencer的三個組成部分：Rust排序器、RustCairoVM和Papyrus全節點。其中，Rust排序器是StarkNetSequencer的核心，它負責處理交易并生成區塊。RustCairoVM是一個虛擬機，它可以在StarkNet上運行智能合約。Papyrus全節點是StarkNet網絡中的一個節點，它存儲了StarkNet上的所有數據，并且可以處理交易。這三個部分共同工作，可以顯著提高StarkNet的吞吐量。

Starknetv?0.11.0?

一旦Goerli測試期結束，Starknetv?0.11.0將在主網上發布。

Starknetv?0.10.3?

性能——將狀態承諾計算與交易執行分開添加starknet-class-hash命令來計算已編譯Starknet合約的類哈希

Starknetv?0.10.2?

這個版本引入了音序器并行化！一個新端點estimate_fee_bulk被添加到饋線網關。這將允許同時估算幾筆交易的費用，其中每筆交易都是相對于應用前一筆交易的結果狀態執行的。

Starknetv?0.10.1?

添加DeployAccount交易。要使用它，你應該首先向你的賬戶地址添加足夠的資金來支付交易費用，然后你可以調用DeployAccount將starknetdeploy_accountCLI命令拆分為starknetnew_account和starknetdeploy_account預計以這種方式部署的賬戶合約應該實現validate_deployDeployAccount()入口點，它應該檢查交易的簽名改進L1費用計算：根據存儲狀態的差異計算費用API：entry_point_type從交易信息中刪除字段

Web3音樂初創公司SpiderVille完成100 萬美元的種子輪融資:金色財經報道，Web3 音樂初創公司SpiderVille完成100 萬美元的種子輪融資，Contents Technologies、?Samsung Next和其他天使投資者領投。這筆資金將用于為 Web3 藝術家和音樂行業開發完善的基礎設施，提高知名度，并為可擴展性做好準備。[2022/7/26 2:37:10]

Starknetv?0.10.0?

此版本介紹了Starknet帳戶抽象設計的下一步，特別是驗證/執行分離。

Starknetv?0.9.1?

API變化星網CLI

Starknetv?0.9.0?

該版本將合約類/實例范式引入Starknet

關于賬戶

以太坊賬戶結構

在以太坊中，單個用戶賬戶被稱為外部擁有的賬戶。

EOAs與智能合約不同，因為它們不受代碼控制。EOA是由一對私鑰和公鑰確定的。

賬戶的地址是根據這些密鑰派生的，只有擁有私鑰才能從賬戶發起交易。雖然以太坊合約是「被動」的，即它們只能在交易中被調用時發生變化，但EOAs可以發起交易。

盡管簡單，但EOAs有一個主要缺點，即賬戶行為沒有靈活性，以太坊協議規定了EOA發起的交易何時有效。特別是，對公鑰的控制給了對賬戶的完全控制。盡管從理論上講，這是一種安全的賬戶管理方法，但在實踐中，它存在一些缺點，例如要求您保護種子短語的安全，同時使其對您可訪問，并且錢包功能的靈活性有限。

EIP-4337是一個針對以太坊的設計提案，概述了通過以太坊網絡上的專用智能合約管理所有賬戶的賬戶抽象化，以提高靈活性和可用性。您可以在基本EOA功能的基礎上添加自定義邏輯，從而將賬戶抽象化引入以太坊。

賬戶抽象化是什么？

賬戶抽象化背后的想法是允許在賬戶管理方面更具靈活性，而不是讓它們的行為在協議層面上確定。這可以通過引入賬戶合約來實現-具有可編程邏輯的智能合約，決定用戶的賬戶行為。

通過使用賬戶抽象化，您現在可以對您的賬戶功能進行編程。

例如，你可以：

確定有效簽名的含義，或者您的賬戶允許與哪些合約互動。這被稱為「簽名抽象化」用不同的代幣支付交易費用-這有時被稱為「費用抽象化」設計自己的重放保護機制，并允許并行發送多個不相關的交易。將其與以太坊中使用的順序nonce解決方案進行比較，該解決方案導致交易本質上是順序的，即使你想并行發送兩個交易，也必須等待第一個交易的一些確認，然后再發送第二個交易。否則，由于無效的nonce，第二筆交易可能會被拒絕。使用賬戶抽象化，可以討論繞過順序nonce需求的不同解決方案。這被稱為「nonce抽象化」。

如今，Starknet提供了簽名抽象化。將來，Starknet將豐富當前的賬戶抽象化設計。

使用賬戶抽象化自定義賬戶功能的兩個示例

社交恢復這是一個過程，當您丟失錢包時，可以通過所選社交網絡檢索它，大大改善了錢包恢復的典型體驗。通過面部識別操作您的賬戶借助簽名抽象化，您可以使用手機的原生硬件對交易進行簽名，從而實際上不可能接管另一個用戶的賬戶。

這些示例展示了如何利用賬戶抽象化為用戶提供更靈活、安全和高度定制的錢包和賬戶管理體驗。通過編寫自定義邏輯，用戶可以根據其需求和偏好定制賬戶功能，從而在提高安全性的同時，也提高了易用性。

Starknet賬戶合約必須包括以下兩個函數

validate

execute

這些函數具有不同的目的，以確保只有賬戶所有者才能發起交易，并且可以為你使用的資源收費。

Starknet的賬戶類型受到以太坊EIP-4337的啟發，其中，你現在使用具有任意驗證邏輯的智能合約賬戶，而不是EOA。

通過使用智能合約，在賬戶實現中獲得了完全的靈活性。

雖然在協議級別上不是強制性的，但社區開發了一個更豐富的標準賬戶接口。這個標準是由OpenZeppelin開發的，與錢包團隊和其他核心Starknet開發人員緊密合作。

代幣經濟學：

代幣的作用

交易費用：

目前，StarkNet中的費用以以太幣(ETH)支付。但稍后，我們預計費用將完全使用原生StarkNet代幣支付。為了支持良好的用戶體驗，自動化和去中心化的鏈上機制將允許用戶以ETH支付費用。

質押：

某些對StarkNet的活躍性和安全性至關重要的服務可能需要質押StarkNet代幣。這些服務可能包括排序、在達到L1最終結果之前達成臨時L2共識、STARK證明服務和數據可用性供應。

治理：

改進StarkNet的提案將需要一個最小的令牌支持閾值，稍后定義。對StarkNet的活躍性、安全性和維護至關重要的協議的所有更改都需要直接或通過委托進行投票。例如，StarkNet操作系統的所有重大更新都需要代幣持有者的批準。

總量：?100億、代幣初始分配：代幣經濟學

17%?—StarkWare投資者

32.9%?—核心貢獻者：StarkWare及其員工和顧問，以及StarkNet軟件開發合作伙伴

StarkWare授予基金會的50.1%?，用途如下：

9%?—社區補給：用于獎勵為StarkNet工作并為其底層技術提供支持的人員，例如過去使用StarkExL2系統的人員。重要的是，所有社區補給都將基于過去已完成的可驗證工作。例如，對于過去的StarkEx用戶，分配將根據2022年6月1日之前發生的可驗證StarkEx技術使用情況來確定。

9%?—社區返利：部分用于支付從以太坊轉移到StarkNet的成本。為防止游戲化，社區返利僅適用于在返利機制公布后發生的交易。

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

10%?—-戰略儲備，用于資助與基金會使命一致的生態系統活動。

2%?—捐贈給受到高度尊重的機構和組織，例如大學、非政府組織等，由StarkNet代幣持有者和基金會共同決定。

8.1%?—未分配：基金會的未分配財務儲備將用于進一步支持StarkNet社區，具體支持方式由社區決定。

為了使核心貢獻者和投資者的長期激勵與StarkNet社區的利益保持一致，并遵循去中心化生態系統的慣例，分配給核心貢獻者和投資者的所有代幣將受到4年的鎖定期，與線性釋放和一年懸崖。

如果你是一名終端用戶，只有在StarkNet滿足您當前需求時才使用它。將其用于您看重的交易和應用，而不是期望未來獲得StarkNet代幣的回報。當社區補給宣布時，它們將僅涉及在公告日期之前發生的快照，并根據當時可用的信息，過濾和排除被認為是濫用和操縱網絡的使用情況。當社區返利制度建立時，它們永遠不會適用于在返利公布之前發生的交易，因此期望未來返利而在今天進行交易是徒勞的。

基于上面代幣經濟學的總結分析：

第一個9%的社區供應部分是可能空投給用戶的，也就是說用戶在這4.5億中和為Starknet工作及提供技術支持和開發的人一起去劃分。

第二個9%的社區回扣，用于后續返利規則公布后的手續費補貼，公布規則前刷手續費是沒用的。

第三個10%的戰略儲備，是用于鏈上生態應用，分配給生態上的應用協議。

商業模式出售定制化技術引擎服務StarkEx，直接向有擴容需求的客戶收取服務費，本質上是定制化的2B服務。打造去中心化的Layer?2網絡StarkNet，支持dApp自主部署，可以向用戶收取Layer?2的交易費用，也可以通過sequencer的拍賣機制獲取MEV的價值，還可以在未來發token，用技術和資金孵化StarkNet項目，通過tokenomics驅動生態發展。

總結：

StarkWare是zkrollups賽道內最好的公司之一，產品有StarkEX和StarkNet。

StarkEx是一款Layer?2擴展引擎，為dApp提供技術服務。

StarkNet是一個無需許可的更為通用、完整的Layer-2解決方案。

團隊成員有80多個，而且核心成員比較矚目，EliBen-Sasson是Zcash的創始科學家，zkSNARKs的發明者，在ZK-Rollup領域有非常深的研究及影響力，且目前估值達到80億，像paradigm、Pantera、polychain和V神等頂級VC和個人均是StarkWare的資方。

在生態應用上面，因為采用的是Cairo語言，所以并不兼容EVM，所以在生態發展上進度會比較慢，目前開始向Cairo1.0過渡，朝著一個更高的TPS發展，就算這樣，但是目前的應用體驗并不是十分流暢，技術還有現實之間還是存在差距，期望以后看到Starknet更好的發展。

Tags：ARKSTARKSTASTARMango Marketsstarknet幣價分析starl幣貼吧Ystar

以太坊交易所