In a ZK circuit you don't have if statements. Subtraction can wrap around to a 77-digit number instead of going negative.
Blog post on how execution traces work, with age verification as the example. Bit decomposition, trace table construction. All code is Rust, runnable in the browser. Third in the series.
