Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
67 commits
Select commit Hold shift + click to select a range
5702d26
feat: Upgrade VM to async-experimental
PhilippGackstatter Jul 22, 2025
9cd2090
feat: Update to use `AdviceMutation`
PhilippGackstatter Jul 22, 2025
4724e20
feat: Start implementing `AsyncHost`
PhilippGackstatter Jul 22, 2025
3e855a7
chore: update cargo lock
PhilippGackstatter Jul 23, 2025
7601be5
feat: Handle sync and async events differently
PhilippGackstatter Jul 23, 2025
f6291d7
chore: Use multi threaded tokio runtime
PhilippGackstatter Jul 23, 2025
c7179b2
Merge remote-tracking branch 'origin/next' into pgackst-async-experim…
PhilippGackstatter Jul 23, 2025
e2c73ae
feat: Use advice-provider from fast processor
PhilippGackstatter Jul 28, 2025
11ccba9
feat: Reinstantiate note checker and tx view script
PhilippGackstatter Jul 28, 2025
3249c5d
chore: Use pub fields of advice input
PhilippGackstatter Jul 28, 2025
efd883f
Merge remote-tracking branch 'origin/next' into pgackst-async-experim…
PhilippGackstatter Jul 28, 2025
1ae4de8
chore: Reverse stack inputs for fast processor
PhilippGackstatter Jul 28, 2025
9013a21
fix: link map event handling
PhilippGackstatter Jul 28, 2025
304ea01
fix: bump vm version and fix event error construction
PhilippGackstatter Jul 29, 2025
cadaf24
fix: remove multi-thread rt from tokio
PhilippGackstatter Jul 29, 2025
a784701
fix: format toml
PhilippGackstatter Jul 29, 2025
98d3f5d
fix: doc build
PhilippGackstatter Jul 29, 2025
c8ff2c7
chore: add changelog
PhilippGackstatter Jul 29, 2025
5e87b71
Merge remote-tracking branch 'origin/next' into pgackst-async-experim…
PhilippGackstatter Jul 30, 2025
7a5aa41
fix: toml format
PhilippGackstatter Jul 30, 2025
ea66059
chore: Upgrade to latest `async-experimental` commit
PhilippGackstatter Jul 30, 2025
9004595
chore: use `AsyncHostFuture` type alias
PhilippGackstatter Jul 30, 2025
d3e234e
fix: toml format
PhilippGackstatter Jul 30, 2025
f8b6bfc
chore: Change returned future on tx authenticator to alias
PhilippGackstatter Jul 30, 2025
1303dd9
fix: rustfmt
PhilippGackstatter Jul 30, 2025
84721fa
chore: Make tx context `execute` async and add `execute_blocking`
PhilippGackstatter Jul 31, 2025
7ab0b65
fix: rustfmt
PhilippGackstatter Jul 31, 2025
d111340
fix: mock chain doc tests
PhilippGackstatter Jul 31, 2025
7c4cc3c
Merge remote-tracking branch 'origin/next' into pgackst-async-experim…
drahnr Aug 6, 2025
d1141eb
x
drahnr Aug 6, 2025
887c9e1
fixins
drahnr Aug 6, 2025
20eb150
utils::is_empty => std::word::eqz
drahnr Aug 6, 2025
d24b051
fix: use statement
PhilippGackstatter Aug 6, 2025
53e7cc1
fix: some merge conflicts
PhilippGackstatter Aug 6, 2025
bd161f1
fix compile, tests still fail
drahnr Aug 6, 2025
5cc5563
lint + format
drahnr Aug 6, 2025
5791fcc
unify event handling, still no success
drahnr Aug 6, 2025
8861525
Merge remote-tracking branch 'origin/next' into bernhard-merge-next-i…
PhilippGackstatter Aug 7, 2025
f33eef2
fix: usage of `std::word::eqz`
PhilippGackstatter Aug 7, 2025
203a57a
fix: auth request handling
PhilippGackstatter Aug 7, 2025
3162ed3
delete trait `TransactionProver`, avoid `#[maybe_async]` (#1666)
drahnr Aug 5, 2025
a1ab943
chore: use miden-vm next branch
PhilippGackstatter Aug 7, 2025
469424b
fix: typo in changelog
PhilippGackstatter Aug 7, 2025
9bb1446
chore: Remove `TransactionKernel::assembler_with_source_manager`
PhilippGackstatter Aug 7, 2025
1b40068
chore: use miden-vm from crates.cio
PhilippGackstatter Aug 7, 2025
5eda388
fix: changelog second time
PhilippGackstatter Aug 7, 2025
d5a2db1
chore: Remove `ScriptBuilder::source_manager`
PhilippGackstatter Aug 7, 2025
7d20223
fix: remove duplicate tests after merge
PhilippGackstatter Aug 7, 2025
96881b8
chore: rename source manager todos
PhilippGackstatter Aug 7, 2025
023033d
feat: Reenable tx reexecution test
PhilippGackstatter Aug 7, 2025
23ba210
chore: Make transaction event types private
PhilippGackstatter Aug 7, 2025
83d6a71
fix: toml format
PhilippGackstatter Aug 7, 2025
438628b
chore: Make `TransactionBaseHost::handle_event` private
PhilippGackstatter Aug 7, 2025
eb5a743
clippy
drahnr Aug 7, 2025
d453320
Merge branch 'next' into bernhard-merge-next-into-pgackst-async-exp
bobbinth Aug 8, 2025
5911b3a
chore: fix lints
bobbinth Aug 8, 2025
2615354
refactor: remove source manager from note consumption checker
bobbinth Aug 8, 2025
a934368
chore: minor cleanup and remove async-trait dep
bobbinth Aug 8, 2025
589f18d
chore: simplify auth request handling
PhilippGackstatter Aug 8, 2025
e18a13f
chore: rename `AsyncHostFuture` to `FutureMaybeSend`
drahnr Aug 5, 2025
05c3b60
Revert "chore: use miden-vm from crates.cio"
drahnr Aug 7, 2025
7788ab9
bernhard-future-maybe-send
drahnr Aug 7, 2025
b83fd74
deps again, git
drahnr Aug 7, 2025
ae109ef
bump vm to 0.18 / git
drahnr Aug 8, 2025
81ca949
deps
drahnr Aug 8, 2025
0ab0d25
deps vm 0.17
drahnr Aug 8, 2025
284b00c
fix: specify miden dependencies without default features
bobbinth Aug 8, 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
122 changes: 54 additions & 68 deletions .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -4,79 +4,65 @@ name: build

# Limits workflow concurrency to only the latest commit in the PR.
concurrency:
group: "${{ github.workflow }} @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}"
cancel-in-progress: true
group: "${{ github.workflow }} @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}"
cancel-in-progress: true

on:
push:
branches: [main, next]
pull_request:
types: [opened, reopened, synchronize]
push:
branches: [main, next]
pull_request:
types: [opened, reopened, synchronize]

permissions:
contents: read
contents: read

jobs:
async:
name: build using async feature
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@main
- uses: Swatinem/rust-cache@v2
with:
# Only update the cache on push onto the next branch. This strikes a nice balance between
# cache hits and cache evictions (github has a 10GB cache limit).
save-if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/next' }}
- name: build
run: |
rustup update --no-self-update
make build-async
no-std:
name: build for no-std
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@main
- uses: Swatinem/rust-cache@v2
with:
# Only update the cache on push onto the next branch. This strikes a nice balance between
# cache hits and cache evictions (github has a 10GB cache limit).
save-if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/next' }}
- name: build
run: |
rustup update --no-self-update
rustup target add wasm32-unknown-unknown
make build-no-std
make build-no-std-testing

no-std:
name: build for no-std
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@main
- uses: Swatinem/rust-cache@v2
with:
# Only update the cache on push onto the next branch. This strikes a nice balance between
# cache hits and cache evictions (github has a 10GB cache limit).
save-if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/next' }}
- name: build
run: |
rustup update --no-self-update
rustup target add wasm32-unknown-unknown
make build-no-std
make build-no-std-testing
feature-check:
name: Check feature combinations
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@main
- uses: Swatinem/rust-cache@v2
with:
# Only update the cache on push onto the next branch. This strikes a nice balance between
# cache hits and cache evictions (github has a 10GB cache limit).
save-if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/next' }}
# Install cargo-hack or restore from cache if already built.
- uses: taiki-e/cache-cargo-install-action@v2
with:
tool: cargo-hack
- name: Update Rust toolchain
run: rustup update --no-self-update
# Run cargo hack check with each feature to ensure crates compile with individual features
- name: Check each feature
run: cargo hack check --each-feature --workspace --exclude bench-prover

feature-check:
name: Check feature combinations
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@main
- uses: Swatinem/rust-cache@v2
with:
# Only update the cache on push onto the next branch. This strikes a nice balance between
# cache hits and cache evictions (github has a 10GB cache limit).
save-if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/next' }}
# Install cargo-hack or restore from cache if already built.
- uses: taiki-e/cache-cargo-install-action@v2
with:
tool: cargo-hack
- name: Update Rust toolchain
run: rustup update --no-self-update
# Run cargo hack check with each feature to ensure crates compile with individual features
- name: Check each feature
run: cargo hack check --each-feature --workspace --exclude bench-prover
build-benches:
name: Check benchmarks compilation
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@main
- uses: Swatinem/rust-cache@v2
with:
# Only update the cache on push onto the next branch. This strikes a nice balance between
# cache hits and cache evictions (github has a 10GB cache limit).
save-if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/next' }}
- name: build benches
run: cargo bench --no-run
build-benches:
name: Check benchmarks compilation
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@main
- uses: Swatinem/rust-cache@v2
with:
# Only update the cache on push onto the next branch. This strikes a nice balance between
# cache hits and cache evictions (github has a 10GB cache limit).
save-if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/next' }}
- name: build benches
run: cargo bench --no-run
2 changes: 2 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,8 @@
- Add `FeeParameters` to `BlockHeader` and implement `compute_fee` ([#1652](https://github.com/0xMiden/miden-base/pull/1652), [#1654](https://github.com/0xMiden/miden-base/pull/1654)).
- Add `FeeParameters` to `BlockHeader`, implement `compute_fee` and output `FEE_ASSET` on the transaction stack ([#1652](https://github.com/0xMiden/miden-base/pull/1652), [#1654](https://github.com/0xMiden/miden-base/pull/1654), [#1659](https://github.com/0xMiden/miden-base/pull/1659)).
- Add `FeeParameters` to `BlockHeader` and automatically compute and remove fees from account in the transaction kernel epilogue ([#1652](https://github.com/0xMiden/miden-base/pull/1652), [#1654](https://github.com/0xMiden/miden-base/pull/1654), [#1659](https://github.com/0xMiden/miden-base/pull/1659), [#1664](https://github.com/0xMiden/miden-base/pull/1664)).
- [BREAKING] Make transaction execution and transaction authentication asynchronous ([#1699](https://github.com/0xMiden/miden-base/pull/1699)).
- [BREAKING] Consolidate to a single async interface and drop `#[maybe_async]` usage ([#1666](https://github.com/0xMiden/miden-base/pull/#1666)).

### Changes

Expand Down
Loading