我们博客上有新文章！ 我们详细介绍了来自BDDT论文的算法6的完整Rust实现，将SVO和Eq-Poly优化结合成一个可工作的证明器。