When we compute a ZK circuit we are not just executing some code, but proving that we have executed the code correctly. Take a program