snarkvm-circuit-types