Migrate batch kernel parts from miden-node

CHANGELOG.md

@@ -6,6 +6,7 @@
 
 - [BREAKING] Incremented minimum supported Rust version to 1.84.
 - [BREAKING] Moved `generated` module from `miden-proving-service-client` crate to `tx_prover::generated` hierarchy (#1102).
+- Implement transaction batch prover in Rust (#1112).
 
 ## 0.7.1 (2025-01-24) - `miden-objects` crate only
 

Cargo.toml

@@ -3,6 +3,7 @@ resolver = "2"
 members = [
     "bin/bench-tx",
     "bin/proving-service",
+    "crates/miden-batch-prover",
     "crates/miden-lib",
     "crates/miden-objects",
     "crates/miden-proving-service-client",

crates/miden-batch-prover/Cargo.toml

@@ -0,0 +1,37 @@
+[package]
+name = "miden-batch-prover"
+version = "0.8.0"
+description = "Miden rollup batch executor and prover"
+readme = "README.md"
+categories = ["no-std"]
+keywords = ["miden", "batch", "prover"]
+license.workspace = true
+authors.workspace = true
+homepage.workspace = true
+repository.workspace = true
+rust-version.workspace = true
+edition.workspace = true
+
+[lib]
+bench = false
+
+[features]
+default = ["std"]
+std = ["assembly/std", "miden-objects/std", "miden-crypto/std", "miden-verifier/std", "vm-core/std", "vm-processor/std"]
+testing = ["dep:rand", "dep:miden-lib", "dep:winterfell", "dep:anyhow"]
+
+[dependencies]
+anyhow = { version = "1.0", default-features = false, optional = true }
+assembly = { workspace = true }
+miden-crypto = { workspace = true }
+miden-lib = { workspace = true, optional = true, features = ["testing"]}
+miden-objects = { workspace = true }
+miden-verifier = { workspace = true }
+rand = { workspace = true, optional = true, features = ["small_rng"]}
+thiserror = { workspace = true }
+vm-core = { workspace = true }
+vm-processor = { workspace = true }
+winterfell = { version = "0.11", optional = true }
+
+[dev-dependencies]
+anyhow = { version = "1.0", features = ["std", "backtrace"] }

crates/miden-batch-prover/README.md

@@ -0,0 +1,7 @@
+# Miden Batch Prover
+
+This crate contains tools for executing and proving Miden rollup transaction batches.
+
+## License
+
+This project is [MIT licensed](../LICENSE).

crates/miden-batch-prover/src/error.rs

@@ -0,0 +1,43 @@
+use miden_objects::{
+    account::AccountId,
+    block::BlockNumber,
+    note::{NoteId, Nullifier},
+    transaction::TransactionId,
+    BatchAccountUpdateError,
+};
+use thiserror::Error;
+use vm_processor::Digest;
+
+/// Errors encountered while building a transaction batch.
+#[derive(Debug, Error)]
+pub enum BatchError {
+    #[error("transaction {second_transaction_id} consumes the note with nullifier {note_nullifier} that is also consumed by another transaction {first_transaction_id} in the batch")]
+    DuplicateInputNote {
+        note_nullifier: Nullifier,
+        first_transaction_id: TransactionId,
+        second_transaction_id: TransactionId,
+    },
+
+    #[error("transaction {second_transaction_id} creates the note with id {note_id} that is also created by another transaction {first_transaction_id} in the batch")]
+    DuplicateOutputNote {
+        note_id: NoteId,
+        first_transaction_id: TransactionId,
+        second_transaction_id: TransactionId,
+    },
+
+    #[error("note hashes mismatch for note {id}: (input: {input_hash}, output: {output_hash})")]
+    NoteHashesMismatch {
+        id: NoteId,
+        input_hash: Digest,
+        output_hash: Digest,
+    },
+
+    #[error("failed to merge transaction delta into account {account_id}")]
+    AccountUpdateError {
+        account_id: AccountId,
+        source: BatchAccountUpdateError,
+    },
+
+    #[error("unauthenticated input note with id {note_id} for which an inclusion proof was provided was not created in block {block_num}")]
+    UnauthenticatedNoteAuthenticationFailed { note_id: NoteId, block_num: BlockNumber },
+}

crates/miden-batch-prover/src/lib.rs

@@ -0,0 +1,16 @@
+#![no_std]
+
+#[macro_use]
+extern crate alloc;
+
+#[cfg(feature = "std")]
+extern crate std;
+
+mod error;
+pub use error::BatchError;
+
+mod local_batch_prover;
+pub use local_batch_prover::LocalBatchProver;
+
+#[cfg(test)]
+pub mod testing;