ARK:一探StarkWare生態：StarkEx和StarkNet的創新之旅_etherark

原文來源：Yinan，PANews

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

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

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

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

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

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

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

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

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

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

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

世界人工智能大會法治論壇舉行，聚焦生成式人工智能治理、元宇宙規制等熱點:金色財經報道，昨天，2023世界人工智能大會法治論壇舉行。本次論壇主題為《數字治理：生成式人工智能之法律回應》。論壇發布了《世界人工智能法治藍皮書（2023）》《人工智能法治發展指數4.0》《中國人工智能法治發展評估報告（2022）》。藍皮書聚焦世界人工智能法治發展最新動態，搜集匯總各國有關人工智能法治發展的戰略、政策、法律、理論研究、重大項目應用、典型司法案例等方面的最新資料，尤其是以ChatGPT為代表的最前沿的生成式人工智能治理、元宇宙規制等熱點問題，通過分析、評估，形成了較為客觀、公正、準確、全面的分析報告。[2023/7/8 22:25:43]

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

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

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

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

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

和 StarkNet 的區別在于：

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

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

Bitfinex上線Pepe（PEPE），將于5月24日開放交易:據官方公告，Bitfinex宣布上線以太坊鏈上ERC-20代幣Pepe（PEPE）。Bitfinex于UTC時間5月22日10點左右（北京時間18點）開放PEPE充值。PEPE交易將于UTC時間5月24日10點左右開放，提供USD、USDT交易對。[2023/5/23 15:20:29]

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

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

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

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

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

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

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

英媒：瑞銀集團正洽談收購瑞信銀行:金色財經報道，據英國媒體當地時間17日消息，瑞士另一家大銀行瑞銀集團正在就全面或部分收購瑞信銀行進行商討。報道援引多名消息人士的話稱，收購計劃得到了瑞士銀行監管機構的鼓勵。兩家銀行的董事會將于本周末進行會談，討論相關事宜。對于這則報道，兩家銀行尚未發表評論。[2023/3/18 13:12:23]

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

接下來會發生什么？Starknet Alpha v 0.11.0 ：開始向 Cairo 1.0 過渡

-對 Cairo 1.0 的進一步語言改進

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

-鏈下 DA

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

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

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

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

Starknet v 0.11.0 （目前僅在 Goerli 測試網上）

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

鮑威爾：通脹回落過程將是坎坷的，將需要進一步加息:金色財經報道，美聯儲主席鮑威爾表示，上周聯邦公開市場委員會給出的信息是，通脹回落進程已經開始，但還有很長的路要走。通脹回落過程需要相當長的時間。通脹回落過程將是坎坷的，將需要進一步加息。[2023/2/8 11:53:32]

Starknet v 0.10.3 （22 月 12 日、 12 月 12 日）

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

Starknet v 0.10.2 （22 年 11 月 29 日）

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

Starknet v 0.10.1 （22 年 10 月 25 日）

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

Starknet v 0.10.0 （22 年 9 月 5 日）

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

Starknet v 0.9.1 （22 年 7 月 20 日）

API 變化星網 CLI

Starknet v 0.9.0 （22 年 6 月 6 日）

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

以太坊賬戶結構

在以太坊中，單個用戶賬戶被稱為外部擁有的賬戶（Externally Owned Accounts，EOAs）。

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

DeFi協議Backd更名為Mero，已計劃部署治理代幣MERO:7月26日消息，DeFi協議Backd宣布更名為Mero并表示，此前取名為Backd是由于協議旨在提高借貸協議資本效率，而目前該協議已成為通過多種方式提高流動性效率并為用戶賺取更高收益的協議。

Mero表示，已準備好取消資金存入上限，并將在推出首個Action后部署治理代幣MERO。金色財經此前報道，Backd于6月宣布完成Advanced Blockchain AG領投的356萬美元融資。（medium）[2022/7/26 2:38:28]

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

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

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

賬戶抽象化是什么？

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

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

例如，你可以：

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

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

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

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

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

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

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 工作并為其底層技術提供支持的人員，例如過去使用 StarkEx L2 系統的人員。重要的是，所有社區補給都將基于過去已完成的可驗證工作。例如，對于過去的 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 是 zk rollups 賽道內最好的公司之一，產品有 StarkEX 和 StarkNet。

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

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

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

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

PANews

媒體專欄

閱讀更多

金色薦讀

金色財經 善歐巴

Chainlink預言機

白話區塊鏈

金色早8點

Odaily星球日報

歐科云鏈

深潮TechFlow

MarsBit

Arcane Labs

Tags：ARKSTARSTARKSTAetherarkstart幣怎么樣STARK價格STARP

芝麻開門交易所下載