Writing

zkc — a ZK compiler that refuses to build under-constrained circuits

Eighteen months on a compiler whose only real thesis is that a circuit with non-unique outputs should be a compile error — and the three things building it turned up.