About the Project
Building the next computing primitive — from mathematical proof to custom silicon.
Every computer built in the last 80 years stores state and retrieves it. ATOMiK replaces that model entirely. Delta-state algebra reconstructs state from deltas: small, commutative, self-inverse operations that compose in any order to produce the same result.
This is not an optimization. It is a new primitive — as fundamental as the transistor or the cache line. The math is proven (92 Lean4 theorems). The hardware is built (3 FPGA platforms, 69.7 Gops/s). The software is shipping (pip install atomik-core).
The goal is to make delta-state algebra available at every layer of the stack — from a Python import to a custom ASIC — so that any engineer can stop moving data and start evolving it.
From a mathematical insight to working silicon in under a year.
Delta-state algebra forms an Abelian group under XOR. 92 theorems formalized and machine-verified in Lean4.
Commutativity, associativity, self-inverse, identity. Every property formally proven — no assumptions, no hand-waving.
Python and C SDKs with pipeline orchestration, delta generators, and 218+ passing tests. Available on PyPI.
Three FPGA platforms validated. 444 MHz single-bank, 69.7 Gops/s parallel. ASIC evaluation underway.
Every milestone built on the one before it.
92 Lean4 theorems proving Abelian group properties: commutativity, associativity, self-inverse, identity. The math that makes delta-state algebra work.
Python and C libraries with 218+ tests. Pipeline orchestration, delta generators, and agentic scheduling. Available via pip install atomik-core.
First silicon proof: ATOMiK core integrated with PicoRV32 RISC-V on a $13.50 Tang Nano 9K. Single-bank at 81 MHz, 94.5 Mops/s.
Built a custom 64-bit RISC-V CPU with native ATOMiK ISA extensions. Delta operations became first-class instructions, not MMIO.
1280x720@60Hz HDMI output on a $13.50 FPGA. Delta-driven display pipeline. Multi-node convergence proven: two SoCs streaming deltas reach identical state.
69.7 Gops/s peak on Xilinx Zynq XC7Z020. 444 MHz single-bank. 512 parallel banks in 44% of the fabric. Sub-linear LUT scaling confirmed.
atomik-core on PyPI. Commercial licensing for enterprise integration. Making delta-state algebra accessible to every developer.
Sky130 shuttle evaluation underway. The goal: a standalone delta-state chip that any system can drop in.
Inventor & Founder
Designed the delta-state algebra, wrote the formal proofs, built the hardware, and shipped the software. ATOMiK is a solo-founder deep-tech company — every theorem, every RTL module, and every line of SDK code traces back to one engineer with a conviction that computing has a better primitive waiting to be found.
mrockwell@atomik.techFrom FPGA validation to custom silicon. See the path to a dedicated delta-state ASIC.
View ASIC Roadmap→