snarkvm-circuit-algorithms