ZK 證明系統正在趨同，但很少有團隊在生產環境中構建同時包含 STARKs 和 SNARKs 的架構。

ZKM Research 的最新文章詳細介紹了我們的證明系統如何橋接兩者——在內部使用 STARKs 進行證明生成，然後遞迴地 SNARKing 輸出，以便在 @ethereum 和 Bitcoin 等區塊鏈上進行驗證。

這種混合方法旨在優化管道的每個階段的效能：

🔸 STARKs 用於快速、透明、具有量子韌性的證明建構

🔸 SNARKs 用於緊湊、高效、對 L1 友好的驗證

我們分解了這種雙重設計的工作原理、其背後的原理，以及為什麼它對於大規模的真實 zkVM 部署至關重要 🟠

閱讀更多：https://t.co/VdaagV12cO

對於跨鏈構建實用 zk 基礎設施的開發者：https://t.co/U4t30nienn