引言 童話故事版:zk零知識證明

故事背景:

很久以前,在一個遙遠的村莊裏,住着一位名叫愛麗絲的小女孩。愛麗絲非常喜歡冒險,一天,她在森林裏玩耍時,發現了一個神祕的洞穴。

好奇心驅使着愛麗絲走進了洞穴,洞穴裏很黑,愛麗絲只能摸索着前進。突然,她看到前面有一扇門,門上掛着一把大鎖。愛麗絲試了試,門打不開了。

這時,一個聲音從門後傳來:“如果你能證明你是誠實的,我就會開門讓你進去。”

愛麗絲很想知道門後是什麼,於是她問:“我怎樣才能證明我是誠實的呢?”

門後的人說:“你需要回答我一個問題。這個問題的答案只有誠實的人才知道。”

愛麗絲想了想,說:“好吧,請你問吧。”

門後的人問:“森林裏最美麗的花是什麼花?”

愛麗絲想了想,說:“我認爲是玫瑰花。玫瑰花不僅美麗,而且芬芳撲鼻。”

門後的人沉默了一會兒,然後說:“你答對了。門開了。”

門一開,愛麗絲就看到了一個神奇的世界。這個世界裏,每個人都擁有着不同的祕密,但他們都可以使用一種叫做“zk零知識證明”的技術來證明自己的祕密,而無需泄露祕密的內容。

故事解析:

在這個故事中,愛麗絲就是證明者,門後的人就是驗證者。愛麗絲想要進入門後的世界,就需要向驗證者證明自己是誠實的。

愛麗絲知道森林裏最美麗的花是什麼花,這是一個祕密。但她不能直接告訴驗證者這個祕密,因爲這樣就泄露了祕密。

於是,愛麗絲使用了zk零知識證明技術。她只告訴了驗證者一個與祕密有關的問題的答案**,但沒有透露任何關於祕密本身的信息**。

驗證者通過愛麗絲提供的答案**,能夠判斷愛麗絲是否知道祕密的答案**。如果愛麗絲確實是誠實的**,那麼驗證者就會相信她知道祕密,並允許她進入門後的世界**。

如果你還沒懂的話, 可以去youtube搜索李永樂老師的 零知識證明 公開視頻講解 :

關於ZK 的 區塊鏈知識:

第一課

zk 零知識證明 英文簡稱主要有以下幾個:

* zk: 這是最常見的簡稱,可以指代所有使用零知識證明技術的區塊鏈項目。

* ZKP: Zero Knowledge Proof 的縮寫,指零知識證明技術。

* ZK Rollup: 指基於零知識證明技術的 Layer 2 擴容方案。

以下是一些具體的 zk 項目及其對應的簡稱:

* Zcash: 採用 zk-SNARK 技術實現隱私保護的加密貨幣,簡稱 ZEC。

* StarkNet: 基於 zk-STARK 技術的通用可編程 zk Rollup,簡稱 STARK。

* Loopring: 基於 zk-SNARK 技術的 zk Rollup,簡稱 LRC。

* zkSync: 基於 zk-SNARK 技術的 zk Rollup,簡稱 ZK。

* Polygon zkEVM: 基於 zk-EVM 技術的 zk Rollup,兼容以太坊智能合約,簡稱 MATIC。

* Scroll: 基於 zk-SNARK 技術的 zk Rollup,簡稱 SCRL。

在實際應用中,zk 的具體含義可能取決於上下文。例如,在討論零知識證明技術時,通常使用 zk 或 ZKP。在討論 zk Rollup 時,通常使用 ZK Rollup。

---------------------------------------

第二課

zk網絡主要有以下幾種類型:

1. 一級網絡(Layer 1)

一級網絡是指建立在區塊鏈底層之上的原始網絡,例如以太坊、比特幣等。這些網絡通常具有較強的去中心化和安全性,但交易速度較慢、手續費較高。

2. 二級網絡(Layer 2)

二級網絡是指建立在一級網絡之上的擴展網絡,旨在解決一級網絡的可擴展性問題。zk Rollup是二級網絡中的一種類型,它利用零知識證明技術來壓縮交易數據,從而提高交易速度和降低手續費。

3. 測試網

測試網是指在正式發佈之前用於測試區塊鏈網絡的副本。測試網通常不包含真實資金,可用於開發人員測試新功能和修復錯誤。

根據我的搜索結果,目前主要的zk網絡包括:

一級網絡:

* Zcash:採用zk-SNARK技術實現隱私保護的加密貨幣。

二級網絡:

* StarkNet:基於zk-STARK技術的通用可編程zk Rollup。

* Loopring:基於zk-SNARK技術的zk Rollup。

* zkSync:基於zk-SNARK技術的zk Rollup。

* Polygon zkEVM:基於zk-EVM技術的zk Rollup,兼容以太坊智能合約。

* Scroll:基於zk-SNARK技術的zk Rollup。

測試網:

* zkSync 2.0:zkSync的二級網絡測試網。

* StarkNet Alpha:StarkNet的主網測試網。

需要注意的是,zk網絡仍在快速發展中,新的網絡不斷涌現,現有網絡也在不斷升級迭代。因此,上述列表可能並不完整。

--------------------------------------

第三課

2024年6月17日,幣安交易所正式上線了zkSync(ZK)現貨交易對,包括 ZK/BTC、ZK/USDT、ZK/FDUSD、ZK/TRY。ZK代幣也於同日開始分發給符合條件的幣安用戶。

zkSync 是一個基於以太坊的二級網絡,旨在通過零知識證明技術來提高以太坊的交易速度和降低交易手續費。zkSync 還支持智能合約的執行,這意味着開發者可以在 zkSync 上構建去中心化應用程序(DApp)。

其他 zk 網絡

您提到的其他 zk 網絡也都具有自己的代幣,例如:

* StarkNet:代幣爲 STARK

* Loopring:代幣爲 LRC

* Polygon zkEVM:代幣爲 MATIC

* Scroll:代幣爲 SCRL

這些代幣目前都還沒有在幣安交易所上線。

如何區分不同的 zk 網絡

要區分不同的 zk 網絡,您可以查看以下幾個方面:

* 使用的零知識證明技術: 不同的 zk 網絡使用不同的零知識證明技術,例如 zk-SNARK 和 zk-STARK。

* 支持的功能: 不同的 zk 網絡支持的功能也不同,例如有的支持智能合約,有的不支持。

* 發展階段: 不同的 zk 網絡處於不同的發展階段,有的已經上線主網,有的還在測試網階段。

----------------------------------

第四課 ZKsync 網絡和 ARB arbitrum one網絡的差別 :

## 在 Arbitrum 和 zkSync 網絡上發送 100 USDT 的區別:

原理

* Arbitrum:

* 使用 Optimistic Rollup 技術,將交易數據打包在以太坊主網之外進行處理,然後再將交易結果提交給以太坊主網進行驗證。

* 採用 Arianite 虛擬機,與以太坊虛擬機 (EVM) 高度兼容。

* zkSync:

* 使用 zk Rollup 技術,利用零知識證明技術來壓縮交易數據,在鏈下進行交易處理,並將壓縮後的交易數據提交給以太坊主網驗證。

* 採用 zkEVM 虛擬機,與以太坊虛擬機 (EVM) 高度兼容。

Gas 費

* Arbitrum:

Gas 費通常 低於以太坊主網*,但 高於 zkSync。

* Gas 費因網絡擁堵程度而波動。

*zkSync:

Gas 費 目前最低*,通常只有 幾美分。

* Gas 費相對穩定。

**速度

* Arbitrum:

交易速度 比以太坊主網快 100 倍以上*。

* 速度取決於網絡擁堵程度。

*zkSync:

交易速度 更快*,通常只有 幾秒鐘。

* 速度相對穩定。

**以下表格總結了 Arbitrum 和 zkSync 網絡在發送 100 USDT 時的關鍵區別:

|

總體而言,zkSync 在 Gas 費和速度方面都具有優勢。但是,Arbitrum 的網絡已經更加成熟,並且支持更多的 DApp。

Arbitrum 是一種基於 Optimistic Rollup 技術的以太坊二級網絡。Optimistic Rollup 是一種 Layer 2 擴容方案,它通過將交易數據打包在以太坊主網之外進行處理,然後再將交易結果提交給以太坊主網進行驗證,從而實現交易速度的提升和手續費的降低。

Arbitrum 的核心技術是 Arianite**,它是一種專門爲 Optimistic Rollup 設計的虛擬機。Arianite 與以太坊虛擬機(EVM)高度兼容,這意味着開發者可以輕鬆地將以太坊上的 DApp 遷移到 Arbitrum 上。

Arbitrum 的主要優勢包括:

*高吞吐量: Arbitrum 可以將以太坊的交易速度提高 100 倍以上。

* 低手續費: Arbitrum 的交易手續費比以太坊主網低得多。

* 安全性: Arbitrum 的安全性與以太坊主網一致。

* 易用性: 開發者可以輕鬆地將以太坊上的 DApp 遷移到 Arbitrum 上。

Arbitrum 已經於 2021 年 8 月正式上線主網,目前已成爲以太坊上最大的 Layer 2 網絡之一。在 Arbitrum 上已經部署了大量的 DApp,包括 DeFi、NFT、遊戲等。

Arbitrum 與其他 zk 網絡的區別

zk Rollup 也是一種 Layer 2 擴容方案,但它與 Optimistic Rollup 使用了不同的技術。zk Rollup 利用零知識證明技術來壓縮交易數據,從而提高交易速度和降低手續費。

Arbitrum 和 zk Rollup 的主要區別在於:

* 技術: Arbitrum 使用 Optimistic Rollup 技術,而 zk Rollup 使用零知識證明技術。

* 隱私性: zk Rollup 可以提供更高的隱私性,因爲交易數據在鏈下進行處理。

* 可擴展性: Arbitrum 的可擴展性可能更高,因爲零知識證明的計算成本較高。

總體而言,Arbitrum 和 zk Rollup 都是很有前景的 Layer 2 擴容方案。哪種方案更好取決於具體的應用場景。

-------------

ok 你已經畢業了 牛逼的你 學識戰鬥力滿滿^_^

百舸爭流 投研筆記分享2024.06.20