Browse Source

fix for V-SCT-VUL-020

main
Kevin Jue 1 year ago
parent
commit
30d73dacea
3 changed files with 0 additions and 3 deletions
  1. +0
    -1
      challenger/challenger.go
  2. +0
    -1
      fri/fri_test.go
  3. +0
    -1
      verifier/verifier.go

+ 0
- 1
challenger/challenger.go

@ -118,7 +118,6 @@ func (c *Chip) GetFriChallenges(
commitPhaseMerkleCaps []variables.FriMerkleCap, commitPhaseMerkleCaps []variables.FriMerkleCap,
finalPoly variables.PolynomialCoeffs, finalPoly variables.PolynomialCoeffs,
powWitness gl.Variable, powWitness gl.Variable,
degreeBits uint64,
config types.FriConfig, config types.FriConfig,
) variables.FriChallenges { ) variables.FriChallenges {
numFriQueries := config.NumQueryRounds numFriQueries := config.NumQueryRounds

+ 0
- 1
fri/fri_test.go

@ -52,7 +52,6 @@ func (circuit *TestFriCircuit) Define(api frontend.API) error {
proofWithPis.Proof.OpeningProof.CommitPhaseMerkleCaps, proofWithPis.Proof.OpeningProof.CommitPhaseMerkleCaps,
proofWithPis.Proof.OpeningProof.FinalPoly, proofWithPis.Proof.OpeningProof.FinalPoly,
proofWithPis.Proof.OpeningProof.PowWitness, proofWithPis.Proof.OpeningProof.PowWitness,
commonCircuitData.DegreeBits,
commonCircuitData.Config.FriConfig, commonCircuitData.Config.FriConfig,
) )

+ 0
- 1
verifier/verifier.go

@ -76,7 +76,6 @@ func (c *VerifierChip) GetChallenges(
proof.OpeningProof.CommitPhaseMerkleCaps, proof.OpeningProof.CommitPhaseMerkleCaps,
proof.OpeningProof.FinalPoly, proof.OpeningProof.FinalPoly,
proof.OpeningProof.PowWitness, proof.OpeningProof.PowWitness,
c.commonData.DegreeBits,
config.FriConfig, config.FriConfig,
), ),
} }

Loading…
Cancel
Save