Run this program with Noir instead of Risc0 if this is cheaper.
Run this program with Noir instead of Risc0 if this is cheaper.