Implementation of the collatz conjecture in Noir, similar to the RISC Zero implementation at hyle_org/collatz_conjecture.
Install Nargo v0.30, as other versions won't be compatible for now.
nargo build
cd prover
bun update
bun hyle_custom_prover.ts