I'm a solo systems engineer and independent developer based in Lagos, Nigeria, with 8+ years building in Rust and C++. I work across distributed systems, protocol engineering, cryptography, and developer tooling , mostly shipping things I wish existed while I was building something else. B.Tech in Mechatronics, Robotics & Automation Engineering, plus a degree in Computational/Applied Mathematics. Multiple international hackathon wins.
Deep in open cryptanalysis problems at the intersection of Ethereum protocol research and applied math:
- Poseidon Cryptanalysis Initiative (Ethereum Foundation) — working across all three open tracks: the Attack Reward Program 2026, the Poseidon1 Collision Prize, and the Density problem
- Proximity Prize (proximityprize.org, $1M EF challenge) — self-studying toward Reed–Solomon list decoding and correlated agreement open problems, building up from an engineering/applied-math foundation through abstract algebra and coding theory
- Following and engaging with Lean Ethereum research and talks — the protocol-simplification effort spanning consensus, cryptography, and zk tooling
- Writing up findings and study notes as I go — see Writing & Research Notes below
Building the trust and reliability layer for AI agents operating in high-stakes environments:
| Project | Description |
|---|---|
| AI Agent Trust Infrastructure | B2B SaaS trust/accountability layer for fintechs deploying AI agents — combines a DNS-AID-based resolver, an Agent CA (PKI-style certificate issuance), RiskGate policy gating, and sandboxed execution with audit trails |
| social_rs | Reliability-focused AI agent social media connector crate with a RiskGate approval system and MCP server |
| Agent Safe-Hands Runtime | microVM sandboxing + OpenTelemetry tracing for auditable agent execution (Sentient Foundation-backed research) |
| Project | Description |
|---|---|
| fastrs | A Rust web framework built on Axum with automatic OpenAPI generation |
| rye_rs | A Laravel/Phoenix-style fullstack Rust framework with CLI scaffolding for Axum/Actix backends and Postgres/MySQL/SQLite |
| aml_rs | Abstract Modeling Language — a correct-by-construction Rust config language that fixes YAML's "Norway problem" via strict typing, schemas, and native migrations. MIT licensed |
| monobloat | A CLI for diagnosing Rust binary bloat via monomorphization analysis |
| structura | A Rust crate consolidating advanced data structures not in std (tries, skip lists, union-find, and more) into one consistent library |
| pay-kit-rs | A Rust port of pay-kit, unifying Paystack and Flutterwave payment APIs for the Rust ecosystem |
| Project | Description |
|---|---|
| ProxyPay | A universal payment identity masking layer across banking rails, crypto, and AI agent wallets. Core built in Elixir/OTP, with Rust planned as an SDK/interop layer |
| Clavis | An offline-first RFID/NFC smart lock concept on Hardware-as-a-Service pricing, targeting shared infrastructure across Africa — apartments, warehouses, coworking spaces |
Security research under HackerOne handle @mhsudo, with confirmed vulnerability reports against Airbnb, Uber, Robinhood, and OKX — including work on email subaddress normalization bypasses and endpoint security around agent sandboxing runtimes.
Active portfolio of protocol and open-source grant work, including applications to NLnet NGI TALER, NLnet NGI Fediversity, Zcash Community Grants, Unlock Protocol, Rocket Pool GMC, Interledger Foundation, Stacks DeGrants, and Sentient Foundation.
Technical deep-dives, protocol write-ups, and cryptanalysis research notes at mahmudsudo.hashnode.dev.
Languages: Rust, C++, Elixir, Haskell, Lean (learning) Web: Axum, React, Tailwind CSS, Supabase Infra: AWS (EC2, Lambda), Docker Focus areas: protocol design, cryptanalysis, correctness-by-construction, AI agent infrastructure