Saraiva, Lorenzo, and Edward Hermann Haeusler.
" Quantum Verification of Compressed Proofs through DLDS-to-Circuit Compilation." <em>Anais do I Simpósio Brasileiro de Computação e Comunicação Quânticas,
Gramado/RS, 2026</em>. SBC, 2026,  
pp.131-142.