零知識證明：身份隱私中的ZK_DOR:ORA

在區塊鏈世界中，身份可以以多種方式表現出來。真實世界的實體(如人或組織)可以在一個或多個區塊鏈上采用不同的形式，區塊鏈上的一個身份可以代表幾個真實世界的實體。這樣的身份可以通過擁有私鑰、擁有特殊類型的NFT、參與某種類型的DeFi等進行建立。

圖1：數字身份演示

這種通用且靈活的身份概念可以實現前所未有的用例和體驗——但我們也同時需要注意隱私。一個人的身份可能是以一種特定的方式相互關聯的多種事物，但只有其中的某一部分可能在一個環境中才是最重要的。例如，一場只允許BAYCNFT持有者參加的音樂會的組織者并不真正關心你擁有哪一個NFT，只要你至少擁有其中一個就可以。參加DeFi會議可能要求去年你在某個DeFi交易所借出了5萬個代幣，但不確切說明借出了多少、參與了多長時間等。

零知識證明Layer 2 CryptoGPT完成1000萬美元融資:金色財經報道，零知識證明 Layer 2 CryptoGPT 以 2.5 億美元估值融資 1000 萬美元，DWF Labs 領投。新資金將用于在全球范圍內發展其開發團隊，并在亞洲市場建立區域影響力。[2023/4/11 13:55:25]

第一個例子

零知識(ZK)證明可以真正實現這樣的用例，同時為相關實體提供數學上可證明的隱私。為了進一步闡述這一點，讓我們回到前一段的兩個例子。對于第一個例子，ZK證明將表明一個想要參加音樂會的人P知道一個地址A的密鑰，該地址屬于BAYCNFT持有者的10,000個地址集。進一步分解：

公共輸入是在鏈中某一特定NFT的所有地址的集合S;；

私人輸入P為密鑰sk1；

以太坊基金會、AMD、Polkadot 發起 700 萬美元競賽以促進零知識擴展:金色財經報道，ZPrize于4月19日宣布，多個加密貨幣項目聯合起來，為使用零知識（ZK）證明的創新團隊提供700萬美元的獎金。該競賽由21個Web3組織支持，包括Polygon、Polkadot、Mina和Ethereum基金會。AMD-Xilinx還將為參賽團隊提供高功率的計算設備。ZPrize在一份聲明中說，參賽團隊將嘗試設計 \"新的算法和技術，以實現最好的零知識系統無法比擬的性能指標。\"獲獎者必須將其提交的材料開源，以便其他開發者能夠將任何突破性的東西整合到他們的工作中。[2022/4/20 14:34:54]

我們想在ZK中證明的是，從sk派生的地址在集合S中。

在零知識學術文獻中，這種證明通常被稱為成員證明。有幾種方法可以生成這樣的證明。如果集合不是太大，可以使用RSA累加器。

DoraHacks平臺開始支持基于零知識證明的隱私二次方資助:據官方消息，DoraHacks開發者激勵平臺HackerLink已經完成整合Dora Factory隱私投票模塊MACI，并開始支持基于零知識證明的二次方投票和二次方資助輪次。

MACI（最小化抗共謀基礎設施）是Dora Factory以太坊工廠的核心模塊之一，通過對投票進行加密以及對結果提供零知識證明，實現隱私投票，將鏈上和鏈下治理的投票過程轉化為非合作博弈，以達到抗共謀的目的。

DoraHacks對MACI代碼中的安全性和效率問題進行了系統性優化。ETH Denver 2022將于2月20日與DoraHacks共同推出第一個中等規模的MACI二次方資助輪次，超過2,000名開發者和10,000名參會者將通過DoraHacks平臺進行零知識二次方投票，這是MACI和鏈上隱私投票的第一次中等規模應用。[2022/1/28 9:19:46]

使用RSA累加器，集合S可以用一個短值表示——成員證明也很短。在S中添加或刪除地址的代價也很低，與累計值的數量無關。然而，在最壞的情況下，累積集合S和產生證明所花費的時間可能與S的大小成線性關系(實際的時間范圍取決于設置的具體情況，甚至可能是恒定時間)。這里還有另一個問題：我們不僅想證明某個地址A在集合中，而且還想證明A是從sk派生出來的。我們可以為前者設計自定義ZK協議（例如，離散對數知識)，但通用的ZK系統通常最適合后者。另一個問題是以一種有效的方式將三個組件粘合在一起(成員關系、離散日志和哈希的原像)。

兩位數學家因對零知識證明的研究獲得數學界大獎阿貝爾獎:據DeepTech深科技消息，近日，備受矚目的數學界大獎阿貝爾獎公布兩名獲獎者，一位是匈牙利數學家拉茲洛?洛瓦茲（László Lovász），一位是以色列計算機科學家阿維?威格森（Avi Wigderson）。兩位數學家因為對零知識證明的研究，而獲此殊榮。曾經讓純數學家看不起的零知識證明，卻獲得了數學界舉足輕重的阿貝爾獎。正如頒獎詞所說：“表彰其在理論計算機科學和離散數學方面做出的杰出貢獻，以及在將之塑造為現代數學中心領域中發揮的主導作用。”零知識證明比起其他復雜算法更為簡單，但這兩位數學家對于零知識證明的研究，不僅對現代數學核心計算有重大貢獻，還有巨大的現實意義：其一，零知識證明對數字貨幣的認證意義重大；其二，零知識證明還可以用于人的身份驗證，即在不透露密碼的前提下，驗證方通過一系列問題來讓對方提供 “我知道正確密碼”，或在信息安全領域，提供 “我就是本人” 的證明。[2021/5/2 21:16:57]

第二個例子

Gate.io研究院發布“零知識證明于區塊鏈中的落地應用”報告:Gate.io研究院于今日發布“零知識證明于區塊鏈中的落地應用”報告。報告指出，在區塊鏈技術加快發展的背景下，多種應用場景應運而生，隨之而來的是用戶在隱私安全方面的更高需求。當前，眾多區塊鏈開發團隊提出了多種不同的用戶隱私安全保護機制。

其中，零知識證明與區塊鏈技術相結合作為一種新方案為提高區塊鏈隱私安全性提供了更多可能。該報告結合“零知識證明”的采納項目、區塊鏈系統“Zcash”的相關情況，對“Zcash”加密技術以及零知識證明進行了深入探討。 詳情點擊原文鏈接。[2020/6/28]

上面提到的第二個用例比第一個要復雜一些。有興趣參加DeFI會議的人需要表明他們向區塊鏈發送了交易tx(如以太坊)，該區塊鏈在DeFI合約中調用了借貸功能，比如DF。他們還需要表明，tx轉了至少5萬個代幣，并且它被添加到對應于2021年開始和結束的兩個區塊之間的區塊鏈中。現在，根據區塊鏈，一年內可能會生成數十萬區塊。每個區塊包含的所有交易的哈希(通常稱為交易哈希)。ZKP可以用來表明tx被“包含”在某個區塊B的交易哈希中——而不顯示tx本身——但這會揭示比預期的還要多的信息。在極端情況下，如果B只包含合約DF的一筆交易，那么ZKP是沒有意義的。理想情況下，我們希望證明tx包含在2021年的其中一個區塊的交易哈希中。

生成一個包含2021年以來所有區塊(或至少有一些DF交易的區塊)的Merkle樹，并證明包含tx的區塊只是Merkle樹的葉子之一，這將是一個更具可擴展性的方法。對于這個問題：

公共輸入是2021年以來所有區塊集合的Merkle根(或至少是它們的正確子集)，和合約DF的代碼(通過鏈上的合約地址引用);

私人輸入是用于簽署tx的密鑰sk，tx本身，包含tx的區塊B，以及B在Merkle樹中的路徑；

我們想要證明的是：sk用于簽署tx，tx包含在B中，B是Merkle樹的一部分，tx調用DF中的適當函數，并且tx轉了至少5萬個代幣。

我們只是觸及了可以在不同用例中進行的大量身份驗證的皮毛，ZK語句已經開始顯示出一些復雜性。事實上，一旦我們開始更具體地思考，它們會變得更加復雜(誠然，上面關于DeFi會議參與問題的語句相當簡單)。其中的復雜性包括：

DF不是直接調用的，而是通過另一個合約或一系列合約進行調用的；

tx包含在區塊鏈中，但對DF的狀態沒有預期的效果；

會議關心的是以今天的利率借出的實際美元數量，而不是代幣。

跳出固有思維模式

不過我們不必太擔心。ZKP的美妙之處在于，幾乎任何你能想到的語句都可以在零知識中被證明(確切地說，任何可以在多項式時間內被驗證的關系也可以在零知識中被證明)。雖然ZKP的非交互式版本最適合解決L1上的機密性、隱私、狀態增長、完整性等問題，但交互式證明對于需要基于區塊鏈的身份斷言的許多應用程序可能很有意義。

圖2：ZKP交互式版本示例

上述音樂會入場的例子可以用來說明這一點。對于NFT所有權的ZK成員證明，只需要一個確定的驗證者，而不是典型的L1設置中的數百或數千個身份不明的驗證者。證明者可以主動與驗證者接觸，并在會話過程中交換多條消息，從而擺脫了非交互式ZK證明固有的復雜性。事實上，證明不必很短，驗證者的復雜度也不必很低，因此可以充分探索ZK-SNARK之外的ZK證明范圍。我們將能夠使用具有更好的證明復雜性、底層安全假設等的證明系統。

請參閱下表，了解不同證明系統的高級比較。當我們沿著表格往下看時，證明復雜度和安全性假設變得越來越好，而證明大小變得越來越差。雖然基于mpc的ZK證明系統提供了最好的證明復雜性，并且具備無需信任的設置，但證明是交互式的并且僅適用于特定的驗證者，所以當身份斷言必須對鏈下的特定一方做出判斷時，這可能就不是問題。(ZK證明系統的其他一些特征，如后量子安全性，在表中沒有體現。)

表1：不同證明系統的高級比較

總之，世界上的身份不一定是基于區塊鏈的，也不一定是基于非區塊鏈的。展望未來，它們當然可以是兩者的結合——這將使保護隱私的身份斷言變得更加有趣!

Source：https://medium.com/delendum/zk-in-identity-980493401d80

Tags：區塊鏈DORAORADOR區塊鏈MOVEZ幣VeldoraBSCAlgorandVDORA價格

區塊鏈