I am Daniel Githinji, a systems engineer focused on the convergence of Zero-Knowledge Proofs, Autonomous AI Agents, and High-Performance Rust Runtimes. I build the infrastructure for Web4—a web where computation is verifiable, intelligence is autonomous, and trust is cryptographic.
- Currently Architecting: Multi-agent orchestration layers using Rust and ZK-STARKs for verifiable AI inference.
- Core Focus: High-throughput smart contracts on Soroban (Stellar) and provable computation on Starknet (Cairo).
- Researching: Recursive SNARKs/STARKs for scaling decentralized intelligence.
- Technical Philosophy: Moving from "trust me" to "verify me" through rigorous systems engineering and provable logic.
- Cairo (Starknet): Creating STARK-provable programs for scalable, decentralized applications settled on Ethereum.
- Soroban (Stellar): Designing high-efficiency financial protocols using the Soroban Rust SDK.
- Move (Aptos/Sui): Implementing resource-oriented logic to eliminate re-entrancy and double-spending.
- Agentic Workflows: Orchestrating multi-agent systems where state consistency is guaranteed by Rust's strict type system.
- ZKML: Integrating AI with ZK-proofs to ensure verifiable model outputs without revealing underlying data.
- Rust-Native AI: Building with Burn and Candle for low-latency, edge-deployed AI.
- C/C++ Systems: Developing high-performance, low-level applications with a focus on memory management and hardware interaction.
- Offensive Security: Researching low-level vulnerabilities, secure coding practices, and adversarial testing for robust system defense.
| Category | Technologies |
|---|---|
| Frontend | HTML5, CSS3, Tailwind CSS, JavaScript, TypeScript, React, Next.js, Chakra UI, Shadcn UI |
| Backend | Python (FastAPI, Django), Node.js, Express, Rust (Axum, Rocket), C/C++, REST APIs |
| Blockchain | Scrypto (Radix), Cairo (Starknet), Soroban (Stellar), Move, Solidity, Hedera, Near |
| AI & ML | PyTorch, TensorFlow, Burn, Candle, Prompt Engineering, MLOps, Agentic Frameworks |
| Cloud & DevOps | AWS (EC2, S3, Lambda), Docker, Kubernetes (KCNA), CI/CD Pipelines, Infrastructure as Code |
| Security | Low-Level Offensive Security, OWASP Top 10, Secure Code Review, Red Team Testing |
| Tools | Cursor, Replit, Claude Code, Windsurf, Figma, Adobe XD |
| Badge | Certification / Award | Issuer | Year |
|---|---|---|---|
 |
BNB Chain Developer Specialization | Binance Academy | 2026 |
 |
Haskell & Smart Contract Developer | IOG Academy | 2026 |
 |
Stellar Smart Contract Architect | Stellar Development Foundation | 2026 |
 |
Cairo & ZK-STARK Specialist | Starknet Ecosystem | 2026 |
 |
Advanced AI for Software Engineering | Power Learn Project | 2026 |
 |
AMD Developer Program | AMD AI Academy | 2026 |
 |
Kubernetes Cloud Native Associate (KCNA) | Andela Learning Community | 2026 |
 |
AWS Cloud Practitioner | Amazon Web Services | 2025 |
 |
Agentic Workflows Specialist | Sololearn | 2026 |
 |
Project Initiation: Starting a Successful Project | Coursera | 2025 |
 |
Rust Track Completion | Exercism | 2024 |
