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 that computes x + y = z. It's not enough for a ZK program to…