比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

最全最細的零知識 (ZK) 證明解讀_ROL

Author:

Time:1900/1/1 0:00:00

原標題:未來10年Web3/區塊鏈最重要的解決方案之一,花10分鐘了解一下?

零知識 (ZK) 證明就像三箭資本的 Su Zhu 和 Kyle Davies一樣,他們出生于上世紀八十年代,但直到最近才成為熱門話題。

你可能聽說過很多關于它們的信息,但 ZK 證明到底是什么?

你也許了解了基礎知識,但想知道使用 ZK 證明最有前途的項目是什么?

現在就讓我們通過ZK證明的概述、應用項目和底層技術來回答這些簡單又復雜的問題。

概述

1.什么是 ZK 證明?

ZK 證明使用密碼學允許某人(證明者)向其他人(驗證者)證明事實是百分百真實的,但除了特定真實性的陳述之外,不會透露任何額外信息。即能保守秘密,又能讓人相信你。另一個比較通俗的定義是:ZK證明本質上是讓某人證明他們知道或擁有某些東西,而不會泄露他們知道或擁有什么的任何信息。

也許舉幾個例子會更有助于理解:

可以使用 ZK 證明來證明我擁有某個 NFT 的事實,而無需透露我擁有哪一個、購買時間或所花金額。

可以使用 ZK 證明來證明將Token從賬戶 A 發送到賬戶 B 的以太坊交易的有效性,而無需透露任一賬戶的Token余額或發送的金額。

ZK 證明在1985 年 MIT 的一篇研究論文中第一次出現。像許多技術一樣,ZK 證明首先引起了大量理論論證,然后在進一步發展和完善后逐漸找到實際運用。

麻省理工學院研究復雜加密問題的研究人員

最早的 ZK 證明是交互式的。為了證明某事,你必須和驗證者玩一個問答游戲。就像測謊儀測試——驗證者不斷對證明者所擁有的“知識”進行一系列提問。通過不停的提問,讓驗證者相信證明者的確知道這些”知識”。但是這樣的方法并不能使人相信證明者和驗證者都是真誠的,因為兩者可以提前串通,以便證明者可以在不知道答案的情況下依然通過驗證。

后來發展到非交互式的。非交互式是證明者現在可以生成一個東西,一段數據,作為他的 ZK 證明提交給驗證者,而無需多輪溝通。這種ZK 證明不太像游戲/儀式/協議,而更像是可以由證明者生成并提交給驗證者的不可偽造物品,避免了證明者和驗證者串通的可能性。

2.ZK 證明有什么用?

目前ZK證明有兩個主要的用途:

隱私:在區塊鏈上進行活動時盡量減少公開的數據量。Zcash就是一個很好的例子:

與比特幣一樣,Zcash 交易數據需要發布到公共區塊鏈;但與比特幣不同的是,Zcash 提供了機密交易和財務隱私的選擇,利用零知識證明允許在不透露發送者、接收者或交易金額的情況下驗證交易。

前美SEC主席:將加密貨幣、區塊鏈納入金融體系無可爭議:金色財經報道,美國證券交易委員會前主席Jay Clayton就加密監管發表了講話。他表示加密和區塊鏈只是技術,將他們納入金融體系是無可爭議的。

他還積極評價了資產代幣化和穩定幣:將證券代幣化將使其比我們今天所做的更有效。在零售層面,這是一項了不起的技術,能夠在世界各地轉移美元。[2023/6/13 21:33:08]

其他利用 ZK 證明保護隱私的項目有Iron Fish、World coin和前兩天被監管的Tornado Cash。

可擴展性:允許在鏈下執行密集計算,使成本更低,然后創建一個簡潔的證明,表明計算是被誠實執行的,可以在鏈上發布。

鏈上和鏈下各司其職,變得專業化,專注于他們最擅長的事情。我們可以使用集中式、高性能、脫鏈系統快速有效地處理一大堆交易,然后使用去中心化、不可變、去信任的區塊鏈作為記錄誰擁有什么的最終事實來源。

ZK 證明相對于所有鏈下交易的有效性證明而言計算起來非常小,并且驗證速度非常快。這要歸功于一個幾乎神奇的屬性:一旦他們創建了一個證明說“是的,這數十億次計算都被 100% 證明是正確的”,驗證者可以確認證明是正確的,而無需自己再進行數十億次計算。

有很多 ZK rollup 項目專注于可擴展性,還有一些項目希望同時提供隱私和可擴展性,包括Aztec和Espresso Systems 。

3.炒作

ZK 證明是一種通用技術。過去的幾次區塊鏈牛市無疑推動了對 ZK 研發的投資,但 ZK 證明的第一個實際應用出現在中本聰發布比特幣白皮書之前。鏈下世界中有許多令人興奮的ZK證明應用——比如身份管理、最低年齡驗證、匿名憑證、金融資產的評級和風險評估以及數字投票。

對于鏈上和鏈下應用程序的所有 ZK證明炒作,如果能夠推動技術向前發展出新的用途,那是一件好事。但是這種期望是周期性的。當 ZK證明被炒得火熱的時候,人們給予大量關注,但是當意識到技術也不是 100% 完美的時候,人們的情緒不可避免地會變得冷淡。

應用項目

1.用戶視角下的ZK Rollups

前面已經提到了 ZK-rollups 如何運作的:它不需要在以太坊上運行緩慢且收費昂貴的計算,而是在鏈下進行這項工作(即在第 2 層(L2)區塊鏈上):創建一個證明說你誠實地進行了所有交易,然后在以太坊上發布證明。

這對用戶來說實際上是什么樣的呢?

首先,你找到一個你感興趣的 ZK rollup 項目。每個項目都有自己獨立的應用程序和項目生態系統,所以找一個你喜歡的 DeFi 或 NFT 協議。假設 L2 在其 L1 結算層使用以太坊。它將在L1以太坊上擁有一個或幾個智能合約,這些合約可以完成一些重要的工作:

存儲有關 L2 鏈上正在發生的事情的所有相關數據(賬戶余額等)。該合約可能不會看到 L2 塊的實時視圖,因為 L2 交易在被提交到以太坊上的匯總中之前不會被視為官方交易;

過去一周USDC流通量減少1億美元:6月4日消息,據官方數據,截至6月1日,Circle在過去7天時間里共發行7億美元USDC,贖回8億美元USDC,流通量減少約1億美元。USDC總流通量為290億美元,儲備量為291億美元,其中現金42億美元,隔夜美債回購協議249億美元。

據此前報道,Circle Internet Financial已從其USDC儲備資產中拋售所有美國國債,以保護USDC免受美國債務上限問題的影響。Circle Reserve Fund網站顯示,截至5月30日,該基金管理的240億美元資產全部以隔夜回購協議的形式持有。[2023/6/4 11:56:58]

檢查托管證明以確保它們是合法的代碼。當匯總提交到以太坊時,驗證者智能合約會確保匯總的證明有效,然后再在 L1 上正式發布。

也許一些類比可以讓你更好理解:驗證者就像保鏢一樣,確保來自 L2 的匯總在進入以太坊之前是有效的。或者,在 L2 上產生的區塊就像是發表一些關于我有獨立科學論文的粗略聲明,然后被驗證者檢查并提交到以太坊就像是經過同行評審并在受人尊敬的期刊上發表。

這聽起來好像并不是很簡單,但了解 ZK rollup 架構的基礎知識是理解ZK rollup 項目交互的關鍵基礎。基本的用戶流程可能如下所示:

(1)向rollup項目在以太坊上的智能合約發送一些 ETH,用于存儲/鎖定您的資金。

(2)短暫延遲后,L2 鏈會收到您已鎖定這些資金,并會解鎖等值的硬幣供您在 L2 上使用。這是一個非常典型的橋接體驗。

(3)您可以在 L2 上隨意使用您的Token。你可以交換,投資,或者用來購買 NFT。然后定期(通常以分鐘為單位)將rollup發送到以太坊,表示你在 L2 上最近發生的所有活動都已經完成。

(4)現在您決定要將資金提取回以太坊,因為您在 L2 賭場玩得很開心,但現在您想將籌碼(L2 上的硬幣和Token)兌現為真錢(ETH 和 L1 Token)。為此,您將 L2 Token發送到 L2 鏈上的銷毀地址,并等待證明該行動的rollup匯總在以太坊上發布。發布完成后,您被鎖定在以太坊智能合約中的資金就會被解鎖,返回到您的錢包。

2.ZK rollup VS.?Optimistic rollups

本篇文章不會詳細介紹ZK rollups 和 Optimistic rollups,因為有很多文章對此進行比較,但這里有一句話總結:Optimistic rollups 對發布到 L1 的交易采取“在被證明有罪之前是無辜的”的方法(默認情況下,所有交易都被認為是有效的,但是任何觀察到錯誤 rollup 的人都可以將其調回并獲得獎勵),而 ZK rollups,正如我們已經可見,在進入L1之前都被認為不可信,要求所有鏈下計算在進入 L1 之前使用有效性證明來驗證自己。

每種方法都有利有弊,但 ZK rollups 的一個主要好處是用戶可以更快地將資金提取到 L1。在從Optimistic rollups中提款后,必須等待挑戰期到期(大約 7 天)才能解鎖資金,因為需要等待被驗證。不過V神長期看好 ZK 路線:

比特幣全網未確認交易數量為59347筆:金色財經報道,據BTC.com數據顯示,目前比特幣全網未確認交易數量為59510筆,全網算力為323.11 EH/s,24小時交易速率為3.45交易/s,目前全網難度為43.55 T,預測下次難度上調4.08%至45.33 T,距離調整還剩10天10小時。[2023/3/14 13:01:45]

總的來說,我自己的觀點是,在短期內,Optimistic rollups可能會在通用 EVM 計算中勝出,而 ZK rollups可能會在簡單的支付、交換和其他特定于應用程序的用途中勝出,但在隨著 ZK-SNARK 技術的改進,中長期 ZK rollups將在所有用途中勝出。

—維塔利克(2021 年 1 月)

3.Rollups vs. Validiums vs. Volitions

另一種類似rollup的擴容解決方案是validiums。Volitions是混合擴容解決方案,讓用戶能夠在“zk rollup模式”和“validium 模式”之間進行選擇。

當ZK rollups發布到 L1 上時,它既包括證明L2 上的所有活動都是合法的,也包括自上次匯總以來 L2 上賬戶余額所有變化的情況。這一點至關重要,因為當您想從 L2 中提取資金時,您需要之前的情況來說明“這是我在 L2 上所做的,這意味著我應該能夠提取特定數量的硬幣和Token。”

還有一種叫做validium的東西,它算是另一種類似rollup的擴容解決方案。

Validiums 的工作方式與傳統的ZK rollups幾乎相同,并且它們具有更便宜和更具可擴展性的額外好處。

不過問題是,不夠安全。

在 L1 上發布的 Validiums 不包括在 L2 上擁有資金的所有數據——即將資金提取到以太坊上的數據也是未知。相反,數據存儲在鏈下。如果信任存儲該數據的個人/網絡/公司,這不是問題,但最好確定他們絕對是可靠的。因為如果你在 L2 上存儲了 100 萬美元,然后存儲這些數據的項目方被黑客入侵并丟失了數據,或者被政府凍結,或者因為你在 Twitter 上說了愚蠢的話而對你進行懲罰,那么你可能會失去你的錢…

或者,更準確地說,它被鎖定了。

有機會在這里用一句精辟的“不是你的鑰匙,不是你的硬幣”類型的口頭禪,來傳播對有效性潛在風險的認識,但我能想到的最好的辦法是“如果數據不可用,你的硬幣就是可攻擊的”。因此,項目最好能夠很好地跟蹤他們的匯總數據。

而某些項目正在使用volitions混合擴容解決方案,讓用戶能夠在“zk rollup模式”和“validium 模式”之間進行選擇。這也被宣傳為兩種選擇之間的折衷方案——項目將它們吹捧為“擁有你的蛋糕并吃掉它”或“世界上最好的”的一種方式。因此了解 rollups 和 validiums 之間的區別很重要。當 L2 向 L1 鏈提交證明時,它們允許用戶選擇取款所需的數據是否也發布在 L1 上,或者是否存儲在其他地方。

Messari分析師:2022年時尚NFT領域的交易量接近13億美元:金色財經報道,Messari研究分析師Ally Zach在社交媒體上稱,主要品牌,包括奢侈品和零售時尚品牌,正在涉足Web3,主要是通過NFT。2022年,時尚NFT領域的交易量接近13億美元,主要是由于耐克和RTFKT的合作。RTFKT藏品占該行業二級市場 phygital 交易量的 70% 以上。耐克因 2021 年收購而成為頭條新聞RTFKT Studios,以其 CloneX NFT 系列而聞名。它還負責 2022 年超過 65% 的耐克品牌 NFT 交易活動。

其中,RTFKT自 2021 年年中以來,收藏品產生了 1.25B 美元的交易量和 1.78 億美元的收入。在同一時間段內,耐克品牌系列獲得了 5200 萬美元的價值,其中 30% 直接流向消費者,其余部分作為版稅流向項目創作者。[2023/2/7 11:51:11]

總的來說,Validiums 比 ZK-rollups 便宜,但讓你的資金在 L2 上有凍結的風險。那些用volitions的項目會讓你在Validiums 還是 ZK-rollups之間進行選擇 。

資料來源:StarkWare

4.ZK項目

使用 ZK 技術的項目太多了,無法一一列出,但這里有一些主要類別和項目。

(1)zkEVM

在過去的一個月里,幾個不同的項目都通過推出所謂的zkEVM登上了頭條。這些協議之間的競爭被稱為“ zkEVM 戰爭”和“ ZK Rollup Race ”,人們很快就發現,每個協議都聲稱已經擊敗了其他協議:

三個主要參與者是Scroll 、Matter Labs (zkSync 的創建者)和Polygon 。

zkEVM 很重要,因為它們允許 ZK rollups 支持比目前更多的應用程序。第一波 ZK rollups允許在超級可擴展且廉價的 L2 上執行基本操作——比如發送 ETH 和轉移Token。但是使用 zkEVM,開發人員可以編寫任意復雜的智能合約代碼并將其部署到 ZK 驅動的 L2 上。最重要的是,他們可以使用他們在以太坊本身上使用的相同的 Solidity 代碼來做到這一點。這意味著 ZK-rollup L2s 現在可以發展成為瘋狂、復雜、可組合的狂野西部鏈,既充滿了機遇但是也充滿了混亂。

(2)Polygon

Polygon正在構建真正數量驚人的縮放解決方案。老實說,很難跟蹤它們。他們被描述為“瑞士軍刀的縮放”,大概是基于這個模型:

艾薇兒加盟的元宇宙項目MetaCity與Gate.io建立戰略合作關系:據官方消息,NFT孵化器公司Tlabs所開發的明星元宇宙項目MetaCity,自加拿大搖滾巨星艾薇兒與吸血鬼日記的男主角Ian Somerhalder宣布登陸元宇宙項目MetaCity后,Gate.io也確定登陸MetaCity。

據悉,MetaCity在過去一周已跟不同的合作單位展開了多場Twitter Space,包括NFT交易平臺GateNFT、NFT二級市場交易平臺LooksRare、Gate.io、Decentraland前中國區負責人。聯合講者表示:“MetaCity是一個可以長期持有的項目。”

目前,除了Gate.io之外,Double-A Chain亦官方宣告與MetaCity達成戰略合作,會在近期于iNFTspace市場上線,會支持在Double-A Chain(AAC)發行。[2022/8/2 2:53:18]

這是他們目前的產品線,其中四個提到了ZK證明(包括上文提到的zkEVM):

每個項目的更多信息都可以在他們的網站上找到,Polygon的文檔非常好, 所以在這里就不重復細節。

(3)StarkWare

StarkWare是一家構建 ZK 擴展技術的公司,由真正的 ZK 巨頭 Eli Ben-Sasson 創立。Eli 共同發明了 STARKs(一種高級的 ZK 證明),并且是 Zcash 的創始科學家。他們有兩個主要產品:

StarkEx:允許每個應用程序構建自己的個人、許可的 ZK 系統。例如,dYdX(一個Layer 2 上運行的去中心化的智能合約交易平臺)和 Immutable (第一個 Layer 2 的 NFT 交易平臺)已經使用 StarkEx 分別為永續交易(永續交易類似于股票,只要這只股不退市,您可以一直持有)和 NFT 建立了自己的特定應用 ZK 項目。但是這些應用程序是孤立的——項目之間沒有可組合性,因此一個 StarkEx 項目不能直接與另一個項目“對話”。

StarkNet:一種更新的產品,類似于通用區塊鏈。任何開發人員都可以創建智能合約并將其部署在 StarkNet 上——它是無需許可的,例如 StarkEx。項目之間是完全可組合的,所有交易都在以太坊上匯總和結算。我懷疑你很快就會聽到很多關于 StarkNet 的消息,因為它的Token計劃在 9 月推出?。

(4)BTC & ETH

Zcash,前面已經提到過幾次,是隱私幣領域的主要鏈。鑒于它與比特幣的相似之處,我們是否會看到 BTC 本身采用 ZK 證明來實現隱私還未可知?那么以太坊呢——它是否可以從 L2 的劇本中借鑒一頁來使用 ZK 證明來實現可擴展性?簡而言之:BTC 不行,ETH 可以。

創造比特幣的早期密碼朋克非常注重隱私。Zcash 的聯合創始人 Zooko認為,鑒于大多數高級用戶現在接受鏈上取證允許交易追溯到現實生活中的身份,因此 BTC 在隱私方面已經迷失了方向。眾所周知,比特幣社區并不樂于接受新功能,因此短期內可能不會有重大的隱私升級,Zooko 預測 BTC 最終會因此而走向末路!!!

有趣的是,在對被稱為 BitcoinTalk 論壇的神圣文本進行了一些調查之后,我發現其中一個討論中只有中本聰本人提到了 ZK 證明。

比特幣 maxis 檢查 bitcointalk.org 的神圣經文

不幸的是,在當時討論時,ZK 證明還不夠先進,無法支持 Zcash(是首個使用零知識證明機制的區塊鏈系統) 級別的功能,這就是中本聰將它們注銷的原因:

這是一個非常有趣的話題。如果找到解決方案,比特幣更好、更容易、更方便的實施將是可能的。......在這種情況下,很難想到如何應用零知識證明。(2010 年 8 月 11 日)

當一起談到比特幣和 ZK 證明時,時機是不對的。當時比特幣很年輕很好改造的時候,密碼學太原始而無法實施,而現在應對復雜的升級,比特幣的又有太多妨礙的慣性。或許這就是生活。C’est la vie.

不過,在實施新技術方面,以太坊更加進步。在最近關于 zkEVMs 的一篇文章中,V神提到 ZK 證明可以“更容易驗證以太坊鏈本身”,并大聲疾呼以太坊的隱私和擴展探索團隊正在為此工作。畢竟,L2s 沒有理由壟斷 ZK 技術。但也不要過于自信了——相對于更小、更靈活的項目,以太坊的發展速度非常緩慢。

底層技術

1.SNARKs——一項突破

SNARK 是一種 ZK 證明,于 2011 年首次出現,并幫助實現了許多現實的應用程序。目前大多數 ZK 項目都利用 SNARK。SNARK 代表“簡潔的非交互式知識論證”(英文全稱Zero-Knowledge Succinct Non-Interactive Argument ofKnowledge),這是一個很好的技術,但了解它們的作用更有用:

“簡潔”意味著證明比它們所代表的所有計算總和要小得多。例如,可以獲取需要在以太坊區塊鏈上單獨記錄的一大堆交易,并創建一個僅用幾百字節證明其有效性的 SNARK。

“非交互式”意味著您可以使用一臺計算機生成一個證明,該證明可以作為某物(例如您在 L2 區塊鏈上的賬戶余額)的不可偽造證明,您可以將該證明提交給另一臺計算機/智能合約將驗證它。

ZK:像所有 ZK 證明一樣讓您在分享盡可能少的信息的同時證明某些事情。

速度:由于這些證明非常小,因此可以非常快速地進行驗證。

安全性:SNARK的一個主要缺點是進行證明的計算機和進行驗證的計算機必須就一組稱為公共參考字符串 (CRS)的參數達成一致。要制作 CRS,您需要使用隨機源(熵),而這些隨機數非常強大。如果壞人發現了他們,他們可以創建任意證據并欺騙驗證者認為它是有效的。這就是為什么任何使用 SNARK 的合法項目都會確保在使用這些隨機數后立即銷毀它們。

2.STARK VS.?SNARK

STARK是SNARK 的小兄弟,其中字母“N”變成了“T”,其中“T“是“Transparent”,代表“透明的”。(Zero-Knowledge Succinct Transparent-Interactive Argument ofKnowledge,中文意思:簡潔化的全透明零知識證明)

它們各自有不同的優缺點。這里說一下這兩種 ZK 證明之間的主要區別:

證明大小:STARK 比 SNARK 大,這也意味著它們在以太坊上驗證的成本更高,因為更大的證明 = 更多的計算 = 更高的gas費。

可擴展性:通常認為 STARK 比 SNARK 更有效,具體取決于實現情況。證明和驗證 STARK 的復雜度規模相對于被證明的計算復雜度呈擬線性增長,而SNARK的復雜度呈線性增長。這意味著在證明更大的計算量時,STARKs 比 SNARKs 具有更大的優勢。

生態系統和項目:使用 SNARK 的項目比使用 STARK 的項目多得多,因為 SNARK 的存在時間更長。

遞歸:SNARK 支持遞歸——您可以創建一個父 SNARK 來證明多個子 SNARK——這是許多擴展解決方案使用的主要功能。STARK 不支持遞歸。

量子安全:SNARK 使用橢圓曲線密碼術,這不是量子安全的。量子計算的進步可能會使基于 SNARK 的系統容易受到攻擊。STARK 不易受到攻擊,因為它們的加密方案依賴散列函數。

可信設置:如前所述,SNARK 在創建 CRS 期間需要可信設置。STARK 通過利用可公開驗證的隨機性來生成證明者和驗證者共享的參數,從而避免了這個不便的問題。

需要注意的是,這些特點在不斷發展。最近出現了新的基于 SNARK 的方案,以解決傳統 SNARK 的弱點。

3. zkEVM 權衡

對于任何關心 zkEVM 產品細節方面的人(尤其是開發人員)來說,值得強調的是,并非所有的 zkEVM 都是一樣的。

這些項目必須在與以太坊的兼容性和性能之間做出權衡。所謂的“EVM 兼容”,即zkEVM 能夠驗證在與普通以太坊完全相同的環境中運行的程序。

例如,Scroll 不僅與 Solidity 編程語言等高級抽象層的 EVM 兼容,它還與字節碼級別的 EVM 兼容。這一點很重要,因為它使 Scroll 上的開發體驗與在以太坊本身上開發體驗幾乎沒有區別,有區別的是使用檢查單個操作碼的復雜調試器工具。它還允許重復使用熟悉且經過實戰考驗的以太坊客戶端,例如 geth,這意味著 zkEVM 可以草擬對以太坊本身的升級,而只需從項目中進行最少的額外工作。

這些zkEVM采用以Solidity編寫的智能合約代碼,采用這種方法可以讓代碼更有效地運行,但它拋棄了很多以太坊現有的基礎設施。例如,眾所周知,geth客戶端具有某些限制,這就是為什么像zkSync這樣的團隊已經用其他用Rust編寫的軟件替換了它。

將此與“與 EVM 兼容”的zkEVM 進行比較,后者在與 EVM 協調方面并不那么嚴格。zkSync 團隊的一位成員這樣描述了這兩種類型的 zkEVM:如果您在 Windows 計算機上運行 Photoshop 軟件,并且現在想在 Mac 上運行它,您可以重新編譯 Photoshop代碼使其針對 Mac 進行優化,或者 在您的 Mac 上運行 Windows 模擬器,并讓該模擬器運行 Windows 版本的 Photoshop。很明顯,前者會更有效率。

誠然,這種觀點是有偏見的,并且忽略了更高兼容性所帶來的一些好處,但這是一個很好的類比。在這一點上,現在說哪種方法最終會證明更好的策略還為時過早但我們應該很高興有各種各樣的實驗現在同時進行。

隨著 對ZK證明以及其他新興加密技術的熱議,讓我相信我們可能正處于“加密,而不是區塊鏈”的風口浪尖,類似于過去幾年的“區塊鏈,而不是比特幣”的敘事情況一樣。甚至一些比特幣 和 Web3/區塊鏈懷疑論者也指出,創新 ZK 證明技術的持續發展是(他們認為)原本毫無價值的替代鏈的一種救贖。

綜上所述——ZK 證明的出現令人興奮。

但是也許也會出現驚人的反差,說不定所有這些月球數學完全是虛構的,我們被一個全行業的陰謀所欺騙。畢竟,很多 ZK 證明的密碼學解釋聽起來emmm……

原文鏈接:https://internbreakdowns.substack.com/p/intern-breakdown-4-zero-knowledge原文標題:Zero-Knowledge Proofs原文作者:Mark Bissell and CMS Intern

白話區塊鏈

媒體專欄

閱讀更多

財經法學

成都鏈安

金色早8點

Bress

鏈捕手

PANews

Odaily星球日報

Tags:ARKROLLROL以太坊MarkaccyTROLLERTROLLBNB幣波場幣在以太坊發布

比特幣價格
拜登的 9 份報告 「藏著」美國 Web3 的未來_加密貨幣

撰文:周舟 來源:虎嗅 APP 「我們要制定 Web3(基于區塊鏈的下一代互聯網)的國際規則,不然幾十年后子孫輩們就會像現在(芯片、操作系統等)一樣被人掐脖子.

1900/1/1 0:00:00
DeFi借貸重新洗牌 透過協議變化能找到哪些新趨勢?_NBS

在過去的幾個月里,DeFi 借貸賽道產生了重大變化,1kx 研究員 Mikey 0x 對此場域重新進行梳理.

1900/1/1 0:00:00
詳解 CC0 NFT:開放版權能否打破 NFT 市場死水?_MOON

原文標題:《開放版權能否打破 NFT 市場死水?》 撰文:湯圓 8 月 5 日,NFT 項目 Moonbirds 創始人 KevinRose 在社交媒體推特上公開宣布.

1900/1/1 0:00:00
金色觀察|融資2億美元、帶火FreetoOwn模式 DigiDaigaku為何暴漲_NFT

在熊市中,總是有黑馬出現,挑動市場情緒,讓投資者眼饞不已。DigiDaigaku就是這樣的NFT黑馬.

1900/1/1 0:00:00
一文探究ENS逆勢生長的原因_ENS

比特幣有熊市,而ENS沒有。曾經不可一世的 OpenSea 在 8 月的交易量創下了過去一年以來月度新低,挑起大梁的 BAYC、CryptoPunks、Azuki 等藍籌流動性在經歷大規模清算危.

1900/1/1 0:00:00
比特幣前傳(三):90 年代的加密戰爭_比特幣

比特幣前傳(一):70 年代公鑰傳奇比特幣前傳(二):去中心化的起源撰文:Peter‘pet3rpan’編譯:aididiaojp.eth.

1900/1/1 0:00:00
ads