一探StarkWare生態：StarkEx和StarkNet的創新之旅_ARK

原文來源：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 是一個商業經驗豐富、善于合作的連續創業者。

前CFTC主席：穩定幣可以連接加密和現實金融世界:金色財經報道，美國商品期貨交易委員會(CFTC)前任主席Timothy Massad在接受CNBC采訪時強調了政府關注穩定幣生態系統的重要性。Massad在接受CNBC采訪時表示，他認為穩定幣是“加密世界和現實世界”之間的橋梁。

他“擔心”監管機構沒有妥善解決穩定幣的風險，而是因為認為穩定幣實際上不起作用而將其排除在討論之外。[2023/7/25 15:58:08]

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 市場和游戲等。

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

CleanSpark以930萬美元收購兩個比特幣礦場:金色財經報道，比特幣挖礦公司CleanSpark將以930萬美元收購位于喬治亞州道爾頓的兩個比特幣挖礦園區。

這兩個采礦設施將容納超過6000臺比特幣礦機，包括最新一代Antminer S19 XP和S19j Pro+設備。根據一份新聞稿，這些機器是CleanSpark今年早些時候訂購和支付的。此次收購是CleanSpark計劃的一部分，以實現到2023年底16EH/s的增長目標。[2023/6/21 21:52:35]

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。

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

Yuga Labs：Gucci KodaPendants銷售已結束:金色財經報道，Yuga Labs在其官推宣布奢侈品巨頭Gucci KodaPendants銷售已經結束，但元數據更新可能需要一些時間才能顯示出來。此外，根據加密社區流出的Etherscan數據截圖顯示，經過24小時的銷售，Gucci以1,358,550 APE的價格售出了Otherside Relics NFT系列中的3,019個KodaPendant，價值約合5,719,000美元。KodaPendant是Gucci系列Otherside Relics中的首個圣人遺物（relic），專供Vessel和Koda NFT持有者使用，旨在將數字世界和實體世界整合在一起，Yuga Labs提醒用戶關注垃圾郵件/網絡釣魚鏈接，除非確定是安全的，否則不要點擊鏈接。[2023/4/9 13:52:23]

接下來會發生什么？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 的吞吐量（每秒交易數量）。

FATF同意推動全球加密規范實施的行動計劃:金色財經報道，金融行動特別工作組（FATF）最近的全體會議結果顯示，該工作組已就一項行動計劃達成一致，以推動其加密貨幣全球標準的及時實施。在周五公布的全體會議上做出的決定指出，許多國家未能實施FATF規范，包括其有爭議的Travel Rule，該規則要求服務提供商收集和共享加密交易者的信息。全體會議因此就加強FATF虛擬資產和虛擬資產服務提供商標準實施的路線圖達成了一致，其中將包括對全球網絡當前實施水平的盤點。關于其調查結果的報告將于2024年上半年發布。[2023/2/24 12:27:45]

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

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

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 日）

Cardano基金會任命新任首席運營官與首席法務官:金色財經報道，Cardano基金會宣布任命前普華永道高管Andreas Pletscher為首席運營官(COO)，任命前瑞士監管機構人員Nicolas Jacquemart為首席法務官(CLO)。據悉，Andreas Pletscher曾在普華永道和IBM擔任技術總監，在國際金融服務行業擁有超過25年的經驗。Nicolas Jacquemart之前在瑞士金融市場監管機構FINMA的金融科技部門工作。

此前，他曾在瑞士知名律師事務所任職。他擁有蘇黎世大學法學博士學位，研究區塊鏈技術與金融市場監管的交叉領域。[2023/2/16 12:10:52]

API 變化星網 CLI

Starknet v 0.9.0 （22 年 6 月 6 日）

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

以太坊賬戶結構

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

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

賬戶的地址是根據這些密鑰派生的，只有擁有私鑰才能從賬戶發起交易。雖然以太坊合約是「被動」的，即它們只能在交易中被調用時發生變化，但 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：ARKSTASTARSTARKMARK幣Ethereum Stakestart幣最新消息starknet幣價分析

中幣