Remove contract postCompile and align versions (#51)

* remove contract postCompile and align versions
* install Go for SMC tests

.github/workflows/prover-testing.yml

@@ -19,7 +19,7 @@ jobs:
     - name: install Go
       uses: actions/setup-go@v4
       with:
-        go-version: 1.22.x
+        go-version: 1.23.x
     - name: checkout code
       uses: actions/checkout@v3
       with:
@@ -53,7 +53,7 @@ jobs:
   test:
     strategy:
       matrix:
-        go-version: [1.22.x]
+        go-version: [1.23.x]
         os: [ubuntu-latest]
     runs-on: ${{ matrix.os }}
     name: Prover testing

.github/workflows/run-smc-tests.yml

@@ -16,6 +16,11 @@ jobs:
         with:
           fetch-depth: 0
           ref: ${{ github.head_ref }}
+ 
+      - name: Install Go
+        uses: actions/setup-go@v4
+        with:
+          go-version: 1.22.x
 
       - name: Setup nodejs environment
         uses: ./.github/actions/setup-nodejs

contracts/Makefile

@@ -2,11 +2,9 @@
 
 compile:
 	pnpm run build
-	npx hardhat run scripts/hardhat/postCompile.ts
 
 force-compile:
 	npx hardhat compile --force
-	npx hardhat run scripts/hardhat/postCompile.ts
 
 clean:
 	rm -rf coverage/

contracts/contracts/test-contracts/IntegrationTestTrueVerifier.sol

@@ -3,8 +3,9 @@ pragma solidity 0.8.24;
 
 import { IPlonkVerifier } from "../interfaces/l1/IPlonkVerifier.sol";
 
-/// @dev Test verifier contract that returns true.
 contract IntegrationTestTrueVerifier is IPlonkVerifier {
+
+  /// @dev Always returns true for quick turnaround testing.
   function Verify(bytes calldata, uint256[] calldata) external pure returns (bool) {
     return true;
   }

contracts/scripts/hardhat/postCompile.ts

@@ -10,7 +10,7 @@ const MAX_UNCHANGED_PART_LEN = 100;
 const EXPOSED_CONTRACTS = ["L2MessageService", "LineaRollup", "TimeLock"];
 const CONTRACT_OUPUT_ABIS: { [contractName: string]: string } = {
   L2MessageService: "L2MessageService.abi",
-  LineaRollup: "LineaRollupAlphaV4.abi",
+  LineaRollup: "LineaRollupV6.0.abi", // next version
   TimeLock: "TimeLock.abi",
 };
 

jvm-libs/linea-contracts/l1-rollup/build.gradle

@@ -16,7 +16,7 @@ dependencies {
 
 web3jContractWrappers {
   def contractAbi = layout.buildDirectory.dir("${rootProject.projectDir}/contracts/abi").get()
-    .file("LineaRollupV5.abi").asFile.absolutePath
+    .file("LineaRollupV5.0.abi").asFile.absolutePath
 
   contractsPackage = "net.consensys.linea.contract"
   contracts = ["$contractAbi": "LineaRollup"]