I work on cryptography, zero-knowledge systems, blockchain infrastructure, Rust implementations, and applied machine learning. My public repositories combine research engineering, low-level cryptographic implementation, and teaching material for university courses.
Currently at Bagel Labs.
More background: personal site
- Cryptographic primitives and ZK-adjacent engineering.
- Rust implementations, benchmarks, and systems-oriented experiments.
- Blockchain teaching material with Solidity, Hardhat, React, MetaMask, and ERC-721 examples.
- Applied mathematics and machine learning education.
| Repository | Why it matters |
|---|---|
poseidon-benchmarks |
Criterion benchmark harness comparing Poseidon implementations from Dusk, CryptoExperts, Risc0, and Neptune. Supported by Ethereum Foundation grant FY23-1156. |
poseidon-rust |
Compact Rust implementation of Poseidon over arkworks fields, including parameter loading, permutation logic, sponge hashing, tests, and CI. |
halo2-practice |
Minimal Halo2 practice circuit with a custom PLONK-style gate and MockProver verification. |
blockchain-2025 |
Course repository for Blockchain at FP-UNA, with Solidity/Hardhat/React scaffolding and student project submissions. |
matematica-aplicada-2024 |
Applied mathematics course repository collecting final student projects and course workflow. |
The cryptography repositories are the best signal for research engineering and Rust/ZK work. The course repositories are intentionally organized around teaching, assignment scaffolding, and student submissions; their root READMEs mark my role as course designer and maintainer so authorship is clear.