Projects
Engineering
Deep dives into the engineering and innovation behind projects that matter.
Binius & Flock: Two Full Adders
The same one-AND full adder written twice, as a Binius64 circuit and as an R1CS-over-GF(2) instance for Flock, to read two binary-field constraint systems side by side on the cheapest circuit that still has a multiplication in it.
Technical deep dive →Motema: The ZKML Geiger Counter
A new approach to direct donations for Congolese cobalt miners using Zero-Knowledge Machine Learning, Flipper Zero geiger counter integration, and blockchain technology.
Technical deep dive →RoPE Attention Benchmark
A bare-bones, single-file benchmark comparing scaled dot-product attention with and without Rotary Positional Encoding, measuring RoPE’s latency overhead and demonstrating its relative-position property from scratch.
Technical deep dive →More on the way, building at the intersection of blockchain, AI, and social impact.