snarkos-algorithms