Commit Graph

296 Commits

Author SHA1 Message Date
kyzooghost
da5b7df89b Chore/goerli removal (#342)
* replaced 'goerli' with 'sepolia' in *.md files in /contracts

* change 'goerli' to 'sepolia' in comments in /contracts
2024-11-29 03:27:54 -08:00
The Dark Jester
0cf2a12abf [Chore] - Tweak readme documentation and audits (#359)
* Tweak readme documentation and audits

* add latest to the Fifth round

* Update contracts/README.md

Co-authored-by: kyzooghost <73516204+kyzooghost@users.noreply.github.com>
Signed-off-by: The Dark Jester <thedarkjester@users.noreply.github.com>

---------

Signed-off-by: The Dark Jester <thedarkjester@users.noreply.github.com>
Co-authored-by: kyzooghost <73516204+kyzooghost@users.noreply.github.com>
2024-11-29 02:07:22 -08:00
Bradley Bown
158659867e Coordinator - Extra tests for findConsecutiveProvenBlobs (#186)
* Coordinator - Extra tests for findConsecutiveProvenBlobs to cover conflation resuming

* feat: update the integration tests

* feat: update the integration tests with better parallel calls

* feat: remove the support of inserting unproven status of batches, blobs, aggregations via dao

* feat: remove the status input from getProofsToFinalize

* fix: spotless issue

* fix: test function call issue

* feat: code chore on Dao classes

* feat: rename batchesDaoTableName to batchesTableName

---------

Co-authored-by: jonesho <jones.ho@consensys.net>
Co-authored-by: jonesho <81145364+jonesho@users.noreply.github.com>
2024-11-29 18:04:22 +08:00
Roman Vaseev
2c355d4806 Fixed sigterm propagation, making geth containers faster to stop and restart (#358) 2024-11-29 09:27:33 +01:00
AlexandreBelling
35700222f8 Feature/optimization distributedlab rebased (#356)
* fft optimization: used parallel approach from gnark-crypto

* following OmegaTymbJIep: Use atomic uint instead of the chan of uints in parallel task tracking

* Adding bitreverse from gnark-crypto

* Use atomic counter instead of uint chan to avoid locks

* Add test for AtomicCounter

* fixed build issues due to changes in keccak

* increase butterflyThreshold (because we now use kerDITNP_256 instead of kerDITNP_8)

* rollback butterflyThreshold

* adding check for nBTasks in parallel.execute

* using GOMAXPROCS instead of NumCPU

* adding execution pool

* fixed initializing thread pool

* adding ExecutePoolChunkyWithCache

* returning back from ExecutePoolChunkyWithCache to ExecutePoolChunky, adding ExecutePoolChunky to multi_to_single_point.go

* adding ExecutePoolChunkyWithAllocated

* replacing ExecutePoolChunky with ExecuteChunky in InitOpeningWithLC

* returning back  ExecutePoolChunky in InitOpeningWithLC, adding additional ExecutePoolChunky into quotient

* replacing ExecutePoolChunky with Execute into quotient

* fix: removing redundant mainWg in multi_to_single_point.go

* fix multi_to_single_point.go councurency waitning, retry quotient with ExecutePoolChunky

* ExecutePoolChunky in opening_prover.go, rolling back quotient.go

* ExecutePoolChunky in multi_to_single_point.go

* removing mutexes from quotient

* Avoid redundant bigint allocations

* fixed pool - removing redundant

* fixed - removing redundant comments

* removing keccak optimization

---------

Co-authored-by: olegfomenko <oleg.fomenko2002@gmail.com>
Co-authored-by: Anton Levochko <hykakdela@gmail.com>
2024-11-28 23:17:41 +01:00
The Dark Jester
7476afd033 [Chore] Add setMessageServiceOnTokenBridge task (#347)
* add setMessageServiceOnTokenBridge task

* remove duplicate and correct conditional

* fix missing ! in check
2024-11-28 08:48:24 -08:00
Victorien Gauch
8226d2c9b2 fix: issue with token store migration (#346) 2024-11-28 15:07:03 +01:00
The Dark Jester
7f95ae9be2 ping codeowners for entire contracts folder (#348) 2024-11-28 05:36:58 -08:00
Pedro Novais
04ca489a43 Coordinator carveout smartcontract readonly (#349)
coordinator: carve out LineaRollupSmartContractClientReadOnly
2024-11-28 11:43:49 +00:00
The Dark Jester
466d847e34 [Fix] - Add missing roles and encoding for updateDelay (#345)
* add missing roles and encoding for updateDelay

* remove forge-std and ignore in git
2024-11-27 09:50:52 -08:00
jonesho
7e6804e699 feat: delete duplicated HttpJsonRpcServer and use the one from jvm-libs (#340)
* feat: delete duplicated HttpJsonRpcServer and use the one from jvm-libs

* feat: update tx-exclusion-api image tag
2024-11-27 21:56:45 +08:00
Victorien Gauch
0762dbb7c7 feat: add e2e tests for LineaRollup contract upgrade (#339)
* feat: add test for LineaRollup contract upgrade

* fix: add reinit event checks for the upgrade

* feat: add new test for roles assignments

* fix: add comment for fallback operator address
2024-11-27 10:58:21 +01:00
The Dark Jester
cdb74e1496 validate callforwarding proxy works as expected (#338) 2024-11-26 10:16:51 -08:00
The Dark Jester
3fbe660683 remove verification in wrong file (#332) 2024-11-26 03:26:05 -08:00
AlexandreBelling
3ecd75034d fix(keccak-pi): exposes the statement of the keccak in wizard. (#319)
Co-authored-by: Arya Tabaie <arya.pourtabatabaie@gmail.com>
2024-11-25 20:51:35 +01:00
Pedro Novais
9361d4a23e staterecover: improve local stack (#336)
* staterecover: improve local stack and make file
2024-11-25 16:48:45 +00:00
jonesho
8749f920cb feat: improve tx-exclusion-api performance and increase size of reaso… (#327)
* feat: improve tx-exclusion-api performance and increase size of reason message column

* feat: set waitForTcpPorts as true for localStackPostgresDbOnly and update prover-v3 image tag in compose

* feat: update prover-v3 image tag to a more recent one

* feat: update coordinator image tag to a more recent one
2024-11-25 23:29:40 +08:00
The Dark Jester
ad1afca98e correct var on tokenbridge deploy (#337) 2024-11-25 06:40:54 -08:00
The Dark Jester
bb7cd3d50d [Chore] Update current reinitialization script for all contracts (#331)
* current reinitialization script for all contracts

* use shared functions consistently

* add forwarding proxy

* add extra logging and use fallbackOperator name

* use env var for fallback operator
2024-11-25 03:40:39 -08:00
Arya Tabaie
521f90b8b9 Chore/prover/adjust compression max (#313)
* feat command line arguments for blob size maximizer

* chore adjust blob size
2024-11-25 10:41:13 +00:00
Arya Tabaie
c4abdd9202 Fix PI prover nil reference bug (#312)
* fix get setup first
* don't "overbatch"

---------

Co-authored-by: Arya Tabaie <15056835+Tabaie@users.noreply.github.com>
2024-11-22 20:14:38 +00:00
The Dark Jester
98291b5c4b [Feat] 191 improve documentation (#316)
* initial changes for the contract readme

* testing guidelines wip

* add contract documentation

* add note on future deprecation

* add memory and CPU requirements for docker

* add audit references to documentation

* use tokenbridge make commands in documentation

* add additional comments to testing guidelines

* define contract style guide and link it

* address PR comments with better documentation

* document tweaks and traffic generation script

* catch error on failure of main()

* add precompute script and readme documentation

* use ethers address generation

---------

Co-authored-by: count-sum <andrei.alexandru@consensys.net>
2024-11-22 09:53:15 -08:00
Victorien Gauch
86616e6136 fix: update testing workflow to always succeed in case all jobs are skipped (#330) 2024-11-22 14:46:29 +01:00
Victorien Gauch
d4f3f271af Fix(328): ci testing workflow issue when no tests are run (#329)
* fix: ci testing workflow issue when no tests are run

* feat: set ssl as false and gssEncMode as disable in tx-exclusion-api integration test

* fix: remove unnecessary conditions in testing workflow

---------

Co-authored-by: jonesho <jones.ho@consensys.net>
2024-11-22 11:31:22 +00:00
Pedro Novais
df9370bce2 coordinator: removes unnecessary debug log (#326) 2024-11-22 09:57:34 +00:00
Victorien Gauch
899bb696b9 fix: bridge ui cookie hydration issue (#318) 2024-11-21 16:38:06 +01:00
The Dark Jester
adb097aff4 [Chore] Export contract ABI and use solidity-docgen export (#323)
* export contract ABI and use solidity-docgen export

* add docgen dependency

* lint fixing
2024-11-21 06:49:31 -08:00
Pedro Novais
8544ea15b9 statereover: update web3j (#322)
statereover: update web3j and remove besu transitive dependencies
2024-11-21 14:09:10 +00:00
The Dark Jester
3b0b65fa3d [FIX] N-04 - Use constants for known fixed values (#303)
* Use constants for known fixed values

* add natspec for the new constants

---------

Signed-off-by: The Dark Jester <thedarkjester@users.noreply.github.com>
2024-11-21 04:57:39 -08:00
Victorien Gauch
b72d23e567 Fix: jest e2e tests stuck in CI (#315)
* fix: decrease machine to ubuntu 20

* fix: add high gas price in global setup txs
2024-11-21 13:17:06 +01:00
Pedro Novais
d49165d7c0 statereover: improve contract versions (#320)
* statereover: smart contract client with static versions
2024-11-21 10:40:21 +00:00
The Dark Jester
498e9ba282 make some functions external (#299) 2024-11-21 02:21:53 -08:00
The Dark Jester
7fe6ebbcee check permit allowance before calling permit (#306) 2024-11-21 02:21:28 -08:00
The Dark Jester
619efcae74 [Fix] N-03 - Use 0x20 vs. 32 for memory offset (#300)
* use 0x20 vs. 32 for memory offset

* use 0x20 in message error returning
2024-11-21 02:20:44 -08:00
The Dark Jester
ccb34ee8b9 [Fix] N-02 - add indexes to pause events (#302)
* add indexes to pause events

* use correct spacing
2024-11-21 02:19:43 -08:00
The Dark Jester
46cecd099b use security contact and library description (#301) 2024-11-21 02:19:28 -08:00
The Dark Jester
7a6b981660 [Fix] - L-03 - Add better explicit docstrings (#307)
* add better explicit docstrings

* additional docstrings for completeness

* tweak natspec

* use required vs require in natspec
2024-11-21 02:19:10 -08:00
The Dark Jester
5aa86d6b6a remove extra NB: and add missing return value (#304) 2024-11-21 02:18:50 -08:00
The Dark Jester
4191d2eda2 [Fix] - L-01 - Validate default admin and fallback operator (#305)
* validate default admin and fallback operator

* revert confirmDeployment on empty list

* align natspec
2024-11-21 02:18:28 -08:00
The Dark Jester
fc6b8f9979 [Fix] M-01 Prevent fallback operator calling renounceRole (#298)
* prevent fallback operator calling renounceRole

* do not use virtual in override

* correct grammar in natspec
2024-11-21 02:18:01 -08:00
Pedro Novais
3d5d4e6ab0 staterecover: adds blobscan to local stack (#279)
* staterecover: adds blobscan to local stack

* staterecover: adds blobscan env file

* connect port 4001 for blobscan-api

* statereover: improve test utils for code reuse

---------

Co-authored-by: thedarkjester <grant.southey@consensys.net>
2024-11-21 10:08:07 +00:00
AlexandreBelling
c0b28f1970 Prover: adds field dict_path in config (#314)
* feat(conf): adds a config field to explicitly set the dictionary path
* fix(typo): prover assets path
* fix(e2e): specifies an explicit dict path
* comment(dict_path): adds a comment stressing to not use the field outside E2E testing context.
2024-11-20 14:38:52 +01:00
Arya Tabaie
0615fa37b9 refactor prove/setup args (#288)
* refactor prove/setup args

* refac contain global variables in the main package

* refactor eliminate unnecessary arguments
2024-11-19 15:47:55 -06:00
Arya Tabaie
93366e5b02 Prover: adds gnark options to public input proof for efficiency (#293)
* fix prover options for decomp

* perf batch all proofs

* skip tests
2024-11-19 15:31:27 -06:00
Arya Tabaie
6d76c525f7 test cache proofs for tests/debugging (#297)
* test cache proofs for tests
2024-11-19 15:07:42 -06:00
Arya Tabaie
d686f1b2ce Prover: perf load setup in parallel to compilation and assignment (#289)
* perf load setup in parallel to compilation and assignment
* style gofmt
* fix use waitgroup instead of channel

---------

Co-authored-by: Arya Tabaie <15056835+Tabaie@users.noreply.github.com>
2024-11-19 14:19:30 -06:00
AlexandreBelling
a29c4d99e0 Fix(tests): fix the failing tests (#308) 2024-11-19 15:36:47 +01:00
Håvard Anda Estensen
9713fef2a6 perf(prover): preallocate slices (#119)
* chore(prover): add prealloc linter
* perf(prover): preallocate slices
2024-11-19 10:19:50 +01:00
AlexandreBelling
0b797594bd Prover: apply the AVX optimizations for math/vector (#185)
* feat: apply the AVX optimizations
* style: remove redundant boundary check
2024-11-19 09:30:42 +01:00
Arya Tabaie
d9cfcef041 feat decompression dummy proof (#290)
Co-authored-by: Arya Tabaie <15056835+Tabaie@users.noreply.github.com>
2024-11-19 09:13:34 +01:00