STAR:金色觀察｜讀懂StarkNet、Layer3及須關注的StarkNet上的項目_Yearn Shark Finance

本文對StarkNet生態做了完整分析，首先將介紹理解所討論主題的所有基本概念。任何對加密貨幣和區塊鏈技術感興趣的人都必須吸收這些知識。

第二部分，將介紹StarkWare開發的解決方案StarkNet/StarkEx，StarkNet:Cairo的智能合約語言及其與Solidity相比的特殊性，以及一些非典型和創新的微妙之處。

最后將分享一小部分正在構建的項目，這些項目將會在生態系統爆發中發揮重要作用。

詞匯表

ZKP=零知識證明

ZKSTARK=零知識可擴展透明知識論證

Rollup=來自ETH智能合約交易的鏈下聚合

ZK-Rollup=使用ZKP進行Rollup

Scalabilité

SHARP=共享證明者

ZeroKnowledge、ZKSTARK和Rollup

零知識證明

雖然區塊鏈為我們帶來了透明度、不變性和去中心化等巨大好處，但隱私的概念卻很少被討論。這就是零知識證明(?ZKP?)的用武之地：可組合性、隱私性和不變性的組合。

ZKP是一種加密方案，通過該方案，一方可以向另一方證明特定信息的真實性，而無需透露任何額外信息。

在一個具體的例子中，VER想要從金庫中收集獎勵。在ZK中：

PR秘密生成密鑰(K)

VER驗證密鑰，允許獲得獎勵

ZKP被驗證證實

同樣的，ZKP也可以解決：

PR生成密鑰(K)并秘密地從保險庫中檢索獎勵

VER驗證獎勵對應于僅在同一保險庫中可用的獎勵

金色晚報｜7月21日晚間重要動態一覽:12:00-21:00關鍵詞：北京、牙買加央行、Filecoin、波卡、福州、LINK

1. 北京股權交易中心獲得首批開展區塊鏈試點建設資格。

2. 牙買加央行邀請科技公司測試數字貨幣解決方案。

3. Filecoin針對獎勵測試網部署的開發網Calibration正式啟動。

4. 波卡已移除sudo 正式進入第四階段。

5. 福州正積極爭取第二批數字貨幣試點。

6. CoinMarketCap將LINK列入DeFi代幣細類。

7. Capriole Investments創始人：特朗普贏得大選將利好比特幣。

8. 菲律賓財政部推出區塊鏈應用程序分發政府債券。[2020/7/21]

ZKP被驗證證實

總之，VER驗證者將不知道除布爾語句之外的任何信息。其他方的信息和個人數據的詳細信息保持匿名。

如你所見，ZKP允許隱私。但是這種方法的有趣之處在于它非常簡單、安全并具有令人難以置信的可擴展性，許多區塊鏈應用程序都選擇它來實現這些優點。

Rollup和Zk-Rollup

以太坊Rollup是以太坊智能合約中交易的鏈下聚合，通過將吞吐量從當前的15tps提高到超過1000tps來減少費用和擁塞。

ZK-Rollups是正在開發的用于構建2層的選項之一，通過在單個交易中處理大量轉賬來提高可擴展性。Plasma每次轉賬創建一個交易，ZK-Rollups將數百個轉賬聚合成一個交易。智能合約將解構并驗證單筆交易中的所有轉賬：另一個可擴展性證明。

ZKP方法用于公開展示和記錄以太坊區塊鏈上區塊的有效性。ZK通過減少交易中持有的數據量來減少驗證區塊的計算和存儲資源；不需要數據集的知識。

金色晨訊 | 4月20日隔夜重要動態一覽:21:00-7:00關鍵詞：網絡安全、區塊鏈服務網絡、數字代幣稅收指南

1.人民日報：強化區塊鏈等技術攻關促進新興產業培育。

2.中國證券報：數字貨幣推出利于貨幣政策工具創新。

3.區塊鏈服務網絡：預計7月底支持EOS輕節點一鍵式部署。

4.英國商業法庭將比特幣定義為一種資產。

5.新加坡稅務部門更新數字代幣稅收指南。

6.暗網盜賣金融信息 銀行賬戶安全面臨新挑戰。

7.Real Vision創始人：所有中央銀行都將擁有數字貨幣。

8.內蒙古自治區赤峰市司法局召開區塊鏈技術應用專題會議。

9.萊特幣基金會成員：區塊獎勵在BTC目前價格減半 礦工或將難以適應。[2020/4/20]

ZKSNARK—ZKSTARK

下面將介紹本文的一個關鍵概念：ZKSNARK和ZKSTARK，它們實際上是兩種不同類型的零知識證明。

ZK-Rollup方案由兩種類型的用戶組成：中繼者和交易者。

1、交易者創建他們的轉賬并通過網絡廣播轉賬。智能合約將數據存儲在兩個Merkle樹中：

一個默克爾樹中的地址

另一個默克爾樹中的轉賬的金額。

2、中繼者收集大量轉賬以創建聚合。生成SNARK證明是中繼者的工作：ZKSNARK。

SNARK證明是代表區塊鏈狀態改變的哈希值。SNARK證明將轉賬前的區塊鏈快照與轉移后的區塊鏈快照進行比較，并僅向主網絡報告可證明哈希的變化。

在ZK-STARK之前，ZK-SNARK用于創建ZK證明系統，但需要一個或多個受信任方來初始配置ZK證明系統，這引入了這些受信任方的漏洞，從而危及整個系統的機密性。ZK-STARK通過消除對可信配置的需求來改進這項技術。

金色午報 | 4月6日午間重要動態一覽:7:00-12:00關鍵詞：韓國、Cardano、普華永道、暗網

1. 韓國央行推出數字貨幣試點計劃；

2. Cardano創始人：我知道怎么找出中本聰

3. 首爾警察廳今日對20家加密貨幣交易所和機構執行關于“N號房”的扣押搜查令；

4. 數據顯示：機構投資者入場助推近期比特幣價格上漲；

5. Willy Woo：從比特幣采礦生態系統發展方式看，市場在3月份已經觸底；

6. 普華永道：盡管并購和融資交易出現下滑 但2019年加密公司仍在整合；

7. Algorand基金會：警惕Facebook虛假賬戶，妥善保管私鑰；

8. 暗網Monopoly發布新冠肺炎假藥加密交易禁令；

9. 過去5年韓國區塊鏈行業每10億產值平均創造7.6個工作崗位。[2020/4/6]

這個新證明解決了舊SNARK證明的最大缺陷之一。這個證明是由StarkWare團隊提出。我稍后將介紹。

STARKs改善了無許可區塊鏈的兩個問題：可擴展性和隱私。

STARK通過允許開發人員將計算和存儲轉移到鏈下來提高可擴展性。鏈下服務將能夠生成證明鏈下計算完整性的STARK證明。然后將這些證明送回鏈上，供任何相關方驗證計算。使用STARK轉移大部分的鏈下計算工作允許現有的區塊鏈基礎設施以指數方式擴展，同時保持計算完整性：它將改變游戲規則。

現在你擁有進入StarkWare：StarkNet生態系統的鑰匙了。

StarwarexStarkNet

StarkNet是一種去中心化、無需許可的ZK-Rollup，并使用ZKSTARK技術在不損害隱私的情況下實現指數級擴展。

StarkNetAlpha于2021年6月在公共測試網上發布，并于2021年11月主網上線。在主網部署時，StarkNet已經在類似以太坊的狀態下提供通用計算。

金色相對論 | 袁煜明：目前區塊鏈產業結構上有底層基礎設施和政策與標準兩方面欠缺:在本期金色相對論中，針對“目前區塊鏈產業結構上有哪些欠缺？”的問題，火幣中國CEO袁煜明表示最主要是兩部分，一個是底層基礎設施，當然也在快速發展，但也還需要時間；一個是政策與標準，比如最高法18年9月公布了《最高人民法院關于互聯網審理案件若干問題的規定》，就對司法存證的區塊鏈應用起了很好的作用，很多行業還需要這樣的政策和標準。[2020/3/3]

在整個開發過程中，StarkWare團隊選擇了一種專注于首先發布最重要功能的方法，本質上是與社區共享進化過程。

StarkNet遠未完成，但即使是現在，開發人員已經可以創建有意義且復雜的應用程序。如今，有數百名開發人員依賴StarkNet、大量dApp，以及一些外部團隊為StarkNet生態系統開發工具和基礎設施。

一系列更新提供了許多重要功能。有幾個引起了我的注意：

L1<->L2消息傳遞

鏈上數據和可組合性支持

活動支持

基礎定價機制，合約升級

錢包抽象

測試框架、開發工具、快速確認

自2022年年初以來，生態系統已達到可用性門檻：可以構建完整且令人驚嘆的dApp。團隊現在將專注于系統性能：在當前狀態下，它能夠支持有限的交易流。目標是在2022年下半年初實現TPS至少比以太坊高一個數量級，而成本至少比以太坊低兩個數量級。

StarkNet必須是一個完全去中心化的無許可網絡，具有領導選舉和治理機制。一旦吞吐量飆升和成本下降，實現這一目標將成為主要目標。

StarkEx現在是一些使用L2的最成功dApp的擴展引擎：dYdX、DeversiFi，以及ImmutableX(IMX)和Sorare。

分形擴展：3層及更多

金色財經獨家整理：Cointelegraph作者分析上周數字貨幣走勢 揭示影響因素長短期相互轉化:上周，諸多關鍵因素影響者加密貨幣投資者關于牛熊市的預期。技術分析來看，大多加密貨幣呈現下跌的走勢，跌破200日均線，而一些利好因素又使市場經歷了強波動。短期看，三大頂尖廣告平臺（谷歌，臉書，推特）均禁止加密貨幣相關廣告、幣安出走馬耳他是看跌兩個主因，而G20會議成果的政策放松則是看漲的主因。但文章也揭示了短期因素在長期的相反作用：禁止廣告將起到篩選和減少欺詐的作用，長期利好投資者信心，而G20暫時政策上的放松也并未排除可能在遠期某一時刻進行更嚴格的監管措施的可能。[2018/3/27]

以太坊上高昂的交易成本推動L2發展。StarkWare的范式是，由于交易成本大幅降低、對DeFi工具的支持不斷增加以及它們提供的流動性增加，最終用戶將在L2上開展大部分業務。L2s通過降低每筆交易的gas成本和提高交易率來提高可擴展性。同時，L2s保留了去中心化、通用邏輯和可組合性的好處。但是，某些應用程序需要特定的定制，可以通過單獨的新層更好地服務：讓我們談談第3層。

L3與L2相關，就像L2與L1相關一樣。只要鏈接的L2能夠支持智能合約驗證者，就可以使用有效性證明來實現L3。當L2也使用提交給L1的有效性證明時，就像StarkNet所做的那樣，它變成了一個瘋狂的遞歸結構，其中L2證明的壓縮優勢乘以L3證明的壓縮優勢。

換句話說，如果每一層都實現了例如1000倍的成本降低，那么與L1相比，所討論的L3可以實現100萬倍的降低，同時保持相同的安全性。然后，人們可以想象一筆交易費用只需要通常的gas費用的一小部分。

StarkWare解釋了擁有3層的優勢：

超可擴展性：利用遞歸證明的乘法效應。

由技術堆棧的應用程序設計人員更好地控制：

更具確定性的性能和成本

定制的數據可用性模型，

更快的功能和技術速度。

機密性：ZKP應用于公共L2上的隱私保護交易。

互操作性：獨立的L3將通過L2而不是L1進行交互。L2顯然應該比L1便宜。

L3對于L2相當于Polkdot的“金絲雀”網絡Kusama：在向公眾提供之前，可以在L3上測試新的創新。

同樣，我們也提供了一個由StarkWare提出的3層理論例子：

具有Validium數據可用性的StarkNet，例如，用于對價格極為敏感的應用程序的一般用途。

為獲得更好的應用性能而定制的特定應用StarkNet系統，例如，使用指定的存儲結構或數據可用性壓縮。

具有Validium或Rollup數據可用性的StarkEx系統立即為StarkNet帶來了經過實戰驗證的可擴展性優勢。

隱私StarkNet實例啟用隱私保護交易，而無需將它們包含在公共StarkNet中。

Starknet上的智能合約：Cairo

StarkNet建立在Cairo編程語言之上，這是以太坊上第一個生產級完整的馮諾依曼圖靈檢查者。它實際上是生態系統中智能合約的語言。Cairo允許開發人員使用ZKSTARK的強大功能來創建完全可擴展的應用程序。讓我們仔細看看。

Cairo：智能合約

Cairo是一種用于編寫可證明程序的語言：Cairo程序的執行會產生跟蹤，然后可以將其發送給證明者，證明者會生成由Cairo程序表示的指令或計算的有效性的STARK證明。然后可以用驗證者檢查證明。

如今，大多數dApp都是圍繞智能合約Solidity構建，實現了某種邏輯和接口以及后端。這些dApp成功后，不可避免地會面臨可擴展性問題。

我們越來越多地看到dApp通過轉向基于證據的L2可擴展解決方案來解決其可擴展性問題。鏈下組件支持業務邏輯的一些更復雜的部分，并與鏈上智能合約進行通信，而不會放棄安全性，因為對系統狀態的所有更改都經過證據證明(?ZKP?)。可擴展性提高了，因為驗證鏈上證明比完全在鏈上執行業務邏輯要便宜得多。

Cairo使用證明來實現可擴展性的障礙要低得多：在Cairo編寫邏輯，然后代碼必須在鏈下得到證明，一旦證明在鏈上得到驗證，你最終會得到一個可以自信地使用的結果——就像它在鏈上運行一樣。

在以太坊上，三點是昂貴的：計算、傳輸和存儲。

Cairo解決了這三個問題。要了解它是如何做到這一點的，我們需要引入一個新概念——共享證明者。

SHARP是Cairo代碼和Solidity智能合約之間的鏈接。它具有三個主要組件：證明者、智能合約驗證者和事實記錄器合約。

證明者跟蹤你的程序的執行，證明它是有效的并將這個證明發送給驗證者。在驗證了證明之后，鏈上驗證者采取了更重要的一步：它在事實寄存器中寫入一個事實來證明證明的有效性。這個事實就像一個沒有信任的批準印章，證明Cairo計劃的計算是正確的。現在，dApp的智能合約剩下的就是驗證這一事實是否存在，以便依賴于鏈下執行的計算。

為了進一步了解這個開發環境，請看Notion頁面：

必須關注的StarkNet上的項目

StarkNet錢包：ArgentX

第一步是配置錢包。我們將使用ArgentX：下載chrome擴展或查看他們的repo

不像以太坊L1的私鑰和賬戶通常是同一個東西，StarkNet支持賬戶抽象，這意味著每個賬戶實際上都是一個智能合約，必須先部署它才能與網絡交互。對于普通用戶來說，這既是一個絕佳的機會，也增加了復雜性。

ArgentX錢包在這里被用來抽象出復雜性：它創建和保護私鑰，部署密鑰控制的賬戶合約，連接到去中心化應用程序并將交易發送到StarkNet網絡。

在我看來，使用智能合約作為錢包是安全性的一大進步。ArgentX提供了與錢包相同的方式來創建保險柜。除非你使用監護人，否則所有地址不受信任的交易都會被自動阻止。這種安全性涵蓋了所有資產，具有可信地址的交易是透明的。

目前，可用的應用程序主要在StarkNet的測試網上，要使用它們，你必須獲得測試代幣：https://faucet.goerli.starknet.io/

StarkNet橋

第二個最重要的事情是：如何將資金從L1轉移到L2Starknet。答案在StarGate網橋中。不過應該謹慎，因為它又是一個Alpha產品，尚未經過審計。

StarkNetDEX—AMM

我們將從進入新生態系統時都在尋找的東西開始：DEX、交易和AMM。

截至今天，有幾個dApp脫穎而出：

Zigzag：DEX，一個圍繞ZKP構建的去中心化交易所，帶有OrderBook。

ZKX:永續合約交易

Starkswap:DEXAMM，自動做市商的去中心化交易所

StarkNet借貸

zkLend：zkLend是基于StarkNet的貨幣市場協議。ZkLend為機構客戶和面向DeFi零售用戶的免授權服務提供雙重授權套件。

StarkNetLaunchpad：ZkpadZkPad為所有人建立一個風險投資平臺。

像往常一樣，在我看來，新生態系統的焦點之一是：Launchpad。ZkPad的目標是為創始人提供戰略和運營支持，包括Twitter/Discord上的聯合營銷、合作伙伴關系和生態系統介紹、訪問選定人才的數據庫，包括Cairo開發人員、UX/UI設計師和營銷人員。該平臺專門用于向個人開放以前為投資基金保留的投資機會。

StarkNetDeFi

Magnety：Magnety是一種資產管理協議，允許任何人通過Starknet和L1DeFi生態系統創建和管理對沖基金。該協議允許用戶根據可以選擇的投資策略創建一個高度可定制的金庫。

StarkNet上的項目目前被匯集在這個Notion頁面，https://starkware.notion.site/Projects-Building-on-StarkNet-a33dee55778a4515a9be9bdae02ee682

Tags：ARKSTASTARSTARKYearn Shark FinanceSTARS幣startingpointSTARK幣

MEXC