snarkvm-circuit-type-string