snarkvm-circuit-boolean