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

作者：PaulVeradittakit，PanteraCapital管理合伙人

編譯：xiaozou，金色財經

簡介

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

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

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

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

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

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

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

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

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

FTX Japan擬于下周在內部測試存取款流程，月底將公布恢復取款時間表:12月23日消息，FTX Japan發布公告稱，向客戶返還資產的計劃是我們的首要任務，必要的開發工作正在有序進行中。在12月的最后一周，我們計劃在沙盒環境中開始對存取款流程進行內部測試。

此外，FTX Japan表示，其總公司FTX Trading已于12月15日向美國破產法院提交了關于競標過程的請求，以便實施有序且有效的出售程序。這個過程中與FTX Japan相關的主要日程如下所示：2023年1月11日舉行破產法庭的請愿聽證會；2023年2月1日為初步投標截止日期；2023年3月21日舉行拍賣；2023年3月27日舉行關于出售的聽證。另外，上述申辦程序不會影響客戶取款和取款服務恢復的時間和計劃。恢復取款的時間表將在月底公布。[2022/12/23 22:03:36]

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

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

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

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

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

雇主的信息。

居住證明。

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

BSC生態項目PancakeHunny 遭遇黑客攻擊 黑客獲利 43 ETH:據PeckShield派盾追蹤分析，PancakeBunny的仿盤PancakeHunny遭到黑客攻擊，黑客獲利43ETH（合計10余萬美元）。[2021/6/3 23:07:40]

ZK在加密領域的關鍵創新

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

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

ZK可釋放行業潛能

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

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

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

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

HyperGraph 發布 Pancake 數據同步示范站:據官方消息，HyperGraph 剛剛發布了 Pancake 數據同步示范站。據數據顯示，Pancake官方方案在此區間已無法趕上鏈上速度，但HyperGraph解決方案目前速度仍保持4-5個區塊/秒，是鏈上速度的12-15倍。預計此方案將大幅度提升HyperGraph的高性能區塊鏈數據處理效率。[2021/5/4 21:22:03]

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

當前的ZK解決方案

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

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

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

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

Pangolin：高流量導致Avalanche錢包API節點暫時關閉，將延遲推出APP:基于Avalanche的去中心化交易所Pangolin發推稱，高流量導致Avalanche錢包API節點暫時關閉。為了確保用戶可以訪問其非托管AVAX錢包，將推遲一段時間推出Pangolin APP，并稱將很快啟動。Pangolin還補充道，這純粹是API問題，與協議無關。節點都沒有問題。[2021/2/10 19:25:20]

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

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

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

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

Gold Glory Blockchain Company Inc基于NEO生態搭建EPIPHANY體系:美國FINCEN持牌機構Gold Glory將基于NEO生態搭建智能交易聯盟體系EPIPHANY，并在NEO開發者社區構建核心開發團隊，在NEO公有鏈層生成EPN。同時EPIPHANY交易體系，將優先為NEO生態體系提供數字資產流通、交易服務。EPIPHANY交易體系主要服務于北美，香港的持牌數字資產交易平臺；EPN同時將作為EPIPHANY體系的權益憑證。Gold Glory作為MSB持牌機構，將持續在SEC與FINCEN監管體系下合規運營資產數字化與數字資產交易服務。[2018/1/28]

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

鑒于當前零知識技術的蓬勃發展，若干創意項目已經完成開發，以解決眾多行業和領域的各種難題。這些項目包括新穎的第二層解決方案、私人錢包、基于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：區塊鏈ARKPANSTARK我朋友做區塊鏈被捉了怎么辦SKYLARKpandacoin-pndstarknet幣價分析

Filecoin