* bump to beta v2.1-rc16
* add a prover config file for devnet
* update srs url
* bump constraints to cbc6bcb and go-corset to v1.1.1
* use go-corset v1.1.1
* use go-corset v1.1.3
* feat(state-manager): insertion and ephemeral filters .
* chores(versions): align the constraints version
* chores(version): align the corset version
* chores(version): update the zkevm.bin
* chores(version): update the zkevm.bin
* fix(limits): removes discrepancy between the sepolia and the mainnet config file
* chores(release): update the verifier contracts
* testing(contract): updates the post-release testdata
* chores(contracts): update the contracts
* chores(constraints): updates constraints and corset to use the right value
* chores(mod): updates the corset dependency and zkevm.bin
* testing(contract): updates the testdata
* chores(config): update the sample config to use the right version
---------
Co-authored-by: gusiri <dreamerty@postech.ac.kr>
Co-authored-by: Bogdan Ursu <bogdanursuoffice@gmail.com>
* placeholder docs
* adding more documentation
* documentation work in progress
* add main linking or index documents
* add a link images
* add messaging flows
* linking operator documentation and folder cleanup
* use correct pathing on tokenbridge.md
* link workflow documents
* add function signatures
* remove welcome to
* cross reference blob submission and finalization
* remove confusing text
* use better definition of shnarf
* fix broken link
* add charter, diagram and address book
* docs(LSC): Rename security-council-charter-v1.3.md to security-council-charter.md
Signed-off-by: Julien Marchand <julien-marchand@users.noreply.github.com>
* Update contracts/docs/mainnet-address-book.csv
Co-authored-by: Julien Marchand <julien-marchand@users.noreply.github.com>
Signed-off-by: The Dark Jester <thedarkjester@users.noreply.github.com>
---------
Signed-off-by: Julien Marchand <julien-marchand@users.noreply.github.com>
Signed-off-by: The Dark Jester <thedarkjester@users.noreply.github.com>
Co-authored-by: Julien Marchand <julien-marchand@users.noreply.github.com>
* bumping Hardhat and Solidity to latest
* bump coverage plugin
* add coverage var to command execute
* revert test
* update build script to use 0.8.28
* use 9 blobs for Pectra
* add linting to script
* turn prague on by default
* remove non-prague configuration
* testing not-yet-prague is the reason for failure
* using pectra from genesis
* reset to 9 for testing
* lowering blobs per tick
* add missing 9s and update blobscan
* spotless
* expect 9 blobs in one tx
* Update coordinator/app/src/main/kotlin/net/consensys/zkevm/coordinator/app/config/CoordinatorConfig.kt
Co-authored-by: Julien Marchand <julien-marchand@users.noreply.github.com>
Signed-off-by: The Dark Jester <thedarkjester@users.noreply.github.com>
* refactor testdata folders and use 9 blob agg
* refactor function for ease of reading
* move arguments up
* rename function
* format parameters
* validate at least 1 blob exists
* more spotless
* simplify blob hash computation
---------
Signed-off-by: The Dark Jester <thedarkjester@users.noreply.github.com>
Co-authored-by: Julien Marchand <julien-marchand@users.noreply.github.com>
* chores(cfg): create the config-mainnet-full.toml
* feat(contracts): adds PlonkVerifierMainnetFull contract
* dropme(cfg): points to the mainnet test files
* chores(contract): adds a tarball with all the inputs for the contract testing
* move betav1 test
* got to executing rollup case
* minor edit
* did boilerplate for migration test
* new
* fix: update betav1.4 migrations tests
* fix: remove .only in tests
* minor edits
* add new unit test and fix testverifierindex variable
---------
Co-authored-by: kyzooghost <jeffersonzjtang@gmail.com>
Co-authored-by: VGau <victorien.gauch@consensys.net>
* chores(verifier): updates the plonk verifier for beta-v2 on sepolia
* chores(config): changes the prover config to point to 5.0.0
* chores(prover): change the trace limits
* chores(testdata): updates the testdata
* utils -> helpers in test
* start to refactor helpers
* did some deploy functions
* running tests with all helper functions refactored out
* slight cleanup
* did BlobSubmission.ts
* did Finalization.ts
* more comments to before
* clean up dependency order
* remove reinit function in tokenbridge
* passing tests with removal of setRemoteSender
* remove operational task and dead role reference
* added tokenbridgev1_1 artifact to e2e tests
* adjustments
* fix nonce increment
* clean(prover): more hilo into zkevm/prover/common
* feat(codehash): implements the module connecting the codehash and the statesummary
* clean(ss): apply the changes for the statesummary
* feat(rand): moves everything to use rand/v2
* feat(csv): adds WriteExplicit
* feat(codehash): implements the consistency module
* fix(rng): Int31n -> Int32N
* fix(lint): pass the use of test-rng
* clean: clean one of the comment to remove debugging data
* fix(test): fix conversion test and also simplify the use of rng
* feat(codehash): enable the codehash consistency module
* reconnect the execution data hasher with the public input
* revert the rand/v2 for the testcase-gen of the contracts
* feat: reactivate the ecadd module
* feat: add the new contract (in prover folder)
* chores: move the plonk verifier in the contract folder
* add betaV1 sepolia proof verification test
* move functions closer to use
---------
Co-authored-by: AlexandreBelling <alexandrebelling8@gmail.com>
