Manuel B. Santos

Code

22
  • thmldsa-rs

    Implemented Mithril, a threshold post-quantum ML-DSA signing protocol.

    Rust

    MPC / Quantum
  • Bedrock / hybrid HD wallets

    Designed and implemented hybrid hierarchical deterministic wallets and maintained Bedrock’s post-quantum cryptography library.

    Rust

    Quantum
  • OTLS

    Integrated the RELIC library for pairing-based elliptic-curve zkTLS protocols.

    C++ · C

    ZK / MPC / FHE
  • TFHE-rs contributions

    Implemented zero-knowledge proofs for LWE encryption.

    Rust · CUDA · C++ · C

    ZK / FHE
  • emp-zk / LWE encryption

    Built zero-knowledge proof circuits for LWE-based encryption.

    C++ · C

    ZK / FHE
  • nilVM

    Implemented MPC protocols and integrated threshold signatures into Nillion’s cryptographic backend.

    Rust · Python

    MPC
  • nilAI

    Private LLM inference with vLLM on confidential virtual machines. The system behind nilGPT.

    Python

    AI
  • nilRAG

    Privacy-preserving retrieval-augmented generation using MPC and trusted execution environments.

    Python

    MPC / AI
  • nada-numpy

    NumPy-style arrays and algebraic operations for Nillion’s Nada private computation language.

    Python

    MPC / AI
  • Blind Documind

    Document processing with nilAI and Gemma 3.

    JavaScript · TypeScript

    AI
  • LFDT-Lockness / CGGMP21

    Contributions to the CGGMP ECDSA threshold signing protocol upgrade.

    Rust · HTML

    MPC
  • Blind Lawyer

    A web app for private analysis of legal documents. Winner of Nillion’s internal hackathon.

    TypeScript · CSS · JavaScript

    AI
  • Curl

    Private LLM inference in PyTorch and CrypTen. Implemented look-up-table protocols for non-linear functions and a secure truncation protocol.

    Python · CSS

    MPC / AI
  • Tinysig

    A Python implementation of threshold ECDSA in the preprocessing setup.

    Python

    MPCthis
  • zkp-ecdsa-rs

    A Rust implementation of the zk-ecdsa protocol. Work in progress.

    Rust

    ZKzk-ecdsa
  • Verifiable private database query

    Verifiable queries over private data, built on MP-SPDZ. Work in progress.

    Rust

    MPC / ZK
  • QMP-SPDZ

    An MP-SPDZ fork integrating quantum oblivious transfer into MPC protocols.

    C++ · Python · C

    MPC / QuantumMP-SPDZ
  • Quantum private phylogenetic analysis

    Private phylogenetic tree computation using PHYLIP, MPC, and quantum technologies.

    C · HTML · Python · C++

    MPC / QuantumPaper
  • OTKeys

    String oblivious transfer from oblivious keys and random oblivious transfer keys.

    C++ · C · Python

    MPC / Quantum
  • QSHY

    A semi-honest Yao protocol assisted by quantum oblivious keys.

    C++ · Python · C · HTML

    MPC / Quantum
  • Threshold wallet

    An Ethereum wallet prototype using GG20 threshold ECDSA.

    Python · HTML

    MPC
  • DDHOT

    Universally composable oblivious transfer under the DDH assumption, based on the PVW framework.

    C++

    MPC