A programming language for zero-knowledge circuits with dual execution: full VM + optimized circuit compilation. - achronyme/achronyme ...