Starknet infrastructure, zero-knowledge proving pipelines, and confidential compute systems — built and shipped by the engineers who write about them.
A verifier that checks Starknet STARK proofs on Solana, letting a non-EVM, non-Cairo chain trust Starknet-side execution without a bridge operator in the middle.
The orchestrator that settles Starknet L3 appchains to L2 - speaking STARK proofs, TEE attestations, and pure data-availability publishing through one operator-facing deamon.
A Rust operator that shards onchain game sessions across isolated AMD SEV-SNP TEEs, proves execution with SP1, and merges results back to Starknet with CRDTs — so no shard operator can forge state
A Rust HTTP service that generates STARK proofs on demand, so appchains and tooling can request a proof over the network instead of running their own proving infrastructure.
Rust backend with price-time priority orderbook matching, partial fills, and real-time WebSocket streaming, settled trustlessly on Layer 2 via on-chain STARK proof verification in Cairo smart contracts.
A smart contract locks the seller's USDC while a browser extension uses TLSN-style proofs to verify the buyer's bank payment before releasing the USDC on-chain.
NFT deployment on Aleph Zero for Bank Pekao's ARCHIV3 — the first Polish commercial bank to use blockchain for art preservation, representing museum-grade digitized artworks archived in the Arctic World Archive.
local node testing framework for Starknet clients — OpenRPC fuzzing, stateless validation tooling, and protocol-compliant block-building utilities.
A KinD-based multi-client simulator for Pathfinder/Juno/Papyrus-style Starknet nodes, with protocol-analyzing proxies for request-routing tests and communication-level verification.
Privacy Pools on Starknet — Circom circuits with Garaga-generated Cairo verifiers for deposit/withdraw flows and membership proofs, backed by an off-chain Rust association-set architecture.