hara.runtime.basic.impl-annex.process-circom
sh-exec-circom
added in 4.0
(sh-exec-circom input-args input-body {:keys [extension root compile-only], :as opts, :or {compile-only true}})compiles a circom circuit and returns compiler output.
By default only compiles the circuit (producing .r1cs/.sym output). This avoids the heavy C++ witness-generator toolchain (nasm, nlohmann-json, libgmp) while still exercising the full compile phase through the runtime.
transform-form
added in 4.1
(transform-form forms opts)wraps runtime body forms into a complete circom program