ZKP如何確保Web3的隱私和安全？_ARK:STARK幣

以太坊目前使用零知識證明（ZKP）作為擴展解決方案已成為不可忽視的趨勢。零知識證明可以在不改變區塊大小或速度的情況下提高區塊鏈的吞吐量，從而使區塊鏈用戶實現隱私和安全。ZKP允許驗證者確定某些事情是真實的或交易是有效的，而無需知道細節。如果沒有 ZKP，則交易數據的驗證要求該數據公開可見。

ZKP對隱私的保護是其安全性的最佳體現。零知識證明（ZKP）提供了一種替代方案。使用ZKP，證明者可以證明對秘密的了解，而不會透露秘密本身。相反，密碼是最常見的用戶身份驗證形式。如果用戶可以提供正確的密碼，則會授予他們訪問帳戶的權限。基于密碼的身份驗證的局限性之一是它要求雙方都知道密鑰。要驗證用戶的密碼，服務器還需要知道他們的密碼（或至少知道其哈希值）。

什么是零知識證明（ZKP）？

想象一下，你有一個患有色盲的朋友，他懷疑紅色和綠色實際上是不同的顏色。ZKP對于兩個顏色不同但其他方面相同的球，可以在不透露每個球的實際顏色的情況下證明這一點。在這個證明中，驗證者（也就是你的色盲朋友）隱藏了兩個球。然后，他向證明者展示一個球并再次隱藏它，并詢問顯示的兩個球是否是同一個球。

從理論上講，證明者能夠區分球的唯一方法是顏色。如果證明者說的是實話，他們總是能夠說明兩個球是否相同。如果他們撒謊，他們每次都有50%的機會是正確的。這是ZKP的一個例子，因為它證明了球是不同的顏色，而沒有揭示哪個球是哪種顏色。證明者可以保留秘密，但需要向驗證者證明他們知道這個秘密。

Polygon zkEVM聯創：Polygon zkEVM能夠以0.000058美元的費用證明一筆交易的真實性:金色財經報道，Polygon zkEVM聯合創始人 Nailwal 表示，Polygon zkEVM 能夠以 0.000058 美元的費用證明一筆交易的真實性。這使得其生態系統的成本對于 dApp 及其用戶而言幾乎可以忽略不計。所以你現在擁有非常便宜的成本 txns，到L1的出口時間小于5分鐘，無需等待 7 天。[2023/6/11 21:29:07]

圖：如果有 10 個可能的答案，證明者猜出每次迭代的答案的概率

區塊鏈的數字分類賬技術是完全透明的，這意味著每個人都可以看到一切。驗證交易和執行智能合約代碼的需求意味著交易的源目標和內容對所有區塊鏈賬戶都是可見的。因此，區塊鏈上的隱私有限，因為任何人都可以查看帳戶錢包的內容及其執行的每筆交易。

ZKP能夠通過啟用交易驗證而不泄露交易內容來提高區塊鏈上的隱私和安全性。例如，如果轉賬的輸入是唯一的，并且輸入和輸出的總和相等，則金融轉賬（如發送比特幣）是有效的。ZKP可以證明這一點，同時保持輸出分配的機密性，從而改善了區塊鏈上的隱私。

以太坊ZK協處理器Axiom推出演示應用程序:1月31日消息，以太坊ZK協處理器（coprocessor）Axiom旨在提供智能合約對所有鏈上數據的去信任訪問，使得開發人員可以訪問歷史鏈上數據，并通過向Axiom進行查詢來對其執行經過驗證的計算，以通過零知識證明增強區塊鏈共識。

Axiom在以太坊主網上啟動4個演示應用程序，使用戶能夠證明賬戶年限、證明Uniswap v2 TWAP值、訪問RanDAO隨機性等，同時也開源其演示背后的ZK電路和智能合約。[2023/1/31 11:38:17]

ZKP如何改變網絡安全？

在基于密碼的身份驗證和數字隱私的世界中，ZKP可能改變現代網絡安全的游戲規則。網絡安全中的許多方法都涉及解決以下問題：

如何在不輸入敏感信息的情況下注冊服務？

如何在不泄露社會安全號碼的情況下證明用戶的身份？

如何保護用戶的密碼免受互聯網黑客攻擊？

ZKP有可能通過允許服務驗證必要的信息來解決這些問題和其他問題，而無需用戶披露這些信息。這消除了第三方服務在數據庫中存儲敏感信息的擔憂，并且用戶不需要通過不安全的網絡發送敏感信息。

Reddio上線StarkEx提供支持的zkRollups API主網:9月29日消息，區塊鏈基礎設施服務商Reddio宣布，上線由StarkWare擴容引擎StarkEx提供支持的zkRollup API主網。Reddio表示，開發人員可以使用Reddio在zkRollup上構建應用內和游戲內NFT市場、擴展應用和游戲資產交易、使用Javascript SDK和Unity SDK以0 Gas費鑄造NFT等，具有低Gas費用和即時確認等特點。[2022/9/29 6:01:45]

ZKP有3個屬性。首先，完整性：如果陳述是正確的，證明者可以說服驗證者。第二，合理性：如果陳述是錯誤的，證明者就無法說服驗證者。第三，零知識：驗證者無法獲得任何其他信息，除非陳述是正確的。

交互式零知識證明無法滿足區塊鏈系統的高性能的要求。于是zkSNARKs系統應運而生，這是一個非交互式的零知識證明系統，滿足區塊鏈系統的性能要求。它被一些具有隱私性的加密貨幣系統廣泛使用。

在加密貨幣系統中，zkSNARKs的工作原理是這樣的。首先，項目設計者設計協議。在協議中制定一些合法交易的規則。要證明交易是合法的，用戶需要證明交易遵循這些規則。然后，用戶可以使用電路語言編寫這些規則，并將其轉換為QAP系統。然后，開發人員或社區將進行設置以生成驗證系統的參數。

ZKSwap 移動端流動性新功能上線:官方消息，北京時間2021年6月1日，二層交易協議 ZKSwap 移動端（iOS&安卓）最新版本已經正式上線，新增添加移除流動性等功能，并修復了諸多使用不便的問題。目前，ZKSwap 移動端已經實現了網頁端的大部分功能，用戶通過手機即可實現零gas費的 Layer2 實時操作。

ZKSwap 移動端 Beta 版本（iOS & 安卓）于 4 月中旬正式對全球社區公布，截止目前已經平穩運行了將近2個月的時間，移動端使用用戶數量超千人，正式版預計將于6月下旬正式上線。[2021/6/1 23:01:45]

當有人想向其他人匯款時，他可以創建加密交易。然后使用證明密鑰生成證明 pi，告訴其他人此加密交易是合法的。然后，他可以將加密的交易和證明發布到區塊鏈。然后，每個人都可以驗證并接受此交易。

ZKP的風險與挑戰

第一，ZKP加密貨幣中會有實現漏洞。第一種錯誤是內存損壞。但是，大多數新的ZKP加密貨幣系統都是用具有內置安全性的語言實現的，例如java，go。因此，似乎不可能在它們上找到內存損壞錯誤。還有一些是用C++編寫的，例如libSNARKs。但是，這些應用程序中的ZKP場景很難被利用。因此，內存損壞錯誤在這里不起作用。

Gate.io將為ZKS持倉用戶分發ZKS空投，空投比例為1:1:據Gate.io芝麻開門行情顯示，截止今日10:10，ZKS 24H最高漲幅160.66%，當前漲幅112.78%，24H最高報價9.673美元，當前報價8.134美元，24H現貨交易量達2285.35萬美元。

Gate.io將于2月25日早上10點按照用戶ZKS持倉余額快照為用戶空投ZKS，空投比例為1：1，Gate.io平臺用戶無需任何操作即可領取空投，空投完成后可在賬戶資金中查看。由于本次空投數量很大，在為用戶空投ZKS期間將暫停ZKS交易，并于2月25日中午12點重新開盤，請務必開盤前及時調整掛單價格。[2021/2/21 17:36:23]

第二種是邏輯錯誤。在協議設計、電路實現或應用邏輯中存在許多邏輯錯誤。此外，在加密方案的實施中也存在許多錯誤。由于ZKP加密貨幣系統總是使用一些新設計的加密貨幣，因此使用新的加密貨幣，會出現新的錯誤。設計zkp加密貨幣的目標是實現隱私，性能和易用性。但是，這些屬性彼此沖突，因此協議將始終變得非常復雜。并涉及大量的加密貨幣。

要構建 ZKP 應用程序，應用程序開發人員只需使用一些 ZKP 庫即可。但是，由于對ZKP技術缺乏足夠的了解，他們的代碼很容易受到攻擊。第一個例子是信號量雙花攻擊。除了邏輯錯誤之外，ZKP項目的加密實現中也存在許多錯誤。ZKP項目總是使用很多新的加密方案，而實施這些新的加密方案總是會導致新的錯誤。

ZKP加密貨幣的第三個安全風險是信托風險。zkSNARKs系統的基本思想是：提前生成驗證者的挑戰x。為了解決這個信任問題，我們可以使用安全多方計算（MPC）來生成加密的x。然后沒有人知道x的明文，沒有人有后門。如果一個輕量級節點想要解密交易，他需要將他的解密密鑰交給一個完整的節點。而且ZKP計算總是成本很高，所以它對輕量級節點并不那么友好。因此，我們可以得出結論，輕量級節點幾乎沒有隱私。

這是因為隱私實際上與易用性相沖突。目前市場上沒有好的解決方案。許多ZKP系統在數學上是完美的零知識，但是，完美的零知識并不意味著完美的隱私。在實際使用ZKP時，存在許多信息泄露。ZKP技術相對較新，發展非常迅速。但它正在改進ZKP加密貨幣可以提供強大的匿名性。

ZKP領域的明星玩家

STARKWARE是ZKR領域的頂級玩家之一，推出了通用StarkNet，最近以80億美元的估值籌集了1億美元，使用了兩種主要的 zk 技術：zk-SNARK 和 zk-STARK。STARKs與基于SNARK的算法的優勢在于它們不依賴于可信的設置，使得STARKS量子具有抵抗力，并且具有更快的證明時間，這是它們最實際的好處，也是當今近期可擴展性的主要瓶頸。.

對于STARKs來說，證明和驗證時間隨著計算的復雜性而準線性地擴展，而對于SNARK，它們則線性擴展。由于協議需要更多的規模/計算，STARK將看到越來越大的優勢。STARKS的缺點是它們的尺寸比SNARKS大得多，因此需要更多的鏈上存儲并且驗證成本更高。

像任何東西一樣，zk-SNARK 和 zk-STARK的選擇是一種權衡，取決于正在構建的內容。對于需要極大量計算和規模的產品，STARKS將更適合。它們將大大加快速度，并且證明者/驗證成本將在更多用戶之間分攤。如果構建一些計算強度較低的東西，那么也許你不需要STARKs，而SNARKs更實用。

到目前為止，STARKEx一直是StarkWare的主要產品，但他們現在正在加大力度推出他們的智能合約鏈StarkNet。我們還沒有看到基于ZKP的通用智能合約鏈的主要原因是，簡單地說，它們非常難以工作。EVM是在ZKR成為一個想法之前構建的，因此zkEVM由于對橢圓曲線的支持有限，不同的字大小，特殊的操作碼以及更多不能很好地與有效性證明配合使用的問題，因此zkEVM面臨著許多設計挑戰。

另一個缺點是ROLLUP需要等待在以太坊上進行更改/升級，以保持完全兼容性。雖然可以從龐大的 EVM 開發人員生態系統中受益，但它是一個受約束的環境，其靈活性有限，并且未針對 ZKP 進行優化。雖然StarkWare已經開發了一個名為Warp的Solidity編譯器，但這不是他們的重點，而是努力用他們自己的語言針對STARK進行了優化。

正如我們所強調的那樣，StarkWare團隊沒有試圖將EVM安裝到StarkWare中，這是一個非常具有挑戰性的問題，而是專注于從頭開始構建一個新的開發人員生態系統，這很難引導，但如果成功，將具有實質性的長期優勢。使用針對ZKP優化的語言作為一種沒有工具的新語言，這不是一件容易的事，但在2022年已經取得了長足的進步。

該領域的主要瓶頸是證明成本。隨著復雜性和計算的上升，它將增加證明時間并需要進一步的硬件加速，這對于試圖啟動的項目來說是一個重大障礙（取決于以太坊的gas成本?100萬美元/年）。從長遠來看，驗證行業很可能是專業人士的天堂，并且隨著硬件的進步和采用的幅度增加，攤銷的證明成本應該會大大降低每筆交易的成本。

正是在這一點上，ZKP需要很多年才能達到最終形式，但即將推出的完全可組合的智能合約鏈是第一步。圍繞他們的設計空間和生態系統發展空間廣闊，發展步伐不斷加快。它不會在一夜之間發生，但大規模采用的道路是明確的。

財經法學

成都鏈安

金色早8點

Bress

鏈捕手

PANews

Odaily星球日報

Tags：ZKPARKSTARKSTAzkProofMARKGOATSTARK幣FLUSD Stable Coin

比特幣價格