プロジェクト projects

Orchestration service for the Madara Starknet stack — block processing, proof generation, data submission and state transitions.

Reed–Solomon proximity testing with super-fast verification — implemented WHIR 2.0 and zkWHIR 3.0 upstream at World Foundation.

World Foundation's client-side zero-knowledge proving toolkit.

Data-availability layer for Avail's Enigma.

Text-to-pixel-art model: 32×32 images over a shared 256-colour palette, generated one pixel at a time by a decoder-only Transformer. Stage 1 pretraining on a public Hugging Face dataset.

An artificial worm that learns to survive. A PPO-trained policy senses food and toxins in a 2D arena; klinokinesis and klinotaxis emerge from a +1-per-step survival reward.

Linear-algebra foundations for ML worked through from scratch.

Markov chains and Markov decision processes implemented from scratch.

Reed–Solomon proximity testing with super-fast verification — implemented WHIR 2.0 and zkWHIR 3.0 upstream at World Foundation.

World Foundation's client-side zero-knowledge proving toolkit.

Implemented the Jellyfish Merkle Tree multiproof in Rust.

BN254 field arithmetic on Apple Silicon with Metal compute shaders, benchmarked against multithreaded CPU on the core operations of the WHIR proof system.

Batch verification of multiple Avail data-cell proofs with a single pairing check, run inside the RISC Zero zkVM.

zk-SNARK verifying systems, from the arithmetic behind them to circuit design.

The encoder-decoder from 'Attention Is All You Need', trained on English → French: 40.71 validation BLEU-4 against 38.60 for a GRU + attention baseline.

Masked softmax, dot-product and additive attention, and an attention-based English → French sequence-to-sequence model.

Recurrent networks, character-level language modelling and English → French translation.

CNN building blocks from scratch — LeNet and AlexNet reproduced in PyTorch.

word2vec reimplemented in PyTorch — skip-gram, negative sampling and subsampling. Mikolov et al. 2013.

Reproduction of the classic 'A Neural Probabilistic Language Model' (Bengio, 2003) in PyTorch with improved perplexity over the reported baseline.

Predicting SGEMM GPU-kernel runtime from its tuning parameters (UCI SGEMM dataset) — a regression pipeline with a small PyTorch MLP.

A small machine-learning library in Rust: linear and softmax regression with squared and cross-entropy losses.

A minimal automatic-differentiation engine built from scratch to understand backpropagation end to end.

A full implementation of MLPs using numpy from scratch with optimisers and losses.

Hands-on experiments comparing regularization techniques and their effect on generalization.

From-scratch softmax regression with a full classifier project, implemented without relying on an ML framework's autodiff.

OpenAI's Spinning Up in Deep RL, updated to run on current Python and libraries.

A hybrid Starknet client written in Rust.

Deploys the Token Bridge & Eth Bridge contracts between a Madara/Katana appchain and another L2 or L1.

Rust library for running the Starknet OS via the Cairo VM.

Self-custody Starknet vault.

Solidity contracts for the Starknet Decentralized Protocol proposal.

Avail Nexus.

Key Management Service node for Avail Enigma.

Avail Turbo data-availability service.

ZK-verified LLM platform that can integrate with government websites to fill complex forms.

Fun with BTC, BTC VM, ZK-STARK provable BTC VM.

Peer-to-peer storage network on IPFS that pays testnet ETH for storage provided; storage proofs are zk-SNARKs verified on chain.

Links Base & Optimism via Layer Zero Router — swap native & wrapped tokens with a cross-chain SDK.

Rust libraries for ESP32 boards with small displays: write a scene once, preview it in a desktop simulator, flash the same code to the board.

A Severance-themed refinement game for the ESP32 with a 128×64 OLED and five buttons.

Basic binary exploitation, how malware works, obfuscation to avoid antivirus, parser differentials to avoid analysis.

Solutions for the Google CTF beginners quest with full code and explanation.

Python keylogger with mailing and encryption services.

Feature examples with IPFS using helia and ipfs-js, plus docs on its components.

Move language, Aptos contract deployment, modules & tests.

Sui Move language, contract deployment, modules & tests.

Ownership, error handling and the basics of Rust.

Solidity basics and advanced concepts.

A Docker cheatsheet of core operations and features.

A Kubernetes cheatsheet — load balancing, pods and core operations.