Remove arthimization code and include it as dependency

Signed-off-by: Fabio Di Fabio <[email protected]>

.github/workflows/gradle.yml

@@ -37,7 +37,7 @@ jobs:
         uses: actions/upload-artifact@v3
         with:
           name: distributions
-          path: arithmetization/build/libs
+          path: sequencer/build/libs
 
   acceptanceTest:
     runs-on: ubuntu-latest
@@ -99,29 +99,6 @@ jobs:
           name: compress-test-report
           path: compress/build/reports/tests/
 
-  tests:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout repository
-        uses: actions/checkout@v3
-
-      - name: Set up JDK 17
-        uses: actions/setup-java@v3
-        with:
-          java-version: '17'
-          distribution: 'adopt'
-
-      - name: Run unit tests
-        run: ./gradlew :arithmetization:test
-        env:
-          JAVA_OPTS: -Dorg.gradle.daemon=false
-
-      - name: Upload test report
-        uses: actions/upload-artifact@v3
-        with:
-          name: unit-test-report
-          path: arithmetization/build/reports/tests/
-
   spotless:
     runs-on: ubuntu-latest
     steps:

.github/workflows/release.yml

@@ -50,6 +50,6 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         with:
           upload_url: ${{ steps.create_release.outputs.upload_url }}
-          asset_path: ./arithmetization/build/libs/besu-sequencer-plugins-${{ steps.get_version.outputs.VERSION }}.jar
-          asset_name: besu-sequencer-plugins-${{ steps.get_version.outputs.VERSION }}.jar
+          asset_path: ./sequencer/build/libs/linea-sequencer${{ steps.get_version.outputs.VERSION }}.jar
+          asset_name: linea-sequencer-${{ steps.get_version.outputs.VERSION }}.jar
           asset_content_type: application/octet-stream

.gitignore

@@ -30,8 +30,4 @@ out/
 site/
 /.direnv/
 /.envrc
-reference-tests/src/test/java/net/consensys/linea/generated/*
-!reference-tests/src/test/java/net/consensys/linea/generated/.gitkeep
-arithmetization/bin/
 acceptance-tests/bin/
-reference-tests/bin/

acceptance-tests/build.gradle

@@ -24,7 +24,6 @@ plugins {
 apply from: rootProject.file("gradle/java.gradle")
 apply from: rootProject.file("gradle/dependency-management.gradle")
 apply from: rootProject.file('gradle/common-dependencies.gradle')
-apply from: rootProject.file("gradle/corset.gradle")
 apply from: rootProject.file("gradle/tests.gradle")
 apply from: rootProject.file("gradle/lint.gradle")
 
@@ -41,7 +40,7 @@ tasks.register('acceptanceTests', Test) {
   description = 'Runs acceptance tests.'
 
   dependsOn(project(":native:compress").compileJava)
-  dependsOn(project(":arithmetization").copyPluginJar)
+  dependsOn(project(":sequencer").copyPluginJar)
 
   inputs.property("integration.date", LocalTime.now()) // so it runs on every invocation
 
@@ -55,8 +54,9 @@ tasks.register('acceptanceTests', Test) {
 }
 
 dependencies {
-  testImplementation project(":arithmetization")
+  testImplementation 'net.consensys.linea.zktracer:arithmetization'
   testImplementation project(":native:compress")
+  testImplementation project(":sequencer")
   testImplementation "${besuArtifactGroup}.internal:dsl:$besuVersion"
   testImplementation "${besuArtifactGroup}:besu-datatypes:$besuVersion"
   testImplementation "${besuArtifactGroup}.internal:eth:$besuVersion"

acceptance-tests/src/test/java/org/hyperledger/besu/tests/acceptance/dsl/BlockUtils.java

@@ -67,7 +67,6 @@ public static BlockHeader createBlockHeader(
         null,
         null,
         null,
-        null,
         blockHeaderFunctions);
   }
 }

acceptance-tests/src/test/resources/moduleLimits.toml

@@ -14,6 +14,7 @@ BIN                 = 262144
 BIN_RT              = 262144
 EC_DATA             = 4096
 EUC                 = 16384 # can probably be lower
+EXP                 = 32760
 EXT                 = 32768
 HUB                 = 2097152
 INSTRUCTION_DECODER = 512 # Ugly hack, TODO: @franklin
@@ -43,7 +44,7 @@ RLP_TXN             = 262144
 RLP_TXRCPT          = 262144
 TXN_DATA            = 262144
 STP                 = 262144
-
+OOB                 = 262144
 #
 # Block-specific limits
 #
@@ -52,6 +53,9 @@ BLOCK_L2L1LOGS = 16
 BLOCK_KECCAK   = 8192
 BLOCK_L1SIZE   = 1000000
 
+BLOCKDATA = 13
+BLOCKHASH = 1
+
 #
 # Precompiles limits
 #

acceptance-tests/src/test/resources/noModuleLimits.toml

@@ -14,6 +14,7 @@ BIN                 = 262144
 BIN_RT              = 262144
 EC_DATA             = 4096
 EUC                 = 16384 # can probably be lower
+EXP                 = 32760
 EXT                 = 32768
 HUB                 = 2097152
 INSTRUCTION_DECODER = 512 # Ugly hack, TODO: @franklin
@@ -43,6 +44,9 @@ RLP_TXN             = 262144
 RLP_TXRCPT          = 262144
 TXN_DATA            = 262144
 STP                 = 262144
+OOB                 = 262144
+BLOCKDATA = 13
+BLOCKHASH = 1
 
 #
 # Block-specific limits

acceptance-tests/src/test/resources/strictModuleLimits.toml

@@ -14,6 +14,7 @@ BIN                 = 262144
 BIN_RT              = 262144
 EC_DATA             = 4096
 EUC                 = 16384 # can probably be lower
+EXP                 = 32760
 EXT                 = 32768
 HUB                 = 10000
 INSTRUCTION_DECODER = 512 # Ugly hack, TODO: @franklin
@@ -43,6 +44,9 @@ RLP_TXN             = 262144
 RLP_TXRCPT          = 262144
 TXN_DATA            = 262144
 STP                 = 262144
+OOB                 = 262144
+BLOCKDATA = 13
+BLOCKHASH = 1
 
 #
 # Block-specific limits

acceptance-tests/src/test/resources/txOverflowModuleLimits.toml

@@ -15,6 +15,7 @@ BIN                 = 262144
 BIN_RT              = 262144
 EC_DATA             = 4096
 EUC                 = 16384 # can probably be lower
+EXP                 = 32760
 EXT                 = 20
 HUB                 = 30
 INSTRUCTION_DECODER = 256 # Ugly hack, TODO: @franklin
@@ -44,6 +45,9 @@ RLP_TXN             = 1300
 RLP_TXRCPT          = 100
 TXN_DATA            = 30
 STP                 = 20
+OOB                 = 262144
+BLOCKDATA = 13
+BLOCKHASH = 1
 
 #
 # Block-specific limits