vacp2p/linea-monorepo
1
0
Fork 0
mirror of https://github.com/vacp2p/linea-monorepo.git synced 2026-01-09 20:27:58 -05:00
Code Issues Packages Projects Releases Wiki Activity

Prover: new beta-v1 contract (#504)

Browse Source 
* feat: reactivate the ecadd module

* feat: add the new contract (in prover folder)

* chores: move the plonk verifier in the contract folder
This commit is contained in:
AlexandreBelling
2025-01-08 11:10:02 +01:00
committed by GitHub
parent 574e0efe32
commit 2fb12b90a7
2 changed files with 1356 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1350
contracts/contracts/verifiers/PlonkVerifierSepoliaFull.sol Normal file
View File

File diff suppressed because it is too large Load Diff

20
prover/zkevm/zkevm.go
View File

@@ -33,11 +33,9 @@ type ZkEvm struct {
// modexp is the module responsible for proving the calls to the modexp
// precompile
modexp *modexp.Module
// deactivated pending the resolution of: https://github.com/Consensys/linea-tracer/issues/954
//
// ecadd is the module responsible for proving the calls to the ecadd
// precompile
// ecadd *ecarith.EcAdd
ecadd *ecarith.EcAdd
// ecmul is the module responsible for proving the calls to the ecmul
// precompile
ecmul *ecarith.EcMul
@@ -99,10 +97,8 @@ func newZkEVM(b *wizard.Builder, s *Settings) *ZkEvm {
stateManager = statemanager.NewStateManagerNoHub(comp, s.Statemanager)
keccak = keccak.NewKeccakZkEVM(comp, s.Keccak, ecdsa.GetProviders())
modexp = modexp.NewModuleZkEvm(comp, s.Modexp)
// deactivated pending the resolution of: https://github.com/Consensys/linea-tracer/issues/954
//
// ecadd = ecarith.NewEcAddZkEvm(comp, &s.Ecadd)
ecmul = ecarith.NewEcMulZkEvm(comp, &s.Ecmul)
ecadd = ecarith.NewEcAddZkEvm(comp, &s.Ecadd)
ecmul = ecarith.NewEcMulZkEvm(comp, &s.Ecmul)
// ecpair = ecpair.NewECPairZkEvm(comp, &s.Ecpair)
sha2 = sha2.NewSha2ZkEvm(comp, s.Sha2)
publicInput = publicInput.NewPublicInputZkEVM(comp, &s.PublicInput, &stateManager.StateSummary)
@@ -114,10 +110,8 @@ func newZkEVM(b *wizard.Builder, s *Settings) *ZkEvm {
stateManager: stateManager,
keccak: keccak,
modexp: modexp,
// deactivated pending the resolution of: https://github.com/Consensys/linea-tracer/issues/954
//
// ecadd: ecadd,
ecmul: ecmul,
ecadd: ecadd,
ecmul: ecmul,
// ecpair: ecpair,
sha2: sha2,
PublicInput: &publicInput,
@@ -139,9 +133,7 @@ func (z *ZkEvm) prove(input *Witness) (prover wizard.ProverStep) {
z.stateManager.Assign(run, input.SMTraces)
z.keccak.Run(run)
z.modexp.Assign(run)
// deactivated pending the resolution of: https://github.com/Consensys/linea-tracer/issues/954
//
// z.ecadd.Assign(run)
z.ecadd.Assign(run)
z.ecmul.Assign(run)
// z.ecpair.Assign(run)
z.sha2.Run(run)