Skip to content

Commit

Permalink
Switch to fflonk final proof (0xPolygonHermez#1680)
Browse files Browse the repository at this point in the history
* feat: update aggregator proto for fflonk proof

* smc

* bridge smc

* genesis + conf

* fix executor ip

* prover version

* genBlockNum

* group 1 fixed

* new prover

---------

Co-authored-by: Alonso <[email protected]>
Co-authored-by: ToniRamirezM <[email protected]>
  • Loading branch information
3 people authored Feb 22, 2023
1 parent 35b5f90 commit 1d908b5
Show file tree
Hide file tree
Showing 24 changed files with 417 additions and 658 deletions.
18 changes: 3 additions & 15 deletions aggregator/aggregator_test.go
Original file line number Diff line number Diff line change
Expand Up @@ -881,15 +881,7 @@ func TestTryBuildFinalProof(t *testing.T) {
proverID := "proverID"
finalProofID := "finalProofID"
finalProof := pb.FinalProof{
Proof: &pb.Proof{
ProofA: []string{"proofA"},
ProofB: []*pb.ProofB{
{
Proofs: []string{"proofs"},
},
},
ProofC: []string{"proofC"},
},
Proof: "",
Public: &pb.PublicInputsExtended{
NewStateRoot: []byte("newStateRoot"),
NewLocalExitRoot: []byte("newLocalExitRoot"),
Expand Down Expand Up @@ -1040,9 +1032,7 @@ func TestTryBuildFinalProof(t *testing.T) {
assert.NoError(err)
},
assertFinalMsg: func(msg *finalProofMsg) {
assert.Equal(finalProof.Proof.ProofA, msg.finalProof.Proof.ProofA)
assert.Equal(finalProof.Proof.ProofB, msg.finalProof.Proof.ProofB)
assert.Equal(finalProof.Proof.ProofC, msg.finalProof.Proof.ProofC)
assert.Equal(finalProof.Proof, msg.finalProof.Proof)
assert.Equal(finalProof.Public.NewStateRoot, msg.finalProof.Public.NewStateRoot)
assert.Equal(finalProof.Public.NewLocalExitRoot, msg.finalProof.Public.NewLocalExitRoot)
},
Expand Down Expand Up @@ -1112,9 +1102,7 @@ func TestTryBuildFinalProof(t *testing.T) {
assert.NoError(err)
},
assertFinalMsg: func(msg *finalProofMsg) {
assert.Equal(finalProof.Proof.ProofA, msg.finalProof.Proof.ProofA)
assert.Equal(finalProof.Proof.ProofB, msg.finalProof.Proof.ProofB)
assert.Equal(finalProof.Proof.ProofC, msg.finalProof.Proof.ProofC)
assert.Equal(finalProof.Proof, msg.finalProof.Proof)
assert.Equal(finalProof.Public.NewStateRoot, msg.finalProof.Public.NewStateRoot)
assert.Equal(finalProof.Public.NewLocalExitRoot, msg.finalProof.Public.NewLocalExitRoot)
},
Expand Down
Loading

0 comments on commit 1d908b5

Please sign in to comment.