後量子SNARK變得透明。 @zksecurityXYZ 的 Greyhound 展示了 👇

@zksecurityXYZ Greyhound 是一種基於透明晶格的 SNARK。它利用了結構化格子、Ajtai 承諾和高效的證明生成技術。

@zksecurityXYZ 核心創新：用晶格假設取代傳統的離散對數或基於配對的設置，以後量子安全性為目標，同時保持簡潔性和可驗證性。

@zksecurityXYZ Key 原語：Ajtai commitment。它使用最壞情況下的晶格硬度問題（例如 SIS）來綁定提交的值。Greyhound 將其部署在其多項式承諾和知識證明系統中。

@zksecurityXYZ Greyhound 的協定在整數格上運行。它避免了通過公開選擇的參數進行可信設置。安全性來自量子對抗下晶格問題的硬度，而不是群序假設。

@zksecurityXYZ 效率：作者報告了證明者和驗證者的“高效構建”。雖然 Greyhound 仍然比基於配對的 SNARK 大，但它通過向量/矩陣的模組化作進行擴展，更適合格優化的硬體。

@zksecurityXYZ 驗證器性能：電路大小的常數或對數，具體取決於參數化。它依賴於 lattice 承諾的特徵性抽樣和檢查程式，旨在減少交互性和驗證器開銷。

@zksecurityXYZ 集成角度：Greyhound 可以通過模組化替換承諾方案來適應現有的SNARK 工具鏈。它不強制要求重新設計電路抽象，使其對於後量子過渡具有實用性。

@zksecurityXYZ 從密碼學的角度來看，它展示了可行性：透明設置、格子假設和高效的證明結構。關鍵問題仍然存在於具體證明大小、參數優化和實際實現性能方面。

@zksecurityXYZ 簡而言之，Greyhound 是一個基於 Ajtai 承諾的基於格子的 SNARK。它無需可信設置即可實現后量子安全性，旨在實現實用的證明大小和驗證器效率。它為將抗量子加密技術集成到現有系統中提供了路線圖。

@zksecurityXYZ 閱讀部落格文章 👇

@zksecurityXYZ ZK 最新、最棒的 ZK，每月 👇