From 09251a94396f9ea2746c75f67bb0cbe036198bd4 Mon Sep 17 00:00:00 2001 From: Mara Mihali Date: Thu, 21 Jul 2022 14:34:30 +0100 Subject: [PATCH] remove zero knowledge from spartan r1cs-sat proof and verification --- src/sumcheck.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/src/sumcheck.rs b/src/sumcheck.rs index e316ea2..560d735 100644 --- a/src/sumcheck.rs +++ b/src/sumcheck.rs @@ -829,7 +829,6 @@ impl ZKSumcheckInstanceProof { // add two claims to transcript comm_claim_per_round.append_to_transcript(b"comm_claim_per_round", transcript); comm_eval.append_to_transcript(b"comm_eval", transcript); - // produce two weights let w = transcript.challenge_vector(b"combine_two_claims_to_one", 2);