Skip to content

statetransition: implement VerifyAggregatedZKProof #73

statetransition: implement VerifyAggregatedZKProof

statetransition: implement VerifyAggregatedZKProof #73

Triggered via pull request January 12, 2025 13:01
Status Failure
Total duration 7m 1s
Artifacts

main.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

13 errors and 2 warnings
job_go_checks
cannot use 0 (untyped int constant) as groth16.Proof[sw_bls12377.G1Affine, sw_bls12377.G2Affine] value in assignment
job_go_checks
unknown field InputsHash in struct literal of type statetransition.Circuit
job_go_checks
Process completed with exit code 1.
job_go_test: circuits/statetransition/witness_test.go#L16
cannot use 0 (untyped int constant) as "github.com/consensys/gnark/std/recursion/groth16".Proof[sw_bls12377.G1Affine, sw_bls12377.G2Affine] value in assignment
job_go_test: circuits/test/statetransition/statetransition_inputs.go#L120
unknown field InputsHash in struct literal of type statetransition.Circuit
job_go_test: circuits/test/statetransition/statetransition_inputs.go#L121
unknown field ValidVotes in struct literal of type statetransition.Circuit
job_go_test: circuits/test/statetransition/statetransition_inputs.go#L122
cannot use circuits.BallotMode[frontend.Variable]{…} (value of type circuits.BallotMode[frontend.Variable]) as state.MerkleProof value in struct literal
job_go_test: circuits/test/statetransition/statetransition_inputs.go#L133
unknown field ProcessId in struct literal of type statetransition.Circuit, but does have ProcessID
job_go_test: circuits/test/statetransition/statetransition_inputs.go#L134
cannot use agInputs.CensusRoot (variable of type *big.Int) as state.MerkleProof value in struct literal
job_go_test: circuits/test/statetransition/statetransition_inputs.go#L135
unknown field VerifyProofs in struct literal of type statetransition.Circuit
job_go_test: circuits/test/statetransition/statetransition_inputs.go#L136
unknown field VerifyPublicInputs in struct literal of type statetransition.Circuit
job_go_test: circuits/test/statetransition/statetransition_inputs.go#L140
finalAssigments.Nullifiers undefined (type *statetransition.Circuit has no field or method Nullifiers)
job_go_test: circuits/test/statetransition/statetransition_inputs.go#L141
finalAssigments.Commitments undefined (type *statetransition.Circuit has no field or method Commitments)
job_go_checks
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
job_go_test
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2