Remove arthimization code and include it as dependency (#15)

Resolves: #3 Signed-off-by: Fabio Di Fabio <[email protected]> Co-authored-by: Tsvetan Dimitrov <[email protected]> Co-authored-by: Gabriel-Trintinalia <[email protected]>
Consensys · Jun 14, 2024 · f30b9e4 · f30b9e4
1 parent a71a239
commit f30b9e4
Show file tree

Hide file tree

Showing 456 changed files with 105 additions and 71,366 deletions.
diff --git a/.github/workflows/gradle.yml b/.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 21
-        uses: actions/setup-java@v3
-        with:
-          java-version: 21
-          distribution: temurin
-
-      - 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:

diff --git a/.github/workflows/release.yml b/.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
diff --git a/.gitignore b/.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/
diff --git a/.gitmodules b/.gitmodules
diff --git a/acceptance-tests/build.gradle b/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")
 
@@ -45,7 +44,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
 
@@ -59,9 +58,13 @@ 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}.internal:api:${besuVersion}"
+  testImplementation "${besuArtifactGroup}:plugin-api"
+  testImplementation "${besuArtifactGroup}.internal:algorithms:${besuVersion}"
   testImplementation "${besuArtifactGroup}:besu-datatypes:$besuVersion"
   testImplementation "${besuArtifactGroup}.internal:eth:$besuVersion"
   testImplementation "${besuArtifactGroup}.internal:eth:$besuVersion:test-support"

diff --git a/acceptance-tests/src/test/java/linea/plugin/acc/test/rpc/linea/EstimateGasTest.java b/acceptance-tests/src/test/java/linea/plugin/acc/test/rpc/linea/EstimateGasTest.java
@@ -31,7 +31,7 @@
 import net.consensys.linea.bl.TransactionProfitabilityCalculator;
 import net.consensys.linea.config.LineaProfitabilityCliOptions;
 import net.consensys.linea.config.LineaProfitabilityConfiguration;
-import net.consensys.linea.rpc.linea.LineaEstimateGas;
+import net.consensys.linea.rpc.LineaEstimateGas;
 import org.apache.tuweni.bytes.Bytes;
 import org.apache.tuweni.units.bigints.UInt64;
 import org.bouncycastle.crypto.digests.KeccakDigest;

diff --git a/acceptance-tests/src/test/java/org/hyperledger/besu/tests/acceptance/dsl/BlockUtils.java b/acceptance-tests/src/test/java/org/hyperledger/besu/tests/acceptance/dsl/BlockUtils.java
@@ -15,19 +15,6 @@
 
 package org.hyperledger.besu.tests.acceptance.dsl;
 
-import static org.hyperledger.besu.datatypes.Hash.fromHexString;
-
-import java.math.BigInteger;
-
-import org.apache.tuweni.bytes.Bytes;
-import org.hyperledger.besu.datatypes.Address;
-import org.hyperledger.besu.datatypes.Hash;
-import org.hyperledger.besu.ethereum.core.BlockHeader;
-import org.hyperledger.besu.ethereum.core.BlockHeaderFunctions;
-import org.hyperledger.besu.ethereum.core.Difficulty;
-import org.hyperledger.besu.evm.log.LogsBloomFilter;
-import org.web3j.protocol.core.methods.response.EthBlock.Block;
-
 /** Helper functions for creating and manipulating blocks and block headers. */
 public class BlockUtils {
 
@@ -38,35 +25,35 @@ public class BlockUtils {
    * @param blockHeaderFunctions functions for calculating parts of a {@link BlockHeader}
    * @return a block header of type {@link BlockHeader}
    */
-  public static BlockHeader createBlockHeader(
-      final Block block, final BlockHeaderFunctions blockHeaderFunctions) {
-    final Hash mixHash =
-        block.getMixHash() == null
-            ? Hash.fromHexStringLenient("0x0")
-            : fromHexString(block.getMixHash());
-
-    return new BlockHeader(
-        fromHexString(block.getParentHash()),
-        fromHexString(block.getSha3Uncles()),
-        Address.fromHexString(block.getMiner()),
-        fromHexString(block.getStateRoot()),
-        fromHexString(block.getTransactionsRoot()),
-        fromHexString(block.getReceiptsRoot()),
-        LogsBloomFilter.fromHexString(block.getLogsBloom()),
-        Difficulty.fromHexString(block.getDifficultyRaw()),
-        block.getNumber().longValue(),
-        block.getGasLimit().longValue(),
-        block.getGasUsed().longValue(),
-        block.getTimestamp().longValue(),
-        Bytes.fromHexString(block.getExtraData()),
-        null,
-        mixHash,
-        new BigInteger(block.getNonceRaw().substring(2), 16).longValue(),
-        null,
-        0L,
-        null,
-        null,
-        null,
-        blockHeaderFunctions);
-  }
+  //  public static BlockHeader createBlockHeader(
+  //      final Block block, final BlockHeaderFunctions blockHeaderFunctions) {
+  //    final Hash mixHash =
+  //        block.getMixHash() == null
+  //            ? Hash.fromHexStringLenient("0x0")
+  //            : fromHexString(block.getMixHash());
+  //
+  //    return new BlockHeader(
+  //        fromHexString(block.getParentHash()),
+  //        fromHexString(block.getSha3Uncles()),
+  //        Address.fromHexString(block.getMiner()),
+  //        fromHexString(block.getStateRoot()),
+  //        fromHexString(block.getTransactionsRoot()),
+  //        fromHexString(block.getReceiptsRoot()),
+  //        LogsBloomFilter.fromHexString(block.getLogsBloom()),
+  //        Difficulty.fromHexString(block.getDifficultyRaw()),
+  //        block.getNumber().longValue(),
+  //        block.getGasLimit().longValue(),
+  //        block.getGasUsed().longValue(),
+  //        block.getTimestamp().longValue(),
+  //        Bytes.fromHexString(block.getExtraData()),
+  //        null,
+  //        mixHash,
+  //        new BigInteger(block.getNonceRaw().substring(2), 16).longValue(),
+  //        null,
+  //        0L,
+  //        null,
+  //        null,
+  //        null,
+  //        blockHeaderFunctions);
+  //  }
 }
diff --git a/acceptance-tests/src/test/resources/moduleLimits.toml b/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
 #

diff --git a/acceptance-tests/src/test/resources/noModuleLimits.toml b/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

diff --git a/acceptance-tests/src/test/resources/strictModuleLimits.toml b/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

diff --git a/acceptance-tests/src/test/resources/txOverflowModuleLimits.toml b/acceptance-tests/src/test/resources/txOverflowModuleLimits.toml
@@ -15,8 +15,9 @@ BIN                 = 262144
 BIN_RT              = 262144
 EC_DATA             = 4096
 EUC                 = 16384 # can probably be lower
+EXP                 = 32760
 EXT                 = 20
-HUB                 = 30
+HUB                 = 33
 INSTRUCTION_DECODER = 256 # Ugly hack, TODO: @franklin
 MMIO                = 1048576
 MMU                 = 524288
@@ -44,6 +45,9 @@ RLP_TXN             = 1300
 RLP_TXRCPT          = 100
 TXN_DATA            = 30
 STP                 = 20
+OOB                 = 262144
+BLOCKDATA = 13
+BLOCKHASH = 1
 
 #
 # Block-specific limits