Systems Engineering · Low-Latency · Post-Quantum · Blockchain
Lock-free/wait-free data structures, formally verified
379M ops/secPost-quantum blockchain with native SQL, on-chain DEX
996 testsGPU-accelerated HFT backtester with Aria language for fast strategy development
49K events/secReal-time market data terminal, PQ encrypted
17 feed adaptersFPGA meta-compiler: from DSL to silicon with formal proofs. 10 backends (Verilog, VHDL, CUDA, Metal, Lean 4)
10 backendsSecure memory: guard pages, mlock, encrypted enclaves, post-quantum KEM
Experiments with the formalization of numerical algorithms
Agents for security. A scanner orchestrator (SAST / DAST / SCA / secrets) with LLM-assisted triage and agent-assisted pen-testing over a SARIF + DuckDB store. Companion to Seal DAO.
GoTools and libraries for local agent development: TUI widgets, distributed networking, and a capability-based shell.
RustQuant analytics suite: buy-side order-flow & microstructure analytics, and sell-side derivatives pricing with the Aria payoff language.
Flow Master · Price Master →Multi-venue, crypto-first trading system: market making, execution, and risk over a single low-latency engine.
Work in progress →