Discussion About Zero Knowledge Proof Verification Code By Jeff Burdges