區塊鏈如何影響零知識證明?
By CoinUnited
Manta Network 由 Kenny Li 共同創立,是一種可定制的隱私第 1 層協議,由零知識證明技術支持。零知識證明 (ZKP) 是一種密碼學,可以驗證數據的準確性,而不會在此過程中洩露該數據。區塊鏈、加密貨幣和去中心化金融 (DeFi) 行業越來越依賴它來改善隱私和安全性。為了提高客戶在使用 DeFi 服務(如借貸和交易)時的隱私和安全性,一些項目已經在使用 ZKP。隨著區塊鍊和 Web3 應用程序的不斷普及,零知識證明有望在行業中發揮舉足輕重的作用。零知識證明是如何發揮作用的?
在零知識證明中,證明者在不透露任何額外信息的情況下向驗證者證明一個陳述是真實的。如果證明者認為信息是私有的並且不希望驗證者看到它,這將特別有用。驗證者可以利用證明者獨特的數學證明來確定斷言是否正確。他們無法利用證明來拼湊缺失的數據。人們可以想像一條隧道有兩個不同的入口,標記為 A 和 B。通過隧道的唯一通道被一扇關閉的門擋住,需要特殊代碼才能打開(A 到 B)。由於您知道密碼,您提出將其賣給 X 夫人,以便她可以進入隧道。雖然你寧願她在你公開代碼之前先付錢給你,但她堅持要你立即展示你的代碼知識。具體來說,她可能會在隧道入口處等待並觀察你通過它的過程。這將使她相信您對代碼的了解是真實的。
數字交易中對機密性和安全性的需求推動了區塊鍊和加密貨幣中零知識證明的興起。 ZKP 滿足了區塊鍊和加密貨幣行業對一種在不洩露私人信息的情況下驗證交易的機制不斷增長的需求。近年來,零知識證明 (ZKP) 的使用越來越流行,一些基於 ZKP 的協議被發布,主要區塊鏈使用 ZKP roll-ups。在 DevCon 2022 大會上,超過 20% 的講座都是關於零知識證明的,這清楚地證明了它們的受歡迎程度。
一種稱為 zk-SNARKs 的特定類型的零知識證明 (ZKP) 的日益流行是該領域的一個關鍵進步。私人代幣交易和受保護的借貸只是 zk-SNARK 在 DeFi 領域的眾多用途中的兩個例子。通過 zkRoll-ups 在可擴展性和速度方面的改進也是最近零知識證明領域的重大突破。
一種特殊的零知識證明,稱為零知識簡潔非交互式知識論證 (zk-SNARKs),允許在不披露有關被證明陳述的任何細節的情況下確認陳述。 Zcash 和摩根大通基於區塊鏈的支付系統都使用了 zk-SNARKs。
作為區塊鍊網絡的擴展解決方案,zkRoll-ups 允許將大量交易合併為一個更大的交易,以便進行區塊鏈記錄。一個例子是 BNB Chain,它在 2022 年發布了基於 zkRoll-up 協議的 zkBNB 測試網。數百筆交易可以通過 zkBNB 在鏈下捆綁在一起,並且可以生成加密證明以立即驗證所有交易的合法性。對於大規模、低延遲的應用程序,zkRoll-ups 是一個不錯的選擇,因為它們在可擴展性和安全性之間提供了平衡。
零知識證明的一些應用已經取得成果,而其他應用預計將在不久的將來實現。
用戶的身份可以通過零知識證明來驗證,而不會洩露他們的任何私人信息。這在數字投票系統等環境中具有潛在用途,在這些環境中,用戶的身份必須在不洩露其真實身份的情況下進行身份驗證。
零知識證明廣泛應用於加密領域,最常見的應用之一是促進私人交易。為了在去中心化交易所 (DEX) 上進行匿名交易,Manta Network 的 MantaPay DApp 使用了零知識證明 (ZKP)。該平台的用戶在使用該服務開展業務時能夠保護他們的匿名性。
加密貨幣 Zcash 使用零知識證明來允許匿名交易。為了保護用戶的匿名性,這些交易向公共區塊鏈隱藏了發件人和目標地址,並混淆了發送或接收的交易。
可以使用零知識證明對資產進行代幣化並驗證其所有權。例如,標記財產使任何人都可以在不披露任何其他個人信息的情況下確認其所有權。
金融數據的收集和傳播在一些國家受到嚴格的規定約束,這對於去中心化系統來說可能具有挑戰性。通過使用零知識證明,敏感數據可以在不被窺探的情況下被傳達給監管機構。通過彌合去中心化平台和傳統金融機構之間的差距,這可以使 DeFi 更容易滿足不同國家的監管要求。
未來可能的技術進步可以歸因於零知識證明。
隨著區塊鍊和 DeFi 生態系統的成熟,對跨區塊鏈互操作性的需求也在增長。跨鏈隱私層將使跨多個區塊鍊網絡執行匿名交易成為可能。
此外,一種稱為 zk-STARKs(零知識可擴展透明透明論證)的新型零知識證明正在被更頻繁地使用,因為它比 zk-SNARKs 更高效和安全。
密碼學這一領域的複雜性和不熟悉使得零知識證明技術成為一些開發團隊的挑戰。通過為來自各種學科的開發人員提供對直觀的 ZKP 工具包的訪問權限,可以縮小這種鴻溝。
儘管零知識證明提供了一種在不洩露私人細節的情況下確認信息真實性的新方法,但沒有這樣的證據可以被認為是絕對可靠的。用戶應該意識到 ZKP 並非萬無一失,即使在證明者說謊時進行驗證的可能性很低。最重要的是,零知識證明技術需要大量的處理能力。在某些類型的 ZKP 中,驗證者和證明者之間的大量聯繫使得高性能計算成為必須。然而,在某些情況下,算法的處理需求可能會使 ZKP 的實際使用變得不切實際。
零知識證明吸引了很多人的興趣,因為它們具有隱私保護和大規模可擴展性的潛力。在區塊鏈、加密貨幣和 DeFi 中越來越多地使用這種加密貨幣應該意味著引入能夠極大地惠及消費者的尖端產品。 DApp 生態系統中的安全性、隱私和效率都是零知識證明有望發揮關鍵作用的領域。
在零知識證明中,證明者在不透露任何額外信息的情況下向驗證者證明一個陳述是真實的。如果證明者認為信息是私有的並且不希望驗證者看到它,這將特別有用。驗證者可以利用證明者獨特的數學證明來確定斷言是否正確。他們無法利用證明來拼湊缺失的數據。人們可以想像一條隧道有兩個不同的入口,標記為 A 和 B。通過隧道的唯一通道被一扇關閉的門擋住,需要特殊代碼才能打開(A 到 B)。由於您知道密碼,您提出將其賣給 X 夫人,以便她可以進入隧道。雖然你寧願她在你公開代碼之前先付錢給你,但她堅持要你立即展示你的代碼知識。具體來說,她可能會在隧道入口處等待並觀察你通過它的過程。這將使她相信您對代碼的了解是真實的。
數字交易中對機密性和安全性的需求推動了區塊鍊和加密貨幣中零知識證明的興起。 ZKP 滿足了區塊鍊和加密貨幣行業對一種在不洩露私人信息的情況下驗證交易的機制不斷增長的需求。近年來,零知識證明 (ZKP) 的使用越來越流行,一些基於 ZKP 的協議被發布,主要區塊鏈使用 ZKP roll-ups。在 DevCon 2022 大會上,超過 20% 的講座都是關於零知識證明的,這清楚地證明了它們的受歡迎程度。
一種稱為 zk-SNARKs 的特定類型的零知識證明 (ZKP) 的日益流行是該領域的一個關鍵進步。私人代幣交易和受保護的借貸只是 zk-SNARK 在 DeFi 領域的眾多用途中的兩個例子。通過 zkRoll-ups 在可擴展性和速度方面的改進也是最近零知識證明領域的重大突破。
一種特殊的零知識證明,稱為零知識簡潔非交互式知識論證 (zk-SNARKs),允許在不披露有關被證明陳述的任何細節的情況下確認陳述。 Zcash 和摩根大通基於區塊鏈的支付系統都使用了 zk-SNARKs。
作為區塊鍊網絡的擴展解決方案,zkRoll-ups 允許將大量交易合併為一個更大的交易,以便進行區塊鏈記錄。一個例子是 BNB Chain,它在 2022 年發布了基於 zkRoll-up 協議的 zkBNB 測試網。數百筆交易可以通過 zkBNB 在鏈下捆綁在一起,並且可以生成加密證明以立即驗證所有交易的合法性。對於大規模、低延遲的應用程序,zkRoll-ups 是一個不錯的選擇,因為它們在可擴展性和安全性之間提供了平衡。
零知識證明的一些應用已經取得成果,而其他應用預計將在不久的將來實現。
用戶的身份可以通過零知識證明來驗證,而不會洩露他們的任何私人信息。這在數字投票系統等環境中具有潛在用途,在這些環境中,用戶的身份必須在不洩露其真實身份的情況下進行身份驗證。
零知識證明廣泛應用於加密領域,最常見的應用之一是促進私人交易。為了在去中心化交易所 (DEX) 上進行匿名交易,Manta Network 的 MantaPay DApp 使用了零知識證明 (ZKP)。該平台的用戶在使用該服務開展業務時能夠保護他們的匿名性。
加密貨幣 Zcash 使用零知識證明來允許匿名交易。為了保護用戶的匿名性,這些交易向公共區塊鏈隱藏了發件人和目標地址,並混淆了發送或接收的交易。
可以使用零知識證明對資產進行代幣化並驗證其所有權。例如,標記財產使任何人都可以在不披露任何其他個人信息的情況下確認其所有權。
金融數據的收集和傳播在一些國家受到嚴格的規定約束,這對於去中心化系統來說可能具有挑戰性。通過使用零知識證明,敏感數據可以在不被窺探的情況下被傳達給監管機構。通過彌合去中心化平台和傳統金融機構之間的差距,這可以使 DeFi 更容易滿足不同國家的監管要求。
未來可能的技術進步可以歸因於零知識證明。
隨著區塊鍊和 DeFi 生態系統的成熟,對跨區塊鏈互操作性的需求也在增長。跨鏈隱私層將使跨多個區塊鍊網絡執行匿名交易成為可能。
此外,一種稱為 zk-STARKs(零知識可擴展透明透明論證)的新型零知識證明正在被更頻繁地使用,因為它比 zk-SNARKs 更高效和安全。
密碼學這一領域的複雜性和不熟悉使得零知識證明技術成為一些開發團隊的挑戰。通過為來自各種學科的開發人員提供對直觀的 ZKP 工具包的訪問權限,可以縮小這種鴻溝。
儘管零知識證明提供了一種在不洩露私人細節的情況下確認信息真實性的新方法,但沒有這樣的證據可以被認為是絕對可靠的。用戶應該意識到 ZKP 並非萬無一失,即使在證明者說謊時進行驗證的可能性很低。最重要的是,零知識證明技術需要大量的處理能力。在某些類型的 ZKP 中,驗證者和證明者之間的大量聯繫使得高性能計算成為必須。然而,在某些情況下,算法的處理需求可能會使 ZKP 的實際使用變得不切實際。
零知識證明吸引了很多人的興趣,因為它們具有隱私保護和大規模可擴展性的潛力。在區塊鏈、加密貨幣和 DeFi 中越來越多地使用這種加密貨幣應該意味著引入能夠極大地惠及消費者的尖端產品。 DApp 生態系統中的安全性、隱私和效率都是零知識證明有望發揮關鍵作用的領域。