我們的部落格有新文章！ 我們將完整介紹來自BDDT論文的算法6的Rust實現，將SVO和Eq-Poly優化結合成一個可工作的證明器。