We cast the problem of design optimization as as (implicit) conditional generation, we provide general theoretical guarantees and show its benefits empirically on standard protein engineering benchmarks