Nouveau post sur notre blog ! Nous passons en revue une implémentation complète en Rust de l'Algorithme 6 du document BDDT, combinant les optimisations SVO et Eq-Poly en un seul prouveur fonctionnel.