@@ -489,19 +489,19 @@ func (o *Operator) verify(verificationData VerificationData, disabledVerifiersBi
489489 }
490490 switch verificationData .ProvingSystemId {
491491 case common .GnarkPlonkBls12_381 :
492- verificationResult := o .verifyPlonkProofBLS12_381 (verificationData .Proof , verificationData .PubInput , verificationData .VerificationKey )
492+ verificationResult := o .verifyGnarkPlonkProofBLS12_381 (verificationData .Proof , verificationData .PubInput , verificationData .VerificationKey )
493493 o .Logger .Infof ("PLONK BLS12-381 proof verification result: %t" , verificationResult )
494494
495495 results <- verificationResult
496496
497497 case common .GnarkPlonkBn254 :
498- verificationResult := o .verifyPlonkProofBN254 (verificationData .Proof , verificationData .PubInput , verificationData .VerificationKey )
498+ verificationResult := o .verifyGnarkPlonkProofBN254 (verificationData .Proof , verificationData .PubInput , verificationData .VerificationKey )
499499 o .Logger .Infof ("PLONK BN254 proof verification result: %t" , verificationResult )
500500
501501 results <- verificationResult
502502
503503 case common .GnarkGroth16Bn254 :
504- verificationResult := o .verifyGroth16ProofBN254 (verificationData .Proof , verificationData .PubInput , verificationData .VerificationKey )
504+ verificationResult := o .verifyGnarkGroth16ProofBN254 (verificationData .Proof , verificationData .PubInput , verificationData .VerificationKey )
505505 o .Logger .Infof ("GROTH16 BN254 proof verification result: %t" , verificationResult )
506506
507507 results <- verificationResult
@@ -539,23 +539,23 @@ func (o *Operator) handleVerificationResult(results chan bool, isVerified bool,
539539 }
540540}
541541
542- // VerifyPlonkProofBLS12_381 verifies a PLONK proof using BLS12-381 curve.
543- func (o * Operator ) verifyPlonkProofBLS12_381 (proofBytes []byte , pubInputBytes []byte , verificationKeyBytes []byte ) bool {
544- return o .verifyPlonkProof (proofBytes , pubInputBytes , verificationKeyBytes , ecc .BLS12_381 )
542+ // VerifyGnarkPlonkProofBLS12_381 verifies a PLONK proof using BLS12-381 curve.
543+ func (o * Operator ) verifyGnarkPlonkProofBLS12_381 (proofBytes []byte , pubInputBytes []byte , verificationKeyBytes []byte ) bool {
544+ return o .verifyGnarkPlonkProof (proofBytes , pubInputBytes , verificationKeyBytes , ecc .BLS12_381 )
545545}
546546
547- // VerifyPlonkProofBN254 verifies a PLONK proof using BN254 curve.
548- func (o * Operator ) verifyPlonkProofBN254 (proofBytes []byte , pubInputBytes []byte , verificationKeyBytes []byte ) bool {
549- return o .verifyPlonkProof (proofBytes , pubInputBytes , verificationKeyBytes , ecc .BN254 )
547+ // VerifyGnarkPlonkProofBN254 verifies a PLONK proof using BN254 curve.
548+ func (o * Operator ) verifyGnarkPlonkProofBN254 (proofBytes []byte , pubInputBytes []byte , verificationKeyBytes []byte ) bool {
549+ return o .verifyGnarkPlonkProof (proofBytes , pubInputBytes , verificationKeyBytes , ecc .BN254 )
550550}
551551
552- // VerifyGroth16ProofBN254 verifies a GROTH16 proof using BN254 curve.
553- func (o * Operator ) verifyGroth16ProofBN254 (proofBytes []byte , pubInputBytes []byte , verificationKeyBytes []byte ) bool {
554- return o .verifyGroth16Proof (proofBytes , pubInputBytes , verificationKeyBytes , ecc .BN254 )
552+ // VerifyGnarkGroth16ProofBN254 verifies a GROTH16 proof using BN254 curve.
553+ func (o * Operator ) verifyGnarkGroth16ProofBN254 (proofBytes []byte , pubInputBytes []byte , verificationKeyBytes []byte ) bool {
554+ return o .verifyGnarkGroth16Proof (proofBytes , pubInputBytes , verificationKeyBytes , ecc .BN254 )
555555}
556556
557- // verifyPlonkProof contains the common proof verification logic.
558- func (o * Operator ) verifyPlonkProof (proofBytes []byte , pubInputBytes []byte , verificationKeyBytes []byte , curve ecc.ID ) bool {
557+ // verifyGnarkPlonkProof contains the common proof verification logic.
558+ func (o * Operator ) verifyGnarkPlonkProof (proofBytes []byte , pubInputBytes []byte , verificationKeyBytes []byte , curve ecc.ID ) bool {
559559 proofReader := bytes .NewReader (proofBytes )
560560 proof := plonk .NewProof (curve )
561561 if _ , err := proof .ReadFrom (proofReader ); err != nil {
@@ -585,8 +585,8 @@ func (o *Operator) verifyPlonkProof(proofBytes []byte, pubInputBytes []byte, ver
585585 return err == nil
586586}
587587
588- // verifyGroth16Proof contains the common proof verification logic.
589- func (o * Operator ) verifyGroth16Proof (proofBytes []byte , pubInputBytes []byte , verificationKeyBytes []byte , curve ecc.ID ) bool {
588+ // verifyGnarkGroth16Proof contains the common proof verification logic.
589+ func (o * Operator ) verifyGnarkGroth16Proof (proofBytes []byte , pubInputBytes []byte , verificationKeyBytes []byte , curve ecc.ID ) bool {
590590 proofReader := bytes .NewReader (proofBytes )
591591 proof := groth16 .NewProof (curve )
592592 if _ , err := proof .ReadFrom (proofReader ); err != nil {
0 commit comments