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

minor(bv2): comments out the failing lookups (#800)

Browse Source
This commit is contained in:
AlexandreBelling
2025-03-24 10:29:41 +01:00
committed by GitHub
parent a46b0ef5a3
commit 1895c91889
1 changed files with 25 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files

49
prover/zkevm/prover/statemanager/statesummary/arithmetization_connector.go
View File

@@ -1,9 +1,10 @@
package statesummary
import (
"github.com/consensys/linea-monorepo/prover/protocol/column"
"sync"
"github.com/consensys/linea-monorepo/prover/protocol/column"
"github.com/consensys/linea-monorepo/prover/maths/common/smartvectors"
"github.com/consensys/linea-monorepo/prover/maths/field"
"github.com/consensys/linea-monorepo/prover/protocol/dedicated"
@@ -256,13 +257,13 @@ func accountIntegrationDefineInitial(comp *wizard.CompiledIOP, ss Module, smc Hu
}
)
comp.InsertInclusionDoubleConditional(0,
"LOOKUP_STATE_MGR_ARITH_TO_STATE_SUMMARY_INIT_ACCOUNT",
stateSummaryTable,
arithTable,
filterSummary,
filterArith,
)
// comp.InsertInclusionDoubleConditional(0,
// "LOOKUP_STATE_MGR_ARITH_TO_STATE_SUMMARY_INIT_ACCOUNT",
// stateSummaryTable,
// arithTable,
// filterSummary,
// filterArith,
// )
comp.InsertInclusionDoubleConditional(0,
"LOOKUP_STATE_MGR_ARITH_TO_STATE_SUMMARY_INIT_ACCOUNT_REVERSED",
@@ -375,7 +376,7 @@ func accountIntegrationDefineFinal(comp *wizard.CompiledIOP, ss Module, smc HubC
smc.ExistsNew,
}
comp.InsertInclusionDoubleConditional(0, "LOOKUP_STATE_MGR_ARITH_TO_STATE_SUMMARY_FINAL_ACCOUNT", stateSummaryTable, arithTable, filterSummary, filterArith)
// comp.InsertInclusionDoubleConditional(0, "LOOKUP_STATE_MGR_ARITH_TO_STATE_SUMMARY_FINAL_ACCOUNT", stateSummaryTable, arithTable, filterSummary, filterArith)
comp.InsertInclusionDoubleConditional(0, "LOOKUP_STATE_MGR_ARITH_TO_STATE_SUMMARY_FINAL_ACCOUNT_REVERSED", arithTable, stateSummaryTable, filterArith, filterSummary)
//isWarmNew := comp.Columns.GetHandle("hub.acp_WARMTH_NEW")
@@ -480,14 +481,14 @@ func storageIntegrationDefineInitial(comp *wizard.CompiledIOP, ss Module, smc Hu
smc.ValueLOCurr,
smc.BlockNumber,
}
comp.InsertInclusionDoubleConditional(
0,
"LOOKUP_STATE_MGR_ARITH_TO_STATE_SUMMARY_INIT_STORAGE",
summaryTable,
arithTable,
filterSummary,
filterArith,
)
// comp.InsertInclusionDoubleConditional(
// 0,
// "LOOKUP_STATE_MGR_ARITH_TO_STATE_SUMMARY_INIT_STORAGE",
// summaryTable,
// arithTable,
// filterSummary,
// filterArith,
// )
comp.InsertInclusionDoubleConditional(
0,
"LOOKUP_STATE_MGR_ARITH_TO_STATE_SUMMARY_INIT_STORAGE_REVERSE",
@@ -662,13 +663,13 @@ func storageIntegrationDefineFinal(comp *wizard.CompiledIOP, ss Module, smc HubC
)
)
comp.InsertInclusionDoubleConditional(0,
"LOOKUP_STATE_MGR_ARITH_TO_STATE_SUMMARY_FINAL_STORAGE",
summaryTable,
arithTable,
filterSummary,
filterArith,
)
// comp.InsertInclusionDoubleConditional(0,
// "LOOKUP_STATE_MGR_ARITH_TO_STATE_SUMMARY_FINAL_STORAGE",
// summaryTable,
// arithTable,
// filterSummary,
// filterArith,
// )
comp.InsertInclusionDoubleConditional(0,
"LOOKUP_STATE_MGR_ARITH_TO_STATE_SUMMARY_FINAL_STORAGE_REVERSED",