Rust Systems Engineer · Distributed Systems · Cardano · Zero-Knowledge
Mathematics background. Focused on strongly-typed architectures, protocol-aware design and correctness-critical systems.
Currently building:
- 🔐 YubiKey-integrated Cardano wallet (CIP-1852, ED25519, hardware isolation)
- 🧠 Exploring zero-knowledge systems and protocol-level design
- ⚙️ Functional core / imperative shell architectures in Rust
- 🧾 Project Catalyst-funded Cardano wallet
- ⛓ Blockchain & ZK infrastructure (Rust)
- 🏗 Large-scale distributed systems (Allegro)
- Cardano ledger & Ouroboros
- Formal methods & type-driven design
- ZK systems (Plonk, Halo2, polynomial commitments)
- Systems architecture
👉 Full CV