fix: sol versions, solhintignore

.github/workflows/create.yml

@@ -19,8 +19,7 @@ jobs:
       - name: "Update package.json"
         env:
           GITHUB_REPOSITORY_DESCRIPTION: ${{ github.event.repository.description }}
-        run:
-          ./.github/scripts/rename.sh "$GITHUB_REPOSITORY" "$GITHUB_REPOSITORY_OWNER" "$GITHUB_REPOSITORY_DESCRIPTION"
+        run: ./.github/scripts/rename.sh "$GITHUB_REPOSITORY" "$GITHUB_REPOSITORY_OWNER" "$GITHUB_REPOSITORY_DESCRIPTION"
 
       - name: "Add rename summary"
         run: |

.solhintignore

@@ -1 +1,3 @@
 node_modules
+test/**
+src/RlnVerifier.sol

README.md

@@ -9,7 +9,6 @@
 
 A Foundry-based project for Rate Limiting Nullifiers.
 
-
 ## Getting Started
 
 ```sh
@@ -20,13 +19,13 @@ forge install # install Foundry's dependencies
 If this is your first time with Foundry, check out the
 [installation](https://github.com/foundry-rs/foundry#installation) instructions.
 
-
-## Usage 
+## Usage
 
 ### Compilation
 
 ```sh
 forge build
+```
 
 ### Format
 
@@ -58,15 +57,19 @@ Run the tests:
 forge test
 ```
 
-
 ### Deployment
 
 Ensure you setup the .env file with the correct values mentioned in the .env.example file.
 
 ```sh
-./script/deploy.sh rln
+./script/deploy.sh rln <network>
 ```
 
+Where `<network>` is one of -
+
+- `sepolia`
+- `polygon-zkevm`
+
 This will deploy the RLN contract, with its associated libraries to the specified network.
 If forge supports the network, it will also verify the contract on the block explorer.
 

script/Base.s.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: MIT
-pragma solidity ^0.8.15;
+pragma solidity >=0.8.19;
 
 import { Script } from "forge-std/Script.sol";
 

script/Deploy.s.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: UNLICENSED
-pragma solidity ^0.8.15;
+pragma solidity >=0.8.19;
 
 import { Verifier } from "../src/RlnVerifier.sol";
 import { Rln } from "../src/Rln.sol";
@@ -10,8 +10,6 @@ contract Deploy is BaseScript {
     function run() public returns (Rln rln, DeploymentConfig deploymentConfig) {
         deploymentConfig = new DeploymentConfig(broadcaster);
 
-
-
         vm.startBroadcast(broadcaster);
         // step 1: deploy the verifier
         Verifier verifier = new Verifier();

script/DeploymentConfig.s.sol

@@ -1,6 +1,6 @@
 //// SPDX-License-Identifier: UNLICENSED
 
-pragma solidity ^0.8.15;
+pragma solidity >=0.8.19;
 
 import { Script } from "forge-std/Script.sol";
 

src/IVerifier.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: Apache-2.0 OR MIT
-pragma solidity ^0.8.15;
+pragma solidity >=0.8.19;
 
 interface IVerifier {
     function verifyProof(

src/Rln.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: MIT
-pragma solidity ^0.8.15;
+pragma solidity >=0.8.19;
 
 import "./RlnBase.sol";
 

src/RlnBase.sol

@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: MIT
 
-pragma solidity ^0.8.15;
+pragma solidity ^0.8.19;
 
 import { IVerifier } from "./IVerifier.sol";
 import { BinaryIMT, BinaryIMTData } from "@zk-kit/imt.sol/BinaryIMT.sol";

src/RlnVerifier.sol

@@ -18,7 +18,7 @@
 //
 //
 // SPDX-License-Identifier: GPL-3.0
-pragma solidity ^0.8.11;
+pragma solidity ^0.8.19;
 
 library Pairing {
     struct G1Point {

test/mocks/VerifierMock.sol

@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: Unlicense
-pragma solidity ^0.8.15;
+pragma solidity ^0.8.19;
 
 import { IVerifier } from "../../src/IVerifier.sol";