colony.technology/demo demo / runs in this browser choose a compiled .r1cs, and its .sym for signal names, or pick a sample. the engine runs in this page. nothing is uploaded. the cli compiles .circom with circom 2.x; this browser runs the compiled .r1cs.