Building practical systems across AI, blockchain, software, and digital products.
From research to real-world products. I work at the intersection of computer science, entrepreneurship, and digital infrastructure, with a focus on useful systems and clear technical communication.
I am a Pakistani technology entrepreneur and computer scientist, and the Founder & Chairman of Orakzai Group. My public work and research interests span blockchain infrastructure, AI and developer tooling, fintech, digital commerce, and software systems. I am based in Karachi, Pakistan, with a global outlook on technology and collaboration.
My computer-science work focuses on making complex systems easier to specify, test, verify, and reproduce. The questions I explore include:
- Distributed systems and interoperability: How should protocols represent state and handle failures across independent networks?
- Formal methods and security: How can invariants and state-machine specifications help reason about smart contracts and cross-chain or zero-knowledge designs?
- AI systems evaluation: How can model, prompt, and inference changes be tested reproducibly, with regressions surfaced early? This connects to my ModelDiff project.
- Applied systems research: How can research prototypes become usable software while clearly documenting assumptions, limitations, and observable behavior?
- Web3 and digital infrastructure: blockchain systems, cross-chain architecture, smart contracts, and real-world asset tokenization.
- AI and developer tooling: model evaluation, offline-first testing, reproducible experiments, and software workflows.
- Formal methods and cryptography: research themes including TLA+, Coq, recursive zero-knowledge proofs, and distributed systems.
- Digital products: practical web platforms and tools designed to be understandable, testable, and useful.
- Orakzai Bond (OKBOND) ·
LIVE PROJECT— A Polygon-based digital-asset and fintech ecosystem site, with project information and contract references. GitHub source. - Shamim Forever ·
LIVE STORE— A luxury-commerce and brand site featuring fragrances, cosmetics, jewelry, collections, and a journal. GitHub source.
| Project | Focus |
|---|---|
| ModelDiff | Offline-first regression testing for local AI models, prompts, and inference configurations. |
| Orakzai DeFi Exchange | Decentralized liquidity and exchange platform project. |
| Cross-chain interoperability research | Research archive on interoperability, formal verification, and recursive zero-knowledge architecture. |
| OKBOND web platform | Source repository for the live Polygon-oriented bond and tokenization project site. |
| Shamim Forever | Source repository for the live luxury-commerce brand platform. |
For project setup, current status, licenses, and limitations, please refer to each repository’s own README.
A practical guide to blockchain infrastructure and next-generation digital technology. It covers blockchain fundamentals, smart contracts, digital identity, enterprise blockchain, cybersecurity, cross-chain systems, Web3, and real-world asset tokenization. Available as a Kindle eBook; Amazon lists 146 pages.
A personal and research-oriented journey through Orakzai identity, Pashtun heritage, history, culture, and community life, connecting that story with Pakistan’s technology future, entrepreneurship, AI, blockchain, Web3, and digital identity. Available as a Kindle eBook.
- Cross-Chain Interoperability: Formal Verification and Recursive Zero-Knowledge Architectures — Zenodo research record.
- Orakzai Research Lab — research notes, technical articles, and project artifacts.
- ORCID profile
- Google Scholar
I work across AI and machine learning, blockchain/Web3, and full-stack web development. These grouped logos show the technologies in my cross-domain development toolkit; the live GitHub card below separately reflects language detection in public repositories.
Python · JavaScript · TypeScript · Solidity · Rust · Go · C++ · C · Java · Bash · SQL
Python · PyTorch · TensorFlow · OpenCV · scikit-learn · Jupyter
HTML5 · CSS3 · React · Next.js · Node.js · FastAPI · Django · PostgreSQL · Supabase
Smart contracts · Ethereum and Polygon ecosystems · DeFi · Cross-chain systems · RWA tokenization · Git · Linux · Docker · AWS
Further systems and formal-methods interests: Haskell · Lisp · Assembly · Scala · Kotlin · Swift · TLA+ · Coq.
The language card reflects the code GitHub detects in public repositories; it updates as those repositories change. It is not a claim that every language in the interests list is already used in published code.
Generated from my GitHub contribution graph by the contribution workflow.
I value focused, reviewable contributions: understand the problem, make a useful change, test it where appropriate, and document the result. For bugs, research questions, or feature ideas, please open an issue in the relevant repository with context and expected behavior.
- Website: faisalorakzai.com
- LinkedIn: Faisal Orakzai
- GitHub: @faisalorakzai-lab
- Amazon: Books and author page
- Contact: faisalorakzai.com/contact
Built in Pakistan · Open to the world