snark

ChainCatcher 消息，Vitalik Buterin 于 X 發文表示："我們需要加快步伐的眾多事情之一就是廢除 Groth16。每個應用程序的可信設置在 2020 年代是不可行的。至少要有通用設置，理想情況下根本沒有設置。這需要在基礎設施和新 SNARK 算法的標準化方面進行重大改進。"據悉，Groth16 算法是 Jens Groth 在 2016 年發表的算法。該算法的優點是提供的證明元素個數少（只需要 3 個），驗證等式簡單，保證完整性和多項式計算能力下的可靠性。

ChainCatcher 消息，以太坊基金會研究員 Justin Drake 發布論文，披露了 BeamSNARKs 算法相關的細節。BeamSNARKs 是一種強化的 ZK 算法，使證明者能夠向驗證者證明聲明的真實性，而不會洩露底層數據，也不需要互動。對於以太坊來說，Moonchain 開發實現的 BeamSNARKs 在隱私性和可擴展性兩個關鍵方面具有變革性。在隱私方面，BeamSNARKs 允許在不暴露敏感數據的情況下驗證交易或計算，從而支持保密交易和私有智能合約等用例。據悉，Beam Chain 是以太坊 3.0 時代不可或缺的共識層改進。這是 Justin Drake 在 DevCon 上宣布的一項重新設計以太坊的提案。以太坊預計將花費數年的時間，從 PoS 時代徹底過渡到 ZK 時代，屆時以太坊自身將全面具備 ZK 能力。

ChainCatcher 消息，据 CoinDesk 報導，支持比特幣二層網絡的基礎設施 BitcoinOS （BOS）表示已開源 BitSNARK 驗證協議，以便在比特幣中進行進一步實驗。該團隊稱，BitSNARK 允許 zk-SNARK 證明在比特幣上運行，而無需更改核心協議。借助先進的加密技術，任何代碼都可以編譯並運行到比特幣上。

ChainCatcher 消息，以太坊基金會成員 Justin Drake 在 AMA 中回答"是否還有進一步擴展以太坊 Layer 1 的計劃？"問題。Justin Drake 表示："長期可持續的優雅計劃是利用 SNARKs 上無限制地擴展 L1 EVM 的執行。通過實時 L1 EVM SNARKing，驗證者可以驗證廉價的 SNARK，而不是重新執行 EVM 交易。除了大幅增加 L1 EVM Gas 限制帶來的垂直擴展優勢之外，還有機會使用 EVM-in-EVM 預編譯來進行任意水平擴展，以廉價地驗證 EVM 內的 EVM 執行。"

ChainCatcher 消息，据 The Block 報導，a16z Crypto 發布名為 Jolt 的 zkEVM 解決方案，以利用 SNARK 為 EVM 兼容 Rollups 提供框架。a16z Crypto 表示："除了速度的提高之外，由於 Jolt 基於新的設計範式，開發人員更容易擴展，也更容易審計，從而提高安全性。"

ChainCatcher 消息，零知識證明加速平台 Ulvetanna 發布名為《Binius：硬體優化的 SNARK》研究論文，展示了一種基於二進制字段的 SNARK 性能優化構建方法，並闡述其能在現實世界 ZKP 生成過程中能夠帶來的性能提升。此外，團隊正在致力於該系統的 Rust 實現方法（名為 Binius）

ChainCatcher 消息，Andreessen Horowitz 的加密貨幣部門 a16z crypto 推出了兩項基於 SNARK 的新技術 Lasso 和 Jolt，為 SNARKs 設計提供了一種更有效的方法，可能會讓開發人員更快、更容易理解，有可能促進 Layer 2 中 ZK-rollups 的發展。文中稱，Lasso 採用了"查找參數"機制，有利於更快的零知識證明。 Jolt 是一個專為與以太坊虛擬機兼容的 Roll-ups 設計的框架。它被描述為一種利用 Lasso 構建 SNARK VM（通過 SNARK 證明的虛擬機執行）的新穎方法。

ChainCatcher 消息，在黑山舉辦的 EDCON 2023 大會上，以太坊聯合創始人 Vitalik Buterin 表示，未來 10 年，zk-SNARK 將與區塊鏈一樣重要。以太坊社區大會（EDCON）於 2023 年 5 月 19 日至 23 日在黑山波德戈里察舉行，本次會議演講嘉賓包括了以太坊聯合創始人 Vitalik Buterin、以太坊核心開發者 Tim Beiko、以太坊基金會 Devcon 團隊負責人 Skylar Weaver 與以太坊基金會研究員 Vlad Zamfir、Piper Merriam、Andy Guzman 等。（來源鏈接）