statetransition: implement VerifyAggregatedZKProof #73
Annotations
10 errors and 1 warning
Run 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
|
Run Go test:
circuits/test/statetransition/statetransition_inputs.go#L120
unknown field InputsHash in struct literal of type statetransition.Circuit
|
Run Go test:
circuits/test/statetransition/statetransition_inputs.go#L121
unknown field ValidVotes in struct literal of type statetransition.Circuit
|
Run 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
|
Run Go test:
circuits/test/statetransition/statetransition_inputs.go#L133
unknown field ProcessId in struct literal of type statetransition.Circuit, but does have ProcessID
|
Run 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
|
Run Go test:
circuits/test/statetransition/statetransition_inputs.go#L135
unknown field VerifyProofs in struct literal of type statetransition.Circuit
|
Run Go test:
circuits/test/statetransition/statetransition_inputs.go#L136
unknown field VerifyPublicInputs in struct literal of type statetransition.Circuit
|
Run Go test:
circuits/test/statetransition/statetransition_inputs.go#L140
finalAssigments.Nullifiers undefined (type *statetransition.Circuit has no field or method Nullifiers)
|
Run Go test:
circuits/test/statetransition/statetransition_inputs.go#L141
finalAssigments.Commitments undefined (type *statetransition.Circuit has no field or method Commitments)
|
Run actions/setup-go@v5
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2
|
Loading