chore: run formatter (#5)

* run nargo fmt

* add ci test

Author: jialinli98

.github/workflows/circuits_test.yaml

@@ -0,0 +1,101 @@
+name: Noir tests
+
+on:
+    push:
+        branches:
+            - main
+    pull_request:
+
+env:
+    CARGO_TERM_COLOR: always
+    MINIMUM_NOIR_VERSION: 1.0.0-beta.16
+
+jobs:
+    noir-version-list:
+        name: Query supported Noir versions
+        runs-on: ubuntu-latest
+        outputs:
+            noir_versions: ${{ steps.get_versions.outputs.versions }}
+
+        steps:
+            - name: Checkout sources
+              id: get_versions
+              run: |
+                  # gh returns the Noir releases in reverse chronological order so we keep all releases published after the minimum supported version.
+                  VERSIONS=$(gh release list -R noir-lang/noir --exclude-pre-releases --json tagName -q 'map(.tagName) | index(env.MINIMUM_NOIR_VERSION) as $index | if $index then .[0:$index+1] else [env.MINIMUM_NOIR_VERSION] end')
+                  echo "versions=$VERSIONS"
+                  echo "versions=$VERSIONS" >> $GITHUB_OUTPUT
+              env:
+                  GH_TOKEN: ${{ github.token }}
+
+    test:
+        needs: [noir-version-list]
+        name: Test on Nargo ${{matrix.toolchain}}
+        runs-on: ubuntu-latest
+        strategy:
+            fail-fast: false
+            matrix:
+                toolchain: ${{ fromJson( needs.noir-version-list.outputs.noir_versions )}}
+                include:
+                    - toolchain: nightly
+        steps:
+            - name: Checkout sources
+              uses: actions/checkout@v4
+
+            - name: Install Nargo
+              uses: noir-lang/[email protected]
+              with:
+                  toolchain: ${{ matrix.toolchain }}
+
+            - name: Run Noir tests
+              run: nargo test
+
+    rust-equivalence-tests:
+        name: Test for equivalence against Rust impl
+        runs-on: ubuntu-latest
+        steps:
+            - name: Checkout sources
+              uses: actions/checkout@v4
+
+            - name: Install Nargo
+              uses: noir-lang/[email protected]
+              with:
+                  toolchain: ${{ env.MINIMUM_NOIR_VERSION }}
+
+    format:
+        runs-on: ubuntu-latest
+        steps:
+            - name: Checkout sources
+              uses: actions/checkout@v4
+
+            - name: Install Nargo
+              uses: noir-lang/[email protected]
+              with:
+                  toolchain: ${{ env.MINIMUM_NOIR_VERSION }}
+
+            - name: Run formatter
+              run: nargo fmt --check
+
+    # This is a job which depends on all test jobs and reports the overall status.
+    # This allows us to add/remove test jobs without having to update the required workflows.
+    tests-end:
+        name: Noir End
+        runs-on: ubuntu-latest
+        # We want this job to always run (even if the dependant jobs fail) as we want this job to fail rather than skipping.
+        if: ${{ always() }}
+        needs:
+            - test
+            - rust-equivalence-tests
+            - format
+
+        steps:
+            - name: Report overall success
+              run: |
+                  if [[ $FAIL == true ]]; then
+                      exit 1
+                  else
+                      exit 0
+                  fi
+              env:
+                  # We treat any cancelled, skipped or failing jobs as a failure for the workflow as a whole.
+                  FAIL: ${{ contains(needs.*.result, 'failure') || contains(needs.*.result, 'cancelled') || contains(needs.*.result, 'skipped') }}

.github/workflows/test.yml

@@ -1,4 +1,4 @@
-use dep::ethereum::account::{get_account, AccountWithinBlock};
+use dep::ethereum::account::{AccountWithinBlock, get_account};
 use dep::ethereum::misc::types::Address;
 
 fn main(chain_id: pub Field, block_no: pub u64, address: pub Address) -> pub AccountWithinBlock {

ethereum/circuits/get_account/src/main.nr

@@ -1,4 +1,4 @@
-use dep::ethereum::header::{get_header, BlockHeaderPartial};
+use dep::ethereum::header::{BlockHeaderPartial, get_header};
 
 fn main(chain_id: pub Field, block_no: pub u64) -> pub BlockHeaderPartial {
     get_header(chain_id, block_no)

ethereum/circuits/get_header/src/main.nr

@@ -7,7 +7,7 @@ fn main(
     chain_id: pub Field,
     block_number: pub u64,
     tx_idx: pub Field,
-    log_idx: pub u32
+    log_idx: pub u32,
 ) -> pub LogWithinBlock<MAX_LOG_DATA_LEN> {
     get_log::<MAX_LOG_DATA_LEN, MAX_LOGS_COUNT>(chain_id, block_number, tx_idx, log_idx)
 }

ethereum/circuits/get_log/src/main.nr

@@ -1,10 +1,13 @@
-use dep::ethereum::{account_with_storage::{get_account_with_storage, StorageWithinBlock}, misc::types::{Address, Bytes32}};
+use dep::ethereum::{
+    account_with_storage::{get_account_with_storage, StorageWithinBlock},
+    misc::types::{Address, Bytes32},
+};
 
 fn main(
     chain_id: pub Field,
     block_number: pub u64,
     address: pub Address,
-    storage_key: pub Bytes32
+    storage_key: pub Bytes32,
 ) -> pub StorageWithinBlock<1> {
     get_account_with_storage(chain_id, block_number, address, storage_key)
 }

ethereum/circuits/get_storage/src/main.nr

@@ -1,11 +1,14 @@
-use dep::ethereum::{account_with_storage::{get_account_with_storage, StorageWithinBlock}, misc::types::{Address, Bytes32}};
+use dep::ethereum::{
+    account_with_storage::{get_account_with_storage, StorageWithinBlock},
+    misc::types::{Address, Bytes32},
+};
 
 #[recursive]
 fn main(
     chain_id: pub Field,
     block_number: pub u64,
     address: pub Address,
-    storage_key: pub Bytes32
+    storage_key: pub Bytes32,
 ) -> pub StorageWithinBlock<1> {
     get_account_with_storage(chain_id, block_number, address, storage_key)
 }

ethereum/circuits/get_storage_recursive/src/main.nr

@@ -5,8 +5,9 @@ global MAX_DATA_LEN_M = 1000;
 fn main(
     chain_id: pub Field,
     block_number: pub u64,
-    tx_idx: pub Field
+    tx_idx: pub Field,
 ) -> pub TransactionWithinBlock<MAX_DATA_LEN_M> {
-    let transaction_within_block: TransactionWithinBlock<MAX_DATA_LEN_M> = get_transaction(chain_id, block_number, tx_idx);
+    let transaction_within_block: TransactionWithinBlock<MAX_DATA_LEN_M> =
+        get_transaction(chain_id, block_number, tx_idx);
     transaction_within_block
 }

ethereum/circuits/get_transaction/src/main.nr

@@ -1,17 +1,18 @@
 use crate::account::get_account;
 use crate::chain::ETHEREUM_MAINNET_ID;
 use crate::fixtures::mainnet::{
-    paris::{
-    usdc_circle::{
-    header::{number, state_root, block_header_partial, block_header_rlp}, account::{account, address},
-    state_proof::proof_input_serialized as state_proof_input_serialized
-}
-},
     london::vitalik_balance::{
-    account::{account as account_from_different_header, address as address_from_different_header},
-    header::state_root as state_root_from_different_header,
-    state_proof::proof_input_serialized as state_proof_input_from_different_header_serialized
-}
+        account::{
+            account as account_from_different_header, address as address_from_different_header,
+        },
+        header::state_root as state_root_from_different_header,
+        state_proof::proof_input_serialized as state_proof_input_from_different_header_serialized,
+    },
+    paris::usdc_circle::{
+        account::{account, address},
+        header::{block_header_partial, block_header_rlp, number, state_root},
+        state_proof::proof_input_serialized as state_proof_input_serialized,
+    },
 };
 use dep::std::test::OracleMock;
 
@@ -33,7 +34,9 @@ fn test_get_account_success() {
 #[test(should_fail)]
 fn test_get_account_wrong_state_root() {
     let _ = OracleMock::mock("get_header").returns((block_header_partial, block_header_rlp));
-    let _ = OracleMock::mock("get_account").returns((account_from_different_header, state_proof_input_from_different_header_serialized));
+    let _ = OracleMock::mock("get_account").returns((
+        account_from_different_header, state_proof_input_from_different_header_serialized,
+    ));
 
     let _ = get_account(ETHEREUM_MAINNET_ID, number, address_from_different_header);
 }

ethereum/circuits/lib/src/account_int_test.nr

@@ -106,8 +106,8 @@ pub fn get_account_with_storage(
     address: Address,
     storage_key: Bytes32,
 ) -> StorageWithinBlock<1> {
-    let BlockHeaderPartial { number: _, hash, state_root, transactions_root: _, receipts_root: _ } =
-        get_header(chain_id, block_number);
+    let BlockHeaderPartial { number: _, hash, state_root, transactions_root: _, receipts_root: _ }
+         = get_header(chain_id, block_number);
     let StateAndStorageProofInput { account, state_proof_input, storage_proof_input } =
         get_proof_unconstrained(chain_id, block_number, address, storage_key);