Tags → #circom
-
Hot Potato: the floor that won't budge (unless you're math)
TATER is a potato with a hidden floor that is proven never to drop and a reserve proven to cover every holder. Built on the shielded-note stack I've been assembling for Zera and Vanta. A plain-English tour of what a ZK proof actually buys you.
-
Circom, by example
A DSL primer told through one circuit — proving knowledge of a Poseidon pre-image. Every Circom keyword annotated as it appears, the constraint graph drawn out, and the R1CS fall-through to a witness.