Write readable code. Decide what gets proven. Same language for general execution and ZK circuit compilation. VM mode (ach run) — Full language: closures, recursion, GC, arrays, maps, strings, I/O.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results