RapidUp: Multi-Domain Permutation Protocol for Lookup Tables. - Héctor Masip Ardevol; Jordi Baylina Melé; Daniel Lubarov; Jose L. Muñoz-Tapia (IACR Cryptol. ePrint Arch., 2022)

Casting out Primes: Bignum Arithmetic for Zero-Knowledge Proofs. - Daniel Lubarov; Jordi Baylina Melé (IACR Cryptol. ePrint Arch., 2022)

Reed-Solomon Codes over the Circle Group. - Ulrich Haböck; Daniel Lubarov; Jacqueline Nabaglo (IACR Cryptol. ePrint Arch., 2023)

Valida ISA Spec, version 1.0: A zk-Optimized Instruction Set Architecture. - Morgan Thomas; Mamy Ratsimbazafy; Marcin Bugaj; Lewis Revill; Carlo Modica; Sebastian Schmidt; Ventali Tan; Daniel Lubarov; Max Gillett; Wei Dai (CoRR, 2025)