Skip to content

feat: add PLONK in-circuit verifier #1191

feat: add PLONK in-circuit verifier

feat: add PLONK in-circuit verifier #1191

Triggered via pull request November 8, 2023 15:31
Status Failure
Total duration 1m 47s
Artifacts

pr.yml

on: pull_request
post workflow status to slack
3s
post workflow status to slack
post workflow status to slack
0s
post workflow status to slack
Fit to window
Zoom out
Zoom in

Annotations

11 errors
staticcheck: std/commitments/kzg/verifier.go#L1
: # github.com/consensys/gnark/std/commitments/kzg [github.com/consensys/gnark/std/commitments/kzg.test]
staticcheck: std/commitments/kzg/verifier.go#L231
BatchOpeningProof redeclared in this block
staticcheck: std/commitments/kzg/verifier.go#L187
other declaration of BatchOpeningProof
staticcheck: std/commitments/kzg/verifier.go#L237
ValueOfBatchOpeningProof redeclared in this block
staticcheck: std/commitments/kzg/verifier.go#L192
other declaration of ValueOfBatchOpeningProof
staticcheck: std/commitments/kzg/verifier.go#L247
ret.Points undefined (type BatchOpeningProof[FR, G1El] has no field or method Points)
staticcheck: std/commitments/kzg/verifier.go#L249
r.QuotientPoly undefined (type *BatchOpeningProof[emparams.BLS12377Fr, sw_bls12377.G1Affine] has no field or method QuotientPoly)
staticcheck: std/commitments/kzg/verifier.go#L254
r.Points undefined (type *BatchOpeningProof[emparams.BLS12377Fr, sw_bls12377.G1Affine] has no field or method Points)
staticcheck: std/commitments/kzg/verifier.go#L255
r.Points undefined (type *BatchOpeningProof[emparams.BLS12377Fr, sw_bls12377.G1Affine] has no field or method Points)
staticcheck: std/commitments/kzg/verifier.go#L256
r.Points undefined (type *BatchOpeningProof[emparams.BLS12377Fr, sw_bls12377.G1Affine] has no field or method Points) (typecheck)
test
Process completed with exit code 2.