Merge pull request #14 from ThomasPiellard/audit/H-01

Audit/h 01

backend/backend.go

@@ -60,6 +60,7 @@ type ProverConfig struct {
 	ChallengeHash  hash.Hash
 	KZGFoldingHash hash.Hash
 	Accelerator    string
+	StatisticalZK  bool
 }
 
 // NewProverConfig returns a default ProverConfig with given prover options opts
@@ -133,6 +134,16 @@ func WithIcicleAcceleration() ProverOption {
 	}
 }
 
+// WithStatisticalZeroKnowledge ensures that statistical zero knowledgeness is achieved.
+// This option makes the prover more memory costly, as there are 3 more size n (size of the circuit)
+// allocations.
+func WithStatisticalZeroKnowledge() ProverOption {
+	return func(pc *ProverConfig) error {
+		pc.StatisticalZK = true
+		return nil
+	}
+}
+
 // VerifierOption defines option for altering the behavior of the verifier. See
 // the descriptions of functions returning instances of this type for
 // implemented options.