snarkvm-circuit-environment