Rust Developer
Mathematics Ph.D.
Mathematics Ph.D. with a research focus on group theory, now working in zero knowledge proofs and web3. Interested in research and development in cryptography, expository and technical writing on web3 topics, and arithmetic circuits. My goal is to solve complex mathematical problems to help secure the decentralized web.
Experience: 1 year
Yearly salary: $0
Hourly rate: $0
Nationality: 🇺🇸 United States
Residency: 🇺🇸 United States
Experience
Research Consultant
Fermah 2024 - 2024
Contracted with Fermah to help with their coming out of stealth. Researched zkVMs, cryptography, competitor landscape, and assisted with prover integration, testing, debate prep, blog posts, and public documentation.
Junior ZK Circuit Engineer
ORA 2023 - 2024
Wrote a large circuit using the halo2-eccs Rust library for hashing to the BLS12-381 curve. Collaborated on research and technical writing with Symbolic Capital and Beet Network. Wrote technical documentation on HackMD, made tutorial text and videos for working with ORA’s tech stack, and helped builders use the same.
Applied Cryptography Engineer
Webb 2022 - 2022
Wrote documentation for various cryptographic tools and algorithms comprising the API of Webb’s cryptocurrency bridge protocol. Learned concepts about cryptography, zero-knowledge proofs and blockchain technology, including zk-SNARKs, rank one constrain systems (R1CS), PlonK, the Poseidon hash function, Merkle trees, and more. Gained understanding of the Rust programming language.
Skills
python
zero-knowledge
rust
english