feat: initial version

.gitattributes

@@ -1 +1 @@
-*.sol linguist-language=Solidity
+*.sol linguist-language=Rust

.github/workflows/tests.yml

@@ -7,148 +7,43 @@ concurrency:
   cancel-in-progress: true
 
 env:
-  MAINNET_RPC: ${{ secrets.MAINNET_RPC }}
-  SEPOLIA_RPC: ${{ secrets.SEPOLIA_RPC }}
+  CARGO_TERM_COLOR: always
 
 jobs:
-  unit-tests:
-    name: Run Unit Tests
+  fmt:
+    name: Format
     runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-
-      - name: Install Foundry
-        uses: foundry-rs/foundry-toolchain@v1
-        with:
-          version: nightly
-
-      - name: Use Node.js
-        uses: actions/setup-node@v4
-        with:
-          node-version: 20.x
-          cache: 'yarn'
-
-      - name: Install dependencies
-        run: yarn --frozen-lockfile --network-concurrency 1
-
-      - name: Precompile using 0.8.14 and via-ir=false
-        run: yarn build
-
-      - name: Run tests
-        shell: bash
-        run: yarn test:unit
 
-  integration-tests:
-    name: Run Integration Tests
-    runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+      - name: Fmt check
+        run: cargo fmt --check
 
-      - name: Install Foundry
-        uses: foundry-rs/foundry-toolchain@v1
-        with:
-          version: nightly
-
-      - name: Use Node.js
-        uses: actions/setup-node@v4
-        with:
-          node-version: 20.x
-          cache: 'yarn'
-
-      - name: Install dependencies
-        run: yarn --frozen-lockfile --network-concurrency 1
-
-      - name: Precompile using 0.8.14 and via-ir=false
-        run: yarn build
-
-      - name: Run tests
-        run: yarn test:integration
-
-  echidna-tests:
-    name: Echidna Test
+  check:
+    name: Check
     runs-on: ubuntu-latest
 
     steps:
-      - name: Checkout repository
-        uses: actions/checkout@v4
-        with:
-          submodules: recursive
-
-      - name: Install Foundry
-        uses: foundry-rs/foundry-toolchain@v1
-        with:
-          version: nightly
-
-      - name: Use Node.js
-        uses: actions/setup-node@v4
-        with:
-          node-version: 20.x
-          cache: 'yarn'
-
-      - name: Install dependencies
-        run: yarn --frozen-lockfile --network-concurrency 1
-
-      - name: Compile contracts
-        run: |
-          forge build --build-info
-
-      - name: Run Echidna
-        uses: crytic/echidna-action@v2
-        with:
-          files: .
-          contract: InvariantGreeter
-          test-mode: assertion
-          crytic-args: --ignore-compile
+      - uses: actions/checkout@v4
+      - name: Check
+        run: cargo check
 
-  halmos-tests:
-    name: Run symbolic execution tests
+  clippy:
+    name: Clippy
     runs-on: ubuntu-latest
+
     steps:
       - uses: actions/checkout@v4
+      - name: Run clippy
+        run: cargo clippy --no-deps --all-targets
 
-      - name: Install Foundry
-        uses: foundry-rs/foundry-toolchain@v1
-        with:
-          version: nightly
-
-      - name: Use Node.js
-        uses: actions/setup-node@v4
-        with:
-          node-version: 20.x
-          cache: 'yarn'
-
-      - name: Install dependencies
-        run: yarn --frozen-lockfile --network-concurrency 1
-
-      - name: Precompile with via-ir=false
-        run: yarn build
-
-      - name: Run tests
-        run: yarn test:integration
-
-  lint:
-    name: Lint Commit Messages
+  unit-tests:
+    name: Unit Tests
     runs-on: ubuntu-latest
 
     steps:
       - uses: actions/checkout@v4
-        with:
-          fetch-depth: 0
-
-      - uses: wagoid/commitlint-github-action@v5
-
-      - name: Install Foundry
-        uses: foundry-rs/foundry-toolchain@v1
-        with:
-          version: nightly
-
-      - name: Use Node.js
-        uses: actions/setup-node@v4
-        with:
-          node-version: 20.x
-          cache: 'yarn'
-
-      - name: Install dependencies
-        run: yarn --frozen-lockfile --network-concurrency 1
-
-      - run: yarn lint:check
+      - name: Build
+        run: cargo build
+      - name: Run tests
+        run: cargo test