6 releases

new 0.3.0 May 14, 2024
0.2.3 Apr 26, 2024
0.1.0 Mar 5, 2024

#22 in No standard library

Download history 119/week @ 2024-03-02 740/week @ 2024-03-09 382/week @ 2024-03-16 246/week @ 2024-03-23 421/week @ 2024-03-30 887/week @ 2024-04-06 521/week @ 2024-04-13 946/week @ 2024-04-20 732/week @ 2024-04-27 383/week @ 2024-05-04 947/week @ 2024-05-11

3,085 downloads per month
Used in 5 crates (3 directly)

MIT license

13K SLoC

Miden Transaction

This crate contains tool for creating, executing, and proving Miden rollup transaction.


This crate exposes a few components to compile, run, and prove transactions.

The first requirement is to have a DataStore implementation. DataStore objects are responsible to load the data needed by the transactions executor, specially the account's code, the reference block data, and the note's inputs.

let store = DataStore:new();

Once a store is available, a TransactionExecutor object can be used to execute a transaction. Consuming a zero or more notes, and possibly calling some of the account's code.

let executor = TransactionExecutor::new(store);
let executed_transaction = executor.execute_transaction(account_id, block_ref, note_ids, tx_args);

With the transaction execution done, it is then possible to create a proof:

let prover = TransactionProver::new(ProvingOptions::default());
let proven_transaction = prover.prove_transaction(executed_transaction);

And to verify a proof:

let verifier = TransactionVerifier::new(SECURITY_LEVEL);


Features Description
std Enable usage of Rust's std, use --no-default-features for no-std support.
concurrent Enables concurrent code to speed up runtime execution.


This project is MIT licensed.


~176K SLoC