let ramiro = Engineer {
role: "Cryptographic Developer @ WayLab",
building: "Midnames — DIDs, VCs & .night domains on Midnight",
studying: "Modern Cryptography & the SNARK lineage",
speaks: ["en", "es", "pt", "ca", "it"], // last one: WIP
proves: "things without revealing them",
};I hate the term Software engineer; I just like thinking systems. Working at the intersection of cryptography, zero-knowledge proofs, and blockchain infrastructure.
- Building Midnames — decentralized identity on the Midnight Network
- Currently working through Katz & Lindell and the foundational ZK papers
- Day-to-day with Noir, Compact, and the Midnight/Cardano stack
- Reach me at ramiroseltzer@gmail.com
Walking the SNARK lineage from foundations to modern systems:
- Foundations — GMR'85, GMW'87, Sigma protocols, Fiat–Shamir
- Early SNARKs — Pinocchio, Groth16
- Universal setup — Sonic, PLONK
- Recursion & accumulation — Halo, Halo 2, Nova
Competitive streetlifter, language enthusiast, and free-time tool developer. If I'm not at a keyboard I'm probably on a pull-up bar or hopefully travelling.
I know a witness for this README. You'll have to take it on faith — or check the proof.