鏈聞消息，去中心化交易所協議 0x 宣佈開源 Rust 實現的零知識證明（ZKP）系統 OpenZKP，旨在基於 DEX 可擴展性和性能方面推進試驗構建更通用的解決方案。該解決方案構建了一個易於使用的低級別界面，任何人都可以與之交互，是目前可用最小證明量中最快的證明實現。與閉源相比，OpenZKP 具有幾個主要優點：1）任何人都可以在其他人工作的基礎上爲 OpenZKP 做出貢獻，2） OpenZKP 可審覈，因此，任何人都可自行查看代碼並確定是否存在安全漏洞，3）開源實現保證了項目的連續性，因爲只有在所有源代碼都可訪問的情況下，0x 協議才能獨立於其創建者起作用。目前 OpenZKP 庫可供開發者使用。STARK 最大優勢是重複性約束下的一種快速證明實現，並擁有高級別的密碼安全性能，不需要進行可信設置，還可抵禦量子計算機的攻擊。STARK 的數學也比某些替代方法更簡單，可簡化證明者和驗證者的開發，其密切相關的系統（例如 Aurora）也正在進行積極應用開發。STARK 的主要缺陷是，作爲一門新的約束語言，其相關工具還不完善。另外它的證明大小約爲 100kB，比一些其他系統要大。

來源鏈接