profile sourced from GitHub
Scouting report
Cryptographer: 401 commits to Enygma ZK-privacy protocol
assessed from open-source footprint
Mario is the real deal in applied cryptography: 536 commits last year and a verified 401 commits to raylsnetwork/Enygma plus 36 to a faucet backend, working in Rust, Go, and Solidity on PQ e-cash and formal verification (his own 'tarsier' framework). His personal repos carry few stars, so the value is the deep protocol work on others' codebases, not portfolio polish. A strong pick for ZK, blockchain, or security-critical engineering.
Authorship & open source
Contributes to
- h-hafezi/server-aided-snarks10★
- raylsnetwork/Enygma1★
- gotcha-labs/faucet-backend0★
- gotcha-labs/branding-materials0★
What they build
Industry experience
- Developer Tools
- Web & CMS
- Data, ML & AI
Signal breakdown
2
top repo 1
26
52% forks
6
12.4 yr
3
Active
12% stale
Strengths
- Verified author — wrote 100% of commits on DID
- Open-source contributor — 5 external projects incl. h-hafezi/server-aided-snarks (10★)
- 43 merged pull requests
- 536 commits in the past year
- Ships to production — 3 live demos
- Consistently active, low abandonment
- Backend focus with Frontend
About
Skills
- TypeScript
- Python
- Go
- Rust
- Mermaid
- HTML
- Solidity
- Github Config
Featured work
tarsier
Formal verification framework for threshold-based distributed protocols
- Rust
by Mario Yaksetig
E Cash3 0
New PQ E-Cash protocol
- Code
by Mario Yaksetig
Formal Models
Formal analysis of different protocols
- Code
by Mario Yaksetig
Yaksetig Github Io
Personal Website
- HTML
by Mario Yaksetig
yaksetig
Config files for my GitHub profile.
- Config
- Github Config
by Mario Yaksetig
Offline Cash
New proposal for offline CBDCs
- Mermaid
by Mario Yaksetig