bitr
00
t
Writing
search
/
esc
Type to search titles, topics and article text.
Deutsch
dark
light
bitr
00
t
Notes from building things close to the metal.
2026-07-29
zkc — a ZK compiler that refuses to build under-constrained circuits