Nytt inlägg på vår blogg! Vi går igenom en fullständig Rust-implementation av Algoritm 6 från BDDT-artikeln, där SVO- och Eq-Poly-optimeringar kombineras till en enda fungerande prover.