📝 嗨，我是 𝟏𝟎，這是 #區塊鏈發展史 的科普系列，本期內容：零知識證明。
零知識證明（ZKP）是一項密碼學突破，ZKP 現在也是區塊鏈追求的核心目標之一，未來它可能會讓我們的隱私和安全都上個大臺階。
👇👇👇
一、 零知識證明是什麼
零知識證明（ZKP）是一種密碼學技術，允許證明者在不泄露任何具體信息的前提下，向驗證者證明自己掌握某一事實。它於 1985 年由 Shafi Goldwasser、Silvio Micali 和 Charles Rackoff 提出。零知識證明的核心在於：驗證者可以確認證明的真實性，但無法從中獲得額外的信息。
舉個例子：如果我要證明我知道某人的電話號碼，我無需公開號碼，只需撥通電話即可。驗證者知道我能聯繫到對方，卻不知道號碼具體是多少。
二、 零知識證明的特徵
零知識證明是一種驗證技術，驗證者無需瞭解具體細節即可確認聲明的真實性，具備完整性、合理性和零知識三個特性。
完整性表示，如果聲明是真實的，驗證者一定能被說服，即“真的錯不了”；合理性意味着如果聲明是假的，驗證者幾乎不會被欺騙，即“假的對不了”；零知識則指驗證者除了確認聲明是真實的，不會獲得任何額外信息。
零知識證明依賴概率性驗證，儘管有極小的誤差可能，但可以通過多次驗證降低到幾乎爲零。簡單來說，證明者必須知道真實信息才能通過驗證，隨意猜測很容易被識破。這種方式既能保護隱私，又保證驗證結果的準確性
三、 零知識證明的主要兩種類型
1、 交互式零知識證明：在這種方式中，證明者和驗證者需要進行一系列的互動，證明者通過完成一系列任務或操作來證明自己掌握某些信息。這些任務通常涉及一些數學概率的計算，驗證者通過這些操作來確認信息的真實性。
2、 非交互式零知識證明：與交互式不同，這種方式無需證明者和驗證者實時溝通。證明者通過事先的計算生成一個證明，驗證者隨後可以對其進行驗證。這個過程不需要互動，驗證者只需檢查提供的證明即可確認信息的有效性。
四、 零知識證明的 Web3 用例
1、 鏈下計算與擴展性：ZKP 可以幫助區塊鏈擴展，像 ZK-Rollups 通過把計算工作轉移到鏈外處理，讓以太坊等區塊鏈的處理速度變得更快，效率也大大提升。
2、 跨鏈橋聯：通過 ZKP 技術，跨鏈交易可以更加安全，像 Wormhole 和 ZKBridge 就在使用這種技術，解決了不同區塊鏈之間的互通問題。
3、 鏈上游戲：區塊鏈遊戲有一個大難題——怎麼在公開透明的鏈上保守自己的策略祕密呢？ZKP 就是解決方案！它能夠“隱藏”遊戲中的部分信息，比如在(黑暗森林)這種遊戲中，玩家可以保持自己的策略不被其他人看到，確保遊戲的公平性和玩家的隱私。
4、 資產安全：ZKP 提高了 Web3 安全性，通過有效性證明，確保用戶資產的安全性和數據準確性。
5、 用戶驗證：ZKP 讓用戶可以在不泄露私人信息的情況下，證明自己的身份，比如登錄時只需要一個 ZK Proof，系統無法知道你真實的密碼。
6、 文檔共享和存儲保護：在網絡上共享文件經常會擔心數據泄露，ZKP 則能加密你的數據，確保只有被授權的人才能查看。
五、 採用 zk-STARK 的項目
StarkEx
StarkEx 是一種以太坊上的 Layer 2 擴容方案，通過使用 STARK證明 來驗證交易，從而提升交易處理速度和降低成本。它主要用於支持交易和支付應用，像 DeversiFi、Sorare 和 dYdX 等項目都基於 StarkEx。不過，StarkEx 的限制是它 不支持智能合約，這意味着它無法像其他平臺那樣實現完全功能的去中心化應用（dApp）。
StarkNet
StarkNet 是一個通用平臺，允許開發者在以太坊的 zk-rollup 上部署智能合約。像 Aave 和 Maker 這樣的熱門以太坊應用也計劃在 StarkNet 上推出，以提升可擴展性。StarkEx 的 zk-rollup 也可以在 StarkNet 上運行，從而進一步優化應用的擴展性能。
六、 尾巴
如果內容對你有幫助，還請點贊評論關注，支持一下，謝謝！！！🌅
