ARK:Pantera 合伙人：當前 ZK 解決方案和用例一覽

作者：PaulVeradittakit，PanteraCapital管理合伙人

編譯：xiaozou，金色財經

簡介

區塊鏈為安全的、去中心化的交易開辟了新的途徑，為去中心化金融和數字身份服務等發展鋪平了道路。然而，盡管取得了這些成就，一系列的限制條件持續阻礙著區塊鏈和加密貨幣的更廣泛采用。以下是區塊鏈和加密貨幣面臨的一些主要挑戰：

吞吐量：隨著區塊鏈和加密貨幣的采用增長，網絡變得越來越擁擠，導致交易時間變慢、費用成本增加。

安全性：為了降低費用和成本而做出安全性妥協，導致安全漏洞和黑客事件，將資金和技術聲譽置于風險之中。

隱私性：任何人都可以看到公共區塊鏈網絡上的交易，暴露敏感的財務信息，為個人和企業帶來隱私問題。

零知識技術為解決這些問題應運而生，得到發展。這個想法首次出現在20世紀80年代末，起源于計算機科學和密碼學。兩個人可以使用零知識獨立地確認所述內容的真實性，而無需透露任何進一步的信息。簡單來說，證明者可以向驗證者證明一個聲明是真實的，而不需要通過其他簡單的證明來揭示潛在的細節。這項技術有望顯著提高區塊鏈和加密貨幣交易的隱私性、安全性和可擴展性。

零知識證明必須遵循三個基本屬性：

完整性：如果一個聲明可驗證為真，一個遵循既定協議的誠實的驗證者，將被一個誠實的證明者確認其真實性。

穩健性：如果被證明的聲明是假的，那么一個說謊的證明者是不可能使一個誠實的驗證者相信它的真實性的，即使可以，概率也小到可以忽略不計。

零知識性：如果聲明被證明是真的，驗證者將不會獲得任何超出所證明聲明以外的額外信息。

Animoca Brands Japan宣布已投資Passion Labs:2月24日消息，Animoca Brands Japan宣布已投資Passion Labs，這是一個提供客戶體驗和社區參與工具的平臺，旨在賦予用戶數據所有權并幫助品牌建立社區。

Animoca Brands Japan將與Passion Labs合作，利用Passion Labs的技術在日本進行KOC（主要意見消費者）分析，幫助日本公司制定其Web3戰略并創建Web3社區。[2023/2/24 12:27:35]

讓我們通過一個簡單的場景來深入研究這個問題。

假設你想買一處房產，需要申請抵押貸款。你必須把你需要提供給銀行核實的敏感信息發送過去，但你又想保密。另外，你不希望銀行在驗證完成后保留任何數據訪問權限。

銀行將要求提供各種形式的文件來評估貸款申請，包括：

個人身份證明，如駕駛執照。

確保財務穩定的收入證明。

雇主的信息。

居住證明。

由于采用了零知識技術，貸款提供者可以在不看到這些信息的情況下驗證所有這些信息。相關文件可以作為加密哈希值發送，然后貸款提供者可以使用零知識證明方案對其進行驗證。在這種方法的幫助下，貸款提供者可以驗證數據的準確性，而不會危及到申請人的機密和隱私。此外，該程序可以重復，允許信息被眾多供應方驗證，而不會危及其隱私。

ZK在加密領域的關鍵創新

對于加密貨幣來說，零知識是一項改變游戲規則的關鍵技術，它提供了顯著的隱私和壓縮優勢。為了確保隱私，ZKP使用數學技術，允許在不泄露實際數據的情況下對信息進行驗證。此外，ZKP通過在緊湊的證明中存儲大量信息來提供壓縮的好處。

懷俄明州銀行專員擔任Fortress Trust Company CEO:金色財經報道，Fortress Blockchain Technologies今天透露，懷俄明州銀行部門的州銀行專員AlbertForkner已經加入Fortress信托公司，擔任首席執行官(CEO)。他領導著為Fortress Web3 B2B基礎設施生態系統供電的監管實體。Fortress提供了一套api驅動的B2B金融、監管和技術解決方案，用于NFT和加密技術創新者。由于Web3的倡議，這些開拓者正在改變世界，他們迫切需要一個可信的基礎來建立他們的業務。Forkner擁有超過20年的銀行監管經驗，并大量參與了特殊目的存款機構(SPDI)銀行章程，這是首個針對數字資產的此類框架。（cryptonews）[2022/6/8 4:09:42]

這種驗證所需數據量的減少提高了效率，這在存儲和處理能力受限的區塊鏈應用程序中尤其重要。此證明可用于在單個更新中驗證批量交易或狀態轉化。在這些應用程序中實現ZKP有助于保護敏感信息的安全和隱私，同時還通過減少驗證所需的數據量來提高效率。

ZK可釋放行業潛能

ZK解決關鍵挑戰的潛力對加密貨幣的增長和廣泛采用至關重要。讓我們來仔細了解一些問題及其對行業發展的影響。

互操作的安全性問題：在快節奏的DeFi世界中，互操作性對于無縫交易和有效交易至關重要。另一方面，當前的解決方案經常有嚴重的延遲，這可能導致延遲的、不可靠的交易。由于交易者必須能夠快速有效地下單，延遲可能對用戶體驗產生重大影響。

此外，目前的解決方案可能缺乏足夠的安全保障，使其容易受到大型網絡攻擊和其他類型的漏洞攻擊。為了解決這些問題，新的解決方案必須提供低延遲、高安全性和去中心化特性，允許交易者在DeFi生態中自信地操作。

Bagels Finance生態通證BAGEL上線PancakeSwap:據官方消息，北京時間2021 年8月24日11：00，跨鏈杠桿挖礦借貸協議Bagels Finance的治理代幣BAGEL上線PancakeSwap開始交易，截至目前，BAGEL最高報價4.46USDT，最高漲幅1500%。BAGEL上線6小時，全網交易量達到5,000,000美元，持幣地址超過2300個。

另外Bagels主網也同步上線開放存幣功能，6小時TVL突破10,000,000美元，Boardroom里BAGEL鎖倉超過130,000個，平均鎖倉3.79年。

據悉，BAGEL是 Bagels Finance 原生治理代幣，總供應量110,000,000，其中60%由用戶挖礦產出。持幣用戶質押BAGEL進Boardroom董事會智能合約，可參與Bagels DAO治理，同時可獲得平臺收益分紅。[2021/8/24 22:34:06]

擴展性問題：如果加密貨幣要充分發揮其潛力，可擴展性是一個必須解決的基本問題。目前，最快的區塊鏈每秒只能處理幾百筆交易。這與達到全球規模并吸引數億人所需要的擴展性能相去甚遠。可擴展性不僅由每秒交易數量定義，還由訪問模式定義。如果人們想要像使用互聯網一樣使用加密貨幣，它需要更大的可擴展性。

隱私性問題：加密行業里的許多人都擔心自己的隱私。目前，在去中心化金融中所做的一切都是明顯可見的，這違反了基本的隱私規范。人們希望以安全、保密的方式進行交易，但DeFi現有的透明度使此愿望很有挑戰性。難點在于要找到一種技術，既能保證隱私，又能保持DeFi正常工作所需的可聽性。

當前的ZK解決方案

下面是一些如何應用ZK來解決各種問題的示例：

聲音 | 摩根大通Nikolaos Panigirtzoglou：機構入市數量現在正在上升 這最終將使BTC價格更加穩定:據EWN 6月20日消息，摩根大通的Nikolaos Panigirtzoglou指出：“加密貨幣交易所夸大交易量造成了一些誤導，大家低估了比特幣期貨的重要性，市場結構可能發生了相當大的變化，機構投資者的影響力更大。BTC市場結構現在已經從2017年的零售驅動轉換成為機構購買，機構入市數量現在正在上升，這最終將使BTC價格更加穩定。“[2019/6/20]

ZK橋：ZK橋正在改變我們對區塊鏈之間資產轉移的看法。這些橋接采用zk-SNARKs技術，允許在多個區塊鏈網絡之間有效傳輸數據或資產，而不需要中央委員會。在這些系統中使用一個證明程序來向區塊鏈快速展示特定的狀態轉換已在另一個區塊鏈上發生。

該區塊鏈保存了另一個區塊鏈上最新區塊的摘要，并且可以通過創建和發送一個zk-SNARK來同步新區塊，該zk-SNARK驗證另一個區塊鏈的tip已經從以前的狀態推進到當前狀態。ZK橋接也是邁向未來的一步，在未來，區塊鏈更具互操作性，可以無縫地協同工作。

zk-EVM：零知識EVM是一個執行以太坊智能合約的虛擬機，并使用零知識證明來確保其準確性。它是以太坊零知識rollup擴展解決方案的一個組成部分，該解決方案通過鏈下計算和存儲來提高網絡吞吐量。zkEVM生成證明以確保字節碼訪問、讀寫操作和計算被正確執行。

它由三個部分組成：執行引擎、證明生成和證明驗證。zkEVM具有重要意義，因為它可以通過零知識證明檢查執行正確性并保護機密信息，為以太坊智能合約提供隱私和安全保障。這使得可以在De-Fi、醫療保健、供應鏈等領域創建安全、注重隱私的去中心化應用程序。

現場 | TokenPanda基金經理邵昱淇：資金規模過大過小都不適合量化交易:金色財經現場報道，12月14日，TokenPanda基金經理兼COO邵昱淇在由金色財經主辦的第五期金色沙龍現場進行了演講。他指出，資金規模過大或者過小都是不適合做量化投資的。他說，資金規模過大的時候，在一個交易標的里你的個人資金超過成交量的2‰，這時候有比較高的影響市場的可能性。[2018/12/14]

身份驗證：身份驗證是許多在線服務和應用程序的關鍵組成部分，但較早的技術通常需要披露個人信息。通過使用ZK證明來確認一個人的身份而不提供任何信息，ZK技術提供了一種新的、更安全的身份驗證方法。這為現有的程序提供了一個更具隱私性的替代方案，并為安全的在線交易提供了新的途徑。基于ZK的身份驗證系統尤其有利于關注隱私和安全的組織和消費者，并且有可能徹底改變在線銀行、電子商務等行業。

ZKDEX：零知識去中心化交易所是一種新的、前景光明去中心化交易所，它使用零知識證明技術，使用戶能夠以完全隱私安全的方式交易加密貨幣和其他數字資產。與傳統的去中心化交易所不同，ZKDEX允許用戶匿名交易，而不泄露有關自己或交易的敏感信息。

這種隱私保護功能是通過ZK算法實現的，該算法使用戶能夠在不透露任何額外信息的情況下證明其交易的有效性，并有助于緩解諸如搶先交易等問題。除了隱私和安全方面的好處，ZKDEX還提供了提高可擴展性和吞吐量的潛力，因為其支持更有效的訂單匹配和結算。因此，ZK?DEX被視為中心化交易所的一種有前景的替代方案，提供了兩全齊美的服務——既有去中心化交易的安全性和隱私性，又有中心化交易的效率和速度。

令人興奮的基礎設施/推動者

鑒于當前零知識技術的蓬勃發展，若干創意項目已經完成開發，以解決眾多行業和領域的各種難題。這些項目包括新穎的第二層解決方案、私人錢包、基于ZK的跨鏈資產轉移、注重隱私的交易等，它們利用零知識密碼學來實現對敏感信息的安全和秘密驗證。讓我們來看幾個例子：

Zcash：Zcash是一個去中心化的支付網絡，專注于隱私，使用零知識證明在公共區塊鏈上安全匿名地發送交易。這種加密機制使雙方能夠在不泄露底層數據的情況下驗證信息，允許Zcash用戶保護他們的財務隱私。網絡提供了兩種地址：透明的t-地址，可以在區塊鏈上監視，屏蔽的z-地址，完全加密且不可追蹤。用戶可以通過使用z-地址來確保他們的交易是完全隱私的，這使得Zcash成為最安全、最機密的加密貨幣之一。

隨著時間的推移，該網絡不斷發展，推出了HaloZKP等功能以及屏蔽優先的Zcash錢包，吸引了越來越多的機構支持。該網絡對ZKP的創造性使用使其成為隱私幣領域的領軍者，并且在珍視金融隱私的用戶中擁有忠實粉絲。

StarkWare：StarkWare是Pantera的投資組合公司，成立于2018年，宗旨是提高區塊鏈的可擴展性和隱私性。其旗艦產品StarkNet和StarkEx旨在通過利用zk-STARK證明技術的力量來解決當前區塊鏈系統的難題。StarkNet是一個基于以太坊的去中心化ZK-rollup，使用ZK-STARK證明方法來確認鏈下交易，減少以太坊網絡的計算壓力。

另一方面，StarkEx是StarkNet的中心化版本，專門為DeFi交易應用程序創建。它收獲了巨大成功，鎖定了6.96億美元的總價值，累計交易額為6350億美元，發行了6050萬件NFT。由于共享證明者技術，StarkNet和StarkEx都利用了zk-rollup，并由STARK證明驅動，允許執行低成本交易。此外，StarkWare的密碼學證明提供了零知識、透明、簡單和后量子安全，使其成為一個強大的區塊鏈選擇。

StarkWare的創始人EliBen-Sasson是著名的計算機科學教授和STARK證明的聯合發明人。他還為ZCash做出了重要貢獻，提高了StarkWare團隊的專業度。該項目已將UniswapV3納入其平臺，這是實現以太坊可擴展性的重要一步，并解決了現有區塊鏈系統面臨的一些基本難題。

Braavos：Braavos是Pantera的投資組合公司，是基于StarkNet的完整加密資產管理解決方案。它提供了一個基于智能合約的錢包，提高了安全性和用戶體驗功能。錢包由兩部分組成：應用程序和鏈上賬戶智能合約，即賬戶抽象。這使得在交易被處理之前可以對其應用任意邏輯，從而增加了安全性并改善了用戶體驗。

帳戶抽象支持多調用、多因素身份驗證、帳戶分割、paymaster等功能。內置的HardwareSigner通過利用帳戶抽象和生物識別身份驗證來保護錢包并防止盜竊，這讓專門的硬件錢包在所有實際用例中顯得過時了。有了這些功能和先進的安全措施，Braavos旨在讓任何尋求控制其加密貨幣獨立性的人都能簡單無憂地使用加密貨幣。

SuccinctLabs：SuccinctLabs正在開發一種無需信任的互操作性解決方案，使用鏈上輕客戶端和zk-SNARK技術安全地連接以太坊和Gnosis鏈。該公司致力于實現無許可互操作性的未來，并利用共識證明創建了一個信任最小化的跨鏈橋。該協議使用鏈上輕客戶端在目標鏈的執行環境中驗證源鏈的共識，這些客戶端跟蹤每對通信鏈的區塊頭，并依賴于底層L1鏈的共識所提供的經濟安全性，而不做任何額外的信任假設。

Brine：Brine是Pantera的投資組合公司，是一個獨一無二的DeFi平臺，為加密貨幣交易員和投資者提供完整的解決方案。它在無風險、無gas、快速和低費用的環境中結合了交易、DeFi和現貨交易的諸多好處。這項技術消除了信任、成本、速度、體驗和流動性之間的權衡，從而帶來更無縫的用戶體驗。Brine得益于這項技術的可擴展性、安全性和可靠性，因為它是建立在Starkware強大而安全的基礎設施之上的。

該平臺的匹配引擎的容量為600,000tps，可以處理高容量時段交易，并提供即時訂單執行。這讓它成為高速交易的絕佳途徑。它是一個基于訂單的平臺，為加密貨幣資產的購買和出售提供透明有序的市場。Brine為加密貨幣交易者和投資者提供了一種合理可行的替代方案，交易價格僅為0.1%，并且沒有gas費。此外，該平臺的跨鏈功能使交易員能夠從一個dashboard管理他們的資金，從而更容易管理他們的投資組合并做出明智的交易決策。由于Starkware技術的額外安全性和可靠性，Brine被定位為DeFi領域的顯著競爭對手。

Axiom：加密可編程性方面的新進展已經實現了無需信任的計算，但實施起來對智能合約開發人員來說仍然存在障礙。Axiom通過提供智能合約來訪問所有鏈上數據，并通過三步過程對其進行復雜計算，從而解決了這個問題。

這將產生經過ZK驗證的輸出，可以被任何下游智能合約使用，從而產生更具表達力和可信賴的去中心化應用程序。它有許多潛在的應用，包括去中心化身份、無需信任的會計以及安全投票。隨著智能合約能夠訪問所有鏈上數據并能夠執行任意計算，Axiom正在徹底改變區塊鏈的擴展方式，并為未來穩健和值得信賴的去中心化應用鋪平道路。

Mina：MinaProtocol是Pantera的投資組合公司，是O(1)Labs開發的區塊鏈網絡，強調安全性、可訪問性和去中心化。與其他區塊鏈不同，Mina采用“輕型”基礎設施，使用權益證明共識和zk-SNARKs來降低網絡共識所需的計算能力。

zk-SNARKs被用作區塊鏈摘要，包含了區塊鏈有效性的基于元數據的證明，這使得更小的數據可以被處理，并促進一個更民主和去中心化的網絡。MinaProtocol的小數據集允許用戶查看并驗證整個區塊鏈，還兼容去中心化應用程序，支持snark兼容的應用程序或“Snapps”使用來自各個鏈的數據，而不泄露用戶信息。憑借其創新的技術，Mina協議是去中心化金融領域的重要競爭者，因為它安全地將現實世界的數據帶到區塊鏈，并創造了徹底改變各個行業的機會。

結束語

零知識證明技術的發展正促進區塊鏈業務獲取重大進展。該系統解決了區塊鏈面臨的若干最緊迫的問題，包括可擴展性、隱私性和安全性問題。由于ZK的應用，以太坊網絡可以處理更多的交易，用戶數據通過加密保證得到保護。這項技術的持續改進為區塊鏈的未來提供了巨大的希望，并通過提供安全高效的解決方案來顛覆各行業。隨著時間的推移，見證ZK技術如何影響并塑造區塊鏈生態將是一件有趣的事。

Tags：區塊鏈ARKSTARSTARK區塊鏈存證quarkchain幣發行人FSTARSTARK價格

PEPE