SigmaSuite: How to Minimize Foreign Arithmetic in ZKP Circuits While Keeping Succinct Final Verification. - Wyatt Benno (IACR Cryptol. ePrint Arch., 2024)

Jolt Atlas: Verifiable Inference via Lookup Arguments in Zero Knowledge. - Wyatt Benno; Alberto Centelles; Antoine Douchet; Khalil Gibran (CoRR, 2026)