# Software — Antonio Guimarães

## Libraries

- **[MOSFHET](https://github.com/antoniocgj/MOSFHET)**: Optimized C library for TFHE: functional and multi-value bootstrapping, blind-rotation unfolding, AVX-512 FFT, and the main TFHE improvements from the literature in one place.
- **[The `vfhe` library](https://github.com/vfhe/vfhe)**: The first open-source library dedicated to verifiable FHE: zero-knowledge proofs, fully homomorphic encryption and related techniques.
- **[RISC-V ALE](https://github.com/antoniocgj/RISC-V-ALE)**: RISC-V Assembly Learning Environment: a browser-based RISC-V simulator with virtual devices, built for teaching assembly programming.

## Paper artifacts

- [Tulva](https://github.com/osdnk/tulva): Asynchronous threshold decryption for FHE (IEEE S&P 2027). Paper: https://antonioguimaraes.org/publications/tulva/
- [TUTTI](https://github.com/robinkoestler/tutti): Parallel low-latency CKKS bootstrapping on CPU (preprint, 2026). Paper: https://antonioguimaraes.org/publications/tutti/
- [Batch, Pack, and Prove](https://github.com/vfhe/Batch-Pack-and-Prove): Verifiable computation for CKKS: BatchFold, packing and SparsePack (ASIACRYPT 2026). Paper: https://antonioguimaraes.org/publications/batch-pack-prove/
- [PETCHA](https://gitlab.ic.unicamp.br/hilder/transciphering-with-chacha): Homomorphic evaluation of ChaCha for post-quantum transciphering (PQCrypto 2026), hosted on Unicamp's GitLab. Paper: https://antonioguimaraes.org/publications/petcha/
- [Nostalgia cipher](https://github.com/antoniocgj/Nostalgia-cipher): Homomorphic evaluation of the Nostalgia filtered-LFSR cipher (ToSC 2025). Paper: https://antonioguimaraes.org/publications/nostalgia-cipher/
- [Fast amortized bootstrapping](https://github.com/antoniocgj/Fast-Amortized-Bootstrapping): Implementation for the CCS 2025 paper. Paper: https://antonioguimaraes.org/publications/fast-amortized-bootstrapping/
- [Homomorphic WiSARDs](https://github.com/leonardohn/homomorphic-wisards): Encrypted WiSARD training framework (ACNS 2025), maintained by Leonardo Neumann. Paper: https://antonioguimaraes.org/publications/homomorphic-wisards/
- [MARGRETHE](https://github.com/antoniocgj/MARGRETHE): Leveled homomorphic evaluation of Margrethe and other MFP ciphers (TCHES 2025). Paper: https://antonioguimaraes.org/publications/transciphering-fhe-mpc/
- [HELIOPOLIS](https://github.com/antoniocgj/HELIOPOLIS): Proof-of-concept FRI over homomorphically encrypted Reed–Solomon codewords (ASIACRYPT 2024). Paper: https://antonioguimaraes.org/publications/heliopolis/
- [Amortized bootstrapping](https://github.com/antoniocgj/Amortized-Bootstrapping): Implementation for the ASIACRYPT 2023 paper (double-CRT GSW, shrinking). Paper: https://antonioguimaraes.org/publications/amortized-bootstrapping-revisited/
- [FBT-TFHE](https://github.com/antoniocgj/FBT-TFHE): Functional bootstrap experiments for the TCHES 2021 paper. Paper: https://antonioguimaraes.org/publications/functional-bootstrap-tfhe/
- [QC-MDPC (QcBits)](https://github.com/antoniocgj/Optimized-implementation-of-QC-MDPC-code-based-cryptography): AVX-512 constant-time implementation of QC-MDPC code-based cryptography (CCPE 2019, CBC 2019). Paper: https://antonioguimaraes.org/publications/qc-mdpc-optimized/