Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
35 commits
Select commit Hold shift + click to select a range
0c2bd4e
Update module name of Transaction struct
m1dnight Jul 31, 2025
9350906
move circuits out of examples
XuyangSong Aug 3, 2025
bcf9f05
remove application circuit hosts and add elf-id printing in tests
XuyangSong Aug 3, 2025
6be46e4
update elfs and ids
XuyangSong Aug 3, 2025
184ec51
update README
XuyangSong Aug 3, 2025
ee185d0
Merge pull request #67 from anoma/m1dnight/fix-transaction-module-name
XuyangSong Aug 4, 2025
55cb054
setup ci workflow
XuyangSong Aug 4, 2025
a8c4f4a
skip building circuits in CI
XuyangSong Aug 4, 2025
3dae062
Merge pull request #69 from anoma/xuyang/setup_ci
XuyangSong Aug 5, 2025
02fe083
bump risc0 version to 2.3.1
XuyangSong Aug 5, 2025
8f22057
improve ci
XuyangSong Aug 5, 2025
9f90637
Merge pull request #76 from anoma/xuyang/improve_ci
XuyangSong Aug 5, 2025
62d25a0
remove calldata from action
XuyangSong Aug 5, 2025
f8bf028
Merge pull request #77 from anoma/xuyang/remove_calldata_from_action
XuyangSong Aug 5, 2025
3ca1cd7
add encode_seal to convert proofs for evm verifiers
XuyangSong Aug 6, 2025
c21c691
add the bonsai feature
XuyangSong Aug 6, 2025
aea8684
Merge pull request #78 from anoma/xuyang/encode_seal
XuyangSong Aug 15, 2025
e750916
Merge pull request #79 from anoma/xuyang/bonsai_feature
XuyangSong Aug 15, 2025
49c1719
use vec<u32> in instances
XuyangSong Aug 18, 2025
d7d9cfe
update appdada
XuyangSong Aug 18, 2025
93cf551
use u32 for deletion_criterion in ExpirableBlob
XuyangSong Aug 19, 2025
27a7a25
Merge pull request #85 from anoma/xuyang/use_vec_u32_in_instances
XuyangSong Aug 19, 2025
7910fcf
update logic_verifier_inputs
XuyangSong Aug 19, 2025
c396bec
pad bytes_to_words with zeros
XuyangSong Aug 22, 2025
7bef74d
add ForwarderCalldata
XuyangSong Aug 22, 2025
10a62b0
add EvmResource
XuyangSong Aug 22, 2025
00eef8d
a new logic test circuit
XuyangSong Aug 22, 2025
3c342dc
integrate the test-logic into action and tx tests
XuyangSong Aug 22, 2025
16fc77d
update logic-test circuit
XuyangSong Aug 22, 2025
530004e
fix resource abi encode
XuyangSong Aug 22, 2025
28f35c4
update types in EvmResource
XuyangSong Aug 22, 2025
ea01737
temporarily empty the external_payload in the test circuit
XuyangSong Aug 22, 2025
771867b
Merge pull request #86 from anoma/xuyang/update_app_data
XuyangSong Aug 25, 2025
93f0025
Merge pull request #88 from anoma/xuyang/update_logic_verifier_inputs
XuyangSong Aug 25, 2025
9afe760
Merge pull request #90 from anoma/xuyang/logic_circuit_test
XuyangSong Aug 25, 2025
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
142 changes: 142 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,142 @@
name: arm-risc0 CI

on:
push:
branches: [ main, develop ]
pull_request:
branches: [ main, develop ]

env:
CARGO_TERM_COLOR: always
RUST_BACKTRACE: 1
RISC0_TOOLCHAIN_VERSION: 2.3.1

jobs:
fmt:
name: Format
runs-on: ubuntu-latest
steps:
- name: Checkout sources
uses: actions/checkout@v4

- name: Install Rust toolchain
uses: dtolnay/rust-toolchain@master
with:
toolchain: "1.85"
components: rustfmt

- name: Check formatting (main workspace)
run: cargo fmt --all -- --check

- name: Check formatting (arm_circuits workspace)
run: cargo fmt --all -- --check
working-directory: arm_circuits

clippy:
name: Clippy
runs-on: macos-latest
steps:
- name: Checkout sources
uses: actions/checkout@v4

- name: Install Rust toolchain
uses: dtolnay/rust-toolchain@master
with:
toolchain: "1.85"
components: clippy

- name: Setup Rust cache
uses: Swatinem/rust-cache@v2
with:
workspaces: |
.

- name: Run clippy (main workspace)
run: cargo clippy --workspace --all-targets -- -D warnings

build:
name: Build
strategy:
matrix:
os: [macos-latest]
rust: ["1.85"]
runs-on: ${{ matrix.os }}
steps:
- name: Checkout sources
uses: actions/checkout@v4

- name: Install Rust toolchain
uses: dtolnay/rust-toolchain@master
with:
toolchain: ${{ matrix.rust }}
targets: wasm32-unknown-unknown

- name: Setup Rust cache
uses: Swatinem/rust-cache@v2
with:
workspaces: |
.
arm_circuits

# - name: Install RISC0 toolchain
# run: |
# curl -L https://risczero.com/install | bash
# $HOME/.risc0/bin/rzup install cargo-risczero $RISC0_TOOLCHAIN_VERSION
# $HOME/.risc0/bin/rzup install r0vm $RISC0_TOOLCHAIN_VERSION

- name: Build main workspace
run: cargo build --workspace --all-targets

## Skip building arm_circuits workspace for now due to limited risc0-toolchain download requests
# - name: Build arm_circuits workspace
# run: cargo build --workspace --all-targets
# working-directory: arm_circuits

test:
name: Test
strategy:
matrix:
# os: [ubuntu-latest, macos-latest]
os: [macos-latest]
rust: ["1.85"]
runs-on: ${{ matrix.os }}
env:
RISC0_DEV_MODE: 1 # Use dev mode for faster testing
steps:
- name: Checkout sources
uses: actions/checkout@v4

- name: Install Rust toolchain
uses: dtolnay/rust-toolchain@master
with:
toolchain: ${{ matrix.rust }}
targets: wasm32-unknown-unknown

- name: Setup Rust cache
uses: Swatinem/rust-cache@v2
with:
workspaces: |
.

- name: Run tests (main workspace)
run: cargo test --workspace

test-release:
name: Test Release
runs-on: macos-latest
env:
RISC0_DEV_MODE: 1 # Use dev mode for faster testing
if: github.event_name == 'push' && github.ref == 'refs/heads/main'
steps:
- name: Checkout sources
uses: actions/checkout@v4

- name: Setup Rust cache
uses: Swatinem/rust-cache@v2
with:
workspaces: |
.

- name: Run release tests (main workspace)
run: cargo test --workspace --release
timeout-minutes: 60
Loading
Loading