From e589ddae5a27ba812bf57cd37bc4f052a9513a72 Mon Sep 17 00:00:00 2001 From: Oleksandr Pravdyvyi Date: Wed, 13 Aug 2025 16:17:52 +0300 Subject: [PATCH] fix: test fix 2 --- Cargo.toml | 1 - {zkvm => nssa}/src/gas_calculator.rs | 0 nssa/src/lib.rs | 1 + wallet/Cargo.toml | 3 - wallet/src/config.rs | 4 +- wallet/src/lib.rs | 3 - zkvm/Cargo.toml | 33 - zkvm/src/lib.rs | 653 -------- zkvm/test_methods/Cargo.toml | 10 - zkvm/test_methods/build.rs | 3 - zkvm/test_methods/guest/Cargo.lock | 1348 ----------------- zkvm/test_methods/guest/Cargo.toml | 14 - .../guest/src/bin/big_calculation.rs | 14 - zkvm/test_methods/guest/src/bin/mint_utxo.rs | 32 - .../src/bin/mint_utxo_multiple_assets.rs | 39 - .../guest/src/bin/multiplication.rs | 9 - zkvm/test_methods/guest/src/bin/send_utxo.rs | 34 - .../src/bin/send_utxo_multiple_assets.rs | 41 - zkvm/test_methods/guest/src/bin/summation.rs | 9 - zkvm/test_methods/src/lib.rs | 1 - 20 files changed, 3 insertions(+), 2249 deletions(-) rename {zkvm => nssa}/src/gas_calculator.rs (100%) delete mode 100644 zkvm/Cargo.toml delete mode 100644 zkvm/src/lib.rs delete mode 100644 zkvm/test_methods/Cargo.toml delete mode 100644 zkvm/test_methods/build.rs delete mode 100644 zkvm/test_methods/guest/Cargo.lock delete mode 100644 zkvm/test_methods/guest/Cargo.toml delete mode 100644 zkvm/test_methods/guest/src/bin/big_calculation.rs delete mode 100644 zkvm/test_methods/guest/src/bin/mint_utxo.rs delete mode 100644 zkvm/test_methods/guest/src/bin/mint_utxo_multiple_assets.rs delete mode 100644 zkvm/test_methods/guest/src/bin/multiplication.rs delete mode 100644 zkvm/test_methods/guest/src/bin/send_utxo.rs delete mode 100644 zkvm/test_methods/guest/src/bin/send_utxo_multiple_assets.rs delete mode 100644 zkvm/test_methods/guest/src/bin/summation.rs delete mode 100644 zkvm/test_methods/src/lib.rs diff --git a/Cargo.toml b/Cargo.toml index 4764b7c..147f98e 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -8,7 +8,6 @@ members = [ "utxo", "sequencer_rpc", "mempool", - "zkvm", "wallet", "sequencer_core", "common", diff --git a/zkvm/src/gas_calculator.rs b/nssa/src/gas_calculator.rs similarity index 100% rename from zkvm/src/gas_calculator.rs rename to nssa/src/gas_calculator.rs diff --git a/nssa/src/lib.rs b/nssa/src/lib.rs index 9555b14..e24ea89 100644 --- a/nssa/src/lib.rs +++ b/nssa/src/lib.rs @@ -1,5 +1,6 @@ pub mod address; pub mod error; +pub mod gas_calculator; pub mod program; pub mod public_transaction; mod signature; diff --git a/wallet/Cargo.toml b/wallet/Cargo.toml index 2d7b770..a84229a 100644 --- a/wallet/Cargo.toml +++ b/wallet/Cargo.toml @@ -32,9 +32,6 @@ path = "../accounts" [dependencies.utxo] path = "../utxo" -[dependencies.zkvm] -path = "../zkvm" - [dependencies.nssa] path = "../nssa" diff --git a/wallet/src/config.rs b/wallet/src/config.rs index d2c3a78..127bbf6 100644 --- a/wallet/src/config.rs +++ b/wallet/src/config.rs @@ -1,8 +1,8 @@ use std::path::PathBuf; use accounts::account_core::Account; +use nssa::gas_calculator::GasCalculator; use serde::{Deserialize, Serialize}; -use zkvm::gas_calculator::GasCalculator; #[derive(Debug, Clone, Serialize, Deserialize)] pub struct GasConfig { @@ -22,7 +22,7 @@ pub struct GasConfig { pub gas_limit_runtime: u64, } -impl From for zkvm::gas_calculator::GasCalculator { +impl From for GasCalculator { fn from(value: GasConfig) -> Self { GasCalculator::new( value.gas_fee_per_byte_deploy, diff --git a/wallet/src/lib.rs b/wallet/src/lib.rs index f697d5d..dc9c31e 100644 --- a/wallet/src/lib.rs +++ b/wallet/src/lib.rs @@ -42,9 +42,6 @@ impl WalletCore { //Persistent accounts take precedence for initial accounts let persistent_accounts = fetch_persistent_accounts()?; - - info!("Fetched persistent accoounts {persistent_accounts:#?}"); - for acc in persistent_accounts { storage.acc_map.insert(acc.address, acc); } diff --git a/zkvm/Cargo.toml b/zkvm/Cargo.toml deleted file mode 100644 index dc3cdae..0000000 --- a/zkvm/Cargo.toml +++ /dev/null @@ -1,33 +0,0 @@ -[package] -name = "zkvm" -version = "0.1.0" -edition = "2021" - -[dependencies] -anyhow.workspace = true -serde_json.workspace = true -env_logger.workspace = true -log.workspace = true -serde.workspace = true -thiserror.workspace = true -rand.workspace = true - -risc0-zkvm = "2.3.1" -test-methods = { path = "test_methods" } - -[dependencies.accounts] -path = "../accounts" - -[dependencies.utxo] -path = "../utxo" - -[dependencies.common] -path = "../common" - -[dependencies.nssa] -path = "../nssa" - -[features] -cuda = ["risc0-zkvm/cuda"] -default = [] -prove = ["risc0-zkvm/prove"] diff --git a/zkvm/src/lib.rs b/zkvm/src/lib.rs deleted file mode 100644 index 4e8c150..0000000 --- a/zkvm/src/lib.rs +++ /dev/null @@ -1,653 +0,0 @@ -use common::ExecutionFailureKind; -use nssa::Address; -use rand::{rngs::OsRng, RngCore}; -use risc0_zkvm::{default_executor, default_prover, sha::Digest, ExecutorEnv, Receipt}; -use serde::Serialize; -use utxo::utxo_core::{Randomness, UTXOPayload, UTXO}; - -pub mod gas_calculator; - -pub use test_methods; - -#[allow(clippy::result_large_err)] -pub fn gas_limits_check( - input_buffer: INP, - elf: &[u8], - gas_calculator: &gas_calculator::GasCalculator, - attached_funds: u64, -) -> Result<(), ExecutionFailureKind> { - let mut input_buffer_len: usize = 0; - input_buffer_len += serde_json::to_vec(&input_buffer).unwrap().len(); - - let gas_limit = gas_calculator - .gas_runtime_full(elf, input_buffer_len) - .ok_or(ExecutionFailureKind::InsufficientGasError)?; - - let cost = gas_calculator.runtime_cost(gas_limit); - - if cost > attached_funds { - return Err(ExecutionFailureKind::InsufficientFundsError); - } - - Ok(()) -} - -#[allow(clippy::result_large_err)] -pub fn prove_mint_utxo( - amount_to_mint: u128, - owner: Address, -) -> Result<(UTXO, Receipt), ExecutionFailureKind> { - let mut builder = ExecutorEnv::builder(); - - builder - .write(&amount_to_mint) - .map_err(ExecutionFailureKind::write_error)?; - builder - .write(&owner) - .map_err(ExecutionFailureKind::write_error)?; - - let mut randomness = Randomness::default(); - OsRng.fill_bytes(&mut randomness); - builder - .write(&randomness) - .map_err(ExecutionFailureKind::write_error)?; - - let env = builder - .build() - .map_err(ExecutionFailureKind::builder_error)?; - - let prover = default_prover(); - - let receipt = prover - .prove(env, test_methods::MINT_UTXO_ELF) - .map_err(ExecutionFailureKind::prove_error)? - .receipt; - - let digest: UTXOPayload = receipt - .journal - .decode() - .map_err(|e| ExecutionFailureKind::DecodeError(e.to_string()))?; - - Ok((UTXO::create_utxo_from_payload(digest), receipt)) -} - -#[allow(clippy::result_large_err)] -pub fn prove_send_utxo( - spent_utxo: UTXO, - owners_parts: Vec<(u128, Address)>, -) -> Result<(Vec<(UTXO, Address)>, Receipt), ExecutionFailureKind> { - let cumulative_spent = owners_parts.iter().fold(0, |acc, item| acc + item.0); - - if cumulative_spent != spent_utxo.amount { - return Err(ExecutionFailureKind::AmountMismatchError); - } - - let mut builder = ExecutorEnv::builder(); - let utxo_payload = spent_utxo.into_payload(); - - builder - .write(&utxo_payload) - .map_err(ExecutionFailureKind::write_error)?; - - let owners_parts_with_randomness = owners_parts - .into_iter() - .map(|(amount, addr)| { - let mut randomness = Randomness::default(); - OsRng.fill_bytes(&mut randomness); - (amount, addr, randomness) - }) - .collect::>(); - - builder - .write(&owners_parts_with_randomness) - .map_err(ExecutionFailureKind::write_error)?; - - let env = builder - .build() - .map_err(ExecutionFailureKind::builder_error)?; - - let prover = default_prover(); - - let receipt = prover - .prove(env, test_methods::SEND_UTXO_ELF) - .map_err(ExecutionFailureKind::prove_error)? - .receipt; - - let digest: Vec<(UTXOPayload, Address)> = receipt - .journal - .decode() - .map_err(|e| ExecutionFailureKind::DecodeError(e.to_string()))?; - - Ok(( - digest - .into_iter() - .map(|(payload, addr)| (UTXO::create_utxo_from_payload(payload), addr)) - .collect(), - receipt, - )) -} - -#[allow(clippy::result_large_err)] -pub fn prove_send_utxo_multiple_assets_one_receiver( - spent_utxos: Vec, - number_to_send: usize, - receiver: Address, -) -> Result<(Vec, Vec, Receipt), ExecutionFailureKind> { - if number_to_send > spent_utxos.len() { - return Err(ExecutionFailureKind::AmountMismatchError); - } - - let mut builder = ExecutorEnv::builder(); - let utxo_payload: Vec = spent_utxos - .into_iter() - .map(|spent_utxo| spent_utxo.into_payload()) - .collect(); - - builder - .write(&utxo_payload) - .map_err(ExecutionFailureKind::write_error)?; - builder - .write(&number_to_send) - .map_err(ExecutionFailureKind::write_error)?; - builder - .write(&receiver) - .map_err(ExecutionFailureKind::write_error)?; - - let env = builder - .build() - .map_err(ExecutionFailureKind::builder_error)?; - - let prover = default_prover(); - - let receipt = prover - .prove(env, test_methods::SEND_UTXO_MULTIPLE_ASSETS_ELF) - .map_err(ExecutionFailureKind::prove_error)? - .receipt; - - let digest: (Vec, Vec) = receipt - .journal - .decode() - .map_err(|e| ExecutionFailureKind::DecodeError(e.to_string()))?; - - Ok(( - digest - .0 - .into_iter() - .map(UTXO::create_utxo_from_payload) - .collect(), - digest - .1 - .into_iter() - .map(UTXO::create_utxo_from_payload) - .collect(), - receipt, - )) -} - -#[allow(clippy::result_large_err)] -pub fn prove_send_utxo_shielded( - owner: Address, - amount: u128, - owners_parts: Vec<(u128, Address)>, -) -> Result<(Vec<(UTXO, Address)>, Receipt), ExecutionFailureKind> { - let cumulative_spent = owners_parts.iter().fold(0, |acc, item| acc + item.0); - - if cumulative_spent != amount { - return Err(ExecutionFailureKind::AmountMismatchError); - } - - let temp_utxo_to_spend = UTXO::new(*owner.value(), vec![], amount, true); - let utxo_payload = temp_utxo_to_spend.into_payload(); - - let mut builder = ExecutorEnv::builder(); - - builder - .write(&utxo_payload) - .map_err(ExecutionFailureKind::write_error)?; - - let owners_parts_with_randomness = owners_parts - .into_iter() - .map(|(amount, addr)| { - let mut randomness = Randomness::default(); - OsRng.fill_bytes(&mut randomness); - (amount, addr, randomness) - }) - .collect::>(); - - builder - .write(&owners_parts_with_randomness) - .map_err(ExecutionFailureKind::write_error)?; - - let env = builder - .build() - .map_err(ExecutionFailureKind::builder_error)?; - - let prover = default_prover(); - - let receipt = prover - .prove(env, test_methods::SEND_UTXO_ELF) - .map_err(ExecutionFailureKind::prove_error)? - .receipt; - - let digest: Vec<(UTXOPayload, Address)> = receipt - .journal - .decode() - .map_err(|e| ExecutionFailureKind::DecodeError(e.to_string()))?; - - Ok(( - digest - .into_iter() - .map(|(payload, addr)| (UTXO::create_utxo_from_payload(payload), addr)) - .collect(), - receipt, - )) -} - -#[allow(clippy::result_large_err)] -pub fn prove_send_utxo_deshielded( - spent_utxo: UTXO, - owners_parts: Vec<(u128, Address)>, -) -> Result<(Vec<(u128, Address)>, Receipt), ExecutionFailureKind> { - let cumulative_spent = owners_parts.iter().fold(0, |acc, item| acc + item.0); - - if cumulative_spent != spent_utxo.amount { - return Err(ExecutionFailureKind::AmountMismatchError); - } - - let mut builder = ExecutorEnv::builder(); - let utxo_payload = spent_utxo.into_payload(); - - builder - .write(&utxo_payload) - .map_err(ExecutionFailureKind::write_error)?; - - let owners_parts_with_randomness = owners_parts - .into_iter() - .map(|(amount, addr)| { - let mut randomness = Randomness::default(); - OsRng.fill_bytes(&mut randomness); - (amount, addr, randomness) - }) - .collect::>(); - - builder - .write(&owners_parts_with_randomness) - .map_err(ExecutionFailureKind::write_error)?; - - let env = builder - .build() - .map_err(ExecutionFailureKind::builder_error)?; - - let prover = default_prover(); - - let receipt = prover - .prove(env, test_methods::SEND_UTXO_ELF) - .map_err(ExecutionFailureKind::prove_error)? - .receipt; - - let digest: Vec<(UTXOPayload, Address)> = receipt - .journal - .decode() - .map_err(|e| ExecutionFailureKind::DecodeError(e.to_string()))?; - - Ok(( - digest - .into_iter() - .map(|(payload, addr)| (payload.amount, addr)) - .collect(), - receipt, - )) -} - -#[allow(clippy::result_large_err)] -pub fn prove_mint_utxo_multiple_assets( - amount_to_mint: u128, - number_of_assets: usize, - owner: Address, -) -> Result<(Vec, Receipt), ExecutionFailureKind> { - let mut builder = ExecutorEnv::builder(); - - builder - .write(&amount_to_mint) - .map_err(ExecutionFailureKind::write_error)?; - builder - .write(&number_of_assets) - .map_err(ExecutionFailureKind::write_error)?; - builder - .write(&owner) - .map_err(ExecutionFailureKind::write_error)?; - - let env = builder - .build() - .map_err(ExecutionFailureKind::builder_error)?; - - let prover = default_prover(); - - let receipt = prover - .prove(env, test_methods::MINT_UTXO_MULTIPLE_ASSETS_ELF) - .map_err(ExecutionFailureKind::prove_error)? - .receipt; - - let digest: Vec = receipt - .journal - .decode() - .map_err(|e| ExecutionFailureKind::DecodeError(e.to_string()))?; - - Ok(( - digest - .into_iter() - .map(UTXO::create_utxo_from_payload) - .collect(), - receipt, - )) -} - -pub fn execute_mint_utxo( - amount_to_mint: u128, - owner: Address, - randomness: [u8; 32], -) -> anyhow::Result { - let mut builder = ExecutorEnv::builder(); - - builder.write(&amount_to_mint)?; - builder.write(owner.value())?; - builder.write(&randomness)?; - - let env = builder.build()?; - - let executor = default_executor(); - - let receipt = executor.execute(env, test_methods::MINT_UTXO_ELF)?; - - let digest: UTXOPayload = receipt.journal.decode()?; - - Ok(UTXO::create_utxo_from_payload(digest)) -} - -pub fn execute_send_utxo( - spent_utxo: UTXO, - owners_parts: Vec<(u128, Address)>, -) -> anyhow::Result<(UTXO, Vec<(UTXO, Address)>)> { - let mut builder = ExecutorEnv::builder(); - - let utxo_payload = spent_utxo.into_payload(); - - builder.write(&utxo_payload)?; - let owners_parts_with_randomness = owners_parts - .into_iter() - .map(|(amount, addr)| { - let mut randomness = Randomness::default(); - OsRng.fill_bytes(&mut randomness); - (amount, *addr.value(), randomness) - }) - .collect::>(); - - builder.write(&owners_parts_with_randomness)?; - - let env = builder.build()?; - - let executor = default_executor(); - - let receipt = executor.execute(env, test_methods::SEND_UTXO_ELF)?; - - let digest: (UTXOPayload, Vec<(UTXOPayload, Address)>) = receipt.journal.decode()?; - - Ok(( - UTXO::create_utxo_from_payload(digest.0), - digest - .1 - .into_iter() - .map(|(payload, addr)| (UTXO::create_utxo_from_payload(payload), addr)) - .collect(), - )) -} - -pub fn prove( - input_vec: Vec, - elf: &[u8], -) -> anyhow::Result<(u64, Receipt)> { - let mut builder = ExecutorEnv::builder(); - - for input in input_vec { - builder.write(&input)?; - } - - let env = builder.build()?; - - let prover = default_prover(); - - let receipt = prover.prove(env, elf)?.receipt; - - let digest = receipt.journal.decode()?; - Ok((digest, receipt)) -} - -// This only executes the program and does not generate a receipt. -pub fn execute serde::Deserialize<'de>>( - input_vec: Vec, - elf: &[u8], -) -> anyhow::Result { - let mut builder = ExecutorEnv::builder(); - - for input in input_vec { - builder.write(&input)?; - } - - let env = builder.build()?; - - let exec = default_executor(); - let session = exec.execute(env, elf)?; - - // We read the result committed to the journal by the guest code. - let result: T = session.journal.decode()?; - - Ok(result) -} - -pub fn verify(receipt: Receipt, image_id: impl Into) -> anyhow::Result<()> { - Ok(receipt.verify(image_id)?) -} - -#[cfg(test)] -mod tests { - use crate::gas_calculator::GasCalculator; - - use super::*; - use test_methods::BIG_CALCULATION_ELF; - use test_methods::{MULTIPLICATION_ELF, MULTIPLICATION_ID}; - use test_methods::{SUMMATION_ELF, SUMMATION_ID}; - - #[test] - fn prove_simple_sum() { - let message = 1; - let message_2 = 2; - - let (digest, receipt) = prove(vec![message, message_2], SUMMATION_ELF).unwrap(); - - verify(receipt, SUMMATION_ID).unwrap(); - assert_eq!(digest, message + message_2); - } - - #[test] - fn prove_bigger_sum() { - let message = 123476; - let message_2 = 2342384; - - let (digest, receipt) = prove(vec![message, message_2], SUMMATION_ELF).unwrap(); - - verify(receipt, SUMMATION_ID).unwrap(); - assert_eq!(digest, message + message_2); - } - - #[test] - fn prove_simple_multiplication() { - let message = 1; - let message_2 = 2; - - let (digest, receipt) = prove(vec![message, message_2], MULTIPLICATION_ELF).unwrap(); - - verify(receipt, MULTIPLICATION_ID).unwrap(); - assert_eq!(digest, message * message_2); - } - - #[test] - fn prove_bigger_multiplication() { - let message = 3498; - let message_2 = 438563; - - let (digest, receipt) = prove(vec![message, message_2], MULTIPLICATION_ELF).unwrap(); - - verify(receipt, MULTIPLICATION_ID).unwrap(); - assert_eq!(digest, message * message_2); - } - - #[test] - fn execute_simple_sum() { - let message: u64 = 1; - let message_2: u64 = 2; - - let result = execute(vec![message, message_2], SUMMATION_ELF).unwrap(); - assert_eq!(result, message + message_2); - } - - #[test] - fn execute_bigger_sum() { - let message: u64 = 123476; - let message_2: u64 = 2342384; - - let result = execute(vec![message, message_2], SUMMATION_ELF).unwrap(); - assert_eq!(result, message + message_2); - } - - #[test] - fn execute_big_calculation() { - let message: u128 = 1; - let message_2: u128 = 2; - - let result = execute(vec![message, message_2], BIG_CALCULATION_ELF).unwrap(); - assert_eq!(result, big_calculation(message, message_2)); - } - - #[test] - fn execute_big_calculation_long() { - let message: u128 = 20; - let message_2: u128 = 10; - - let result = execute(vec![message, message_2], BIG_CALCULATION_ELF).unwrap(); - assert_eq!(result, big_calculation(message, message_2)); - } - - fn big_calculation(lhs: u128, rhs: u128) -> u128 { - let mut res = 1_u128; - for _ in 0..lhs { - res *= rhs; - res += lhs; - } - - res - } - - #[test] - fn test_gas_limits_check_sufficient_funds() { - let message = 1; - let message_2 = 2; - let gas_calc = GasCalculator::new(1, 1, 1, 1, 1, 1000000, 1000000); - - let result = gas_limits_check(vec![message, message_2], SUMMATION_ELF, &gas_calc, 1000000); - assert!(result.is_ok()); - } - - #[test] - fn test_gas_limits_check_insufficient_funds() { - let message = 1; - let message_2 = 2; - let gas_calc = GasCalculator::new(1, 1, 1, 1, 1, 1000000, 1000000); - - let result = gas_limits_check(vec![message, message_2], SUMMATION_ELF, &gas_calc, 1); - assert!(matches!( - result, - Err(ExecutionFailureKind::InsufficientFundsError) - )); - } - - #[test] - fn test_execute_mint_utxo() { - let owner = Address::default(); - let amount = 123456789; - let mut randomness = [0u8; 32]; - OsRng.fill_bytes(&mut randomness); - - let utxo_exec = execute_mint_utxo(amount, owner, randomness).expect("execution failed"); - assert_eq!(utxo_exec.amount, amount); - assert_eq!(utxo_exec.owner, *owner.value()); - } - - #[test] - fn test_prove_mint_utxo() { - let owner = Address::default(); - let amount = 123456789; - - let (utxo, _) = prove_mint_utxo(amount, owner).expect("proof failed"); - assert_eq!(utxo.amount, amount); - assert_eq!(utxo.owner, *owner.value()); - } - - #[test] - fn test_prove_send_utxo() { - let owner = Address::default(); - let amount = 100; - let (input_utxo, _) = prove_mint_utxo(amount, owner).expect("mint failed"); - - let parts = vec![(40, owner), (60, owner)]; - let (outputs, _receipt) = prove_send_utxo(input_utxo, parts.clone()).expect("send failed"); - - let total: u128 = outputs.iter().map(|(utxo, _)| utxo.amount).sum(); - assert_eq!(total, amount); - assert_eq!(outputs.len(), 2); - } - - #[test] - fn test_prove_send_utxo_deshielded() { - let owner = Address::default(); - let amount = 100; - let (utxo, _) = prove_mint_utxo(amount, owner).unwrap(); - let parts = vec![(60, owner), (40, owner)]; - - let (outputs, _) = prove_send_utxo_deshielded(utxo, parts.clone()).unwrap(); - - let total: u128 = outputs.iter().map(|(amt, _)| amt).sum(); - assert_eq!(total, amount); - assert_eq!(outputs.len(), 2); - } - - #[test] - fn test_prove_send_utxo_shielded() { - let owner = Address::default(); - let amount = 100; - let parts = vec![(60, owner), (40, owner)]; - - let (outputs, _) = prove_send_utxo_shielded(owner, amount, parts.clone()).unwrap(); - - let total: u128 = outputs.iter().map(|(utxo, _)| utxo.amount).sum(); - assert_eq!(total, amount); - assert_eq!(outputs.len(), 2); - } - - #[test] - fn test_prove_send_utxo_multiple_assets_one_receiver() { - let owner = Address::default(); - let receiver = Address::default(); - - let utxos = vec![ - prove_mint_utxo(100, owner).unwrap().0, - prove_mint_utxo(50, owner).unwrap().0, - ]; - - let (to_receiver, to_change, _receipt) = - prove_send_utxo_multiple_assets_one_receiver(utxos, 1, receiver).unwrap(); - let total_to_receiver: u128 = to_receiver.iter().map(|u| u.amount).sum(); - - assert!(total_to_receiver > 0); - assert_eq!(to_receiver.len() + to_change.len(), 2); - } -} diff --git a/zkvm/test_methods/Cargo.toml b/zkvm/test_methods/Cargo.toml deleted file mode 100644 index c79f640..0000000 --- a/zkvm/test_methods/Cargo.toml +++ /dev/null @@ -1,10 +0,0 @@ -[package] -name = "test-methods" -version = "0.1.0" -edition = "2021" - -[build-dependencies] -risc0-build = { version = "2.3.1" } - -[package.metadata.risc0] -methods = ["guest"] diff --git a/zkvm/test_methods/build.rs b/zkvm/test_methods/build.rs deleted file mode 100644 index 08a8a4e..0000000 --- a/zkvm/test_methods/build.rs +++ /dev/null @@ -1,3 +0,0 @@ -fn main() { - risc0_build::embed_methods(); -} diff --git a/zkvm/test_methods/guest/Cargo.lock b/zkvm/test_methods/guest/Cargo.lock deleted file mode 100644 index af2db41..0000000 --- a/zkvm/test_methods/guest/Cargo.lock +++ /dev/null @@ -1,1348 +0,0 @@ -# This file is automatically @generated by Cargo. -# It is not intended for manual editing. -version = 4 - -[[package]] -name = "ahash" -version = "0.8.11" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e89da841a80418a9b391ebaea17f5c112ffaaa96f621d2c285b5174da76b9011" -dependencies = [ - "cfg-if", - "once_cell", - "version_check", - "zerocopy", -] - -[[package]] -name = "allocator-api2" -version = "0.2.21" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "683d7910e743518b0e34f1186f92494becacb047c7b6bf616c96772180fef923" - -[[package]] -name = "anyhow" -version = "1.0.93" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "4c95c10ba0b00a02636238b814946408b1322d5ac4760326e6fb8ec956d85775" - -[[package]] -name = "ark-bn254" -version = "0.5.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d69eab57e8d2663efa5c63135b2af4f396d66424f88954c21104125ab6b3e6bc" -dependencies = [ - "ark-ec", - "ark-ff", - "ark-r1cs-std", - "ark-std", -] - -[[package]] -name = "ark-crypto-primitives" -version = "0.5.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1e0c292754729c8a190e50414fd1a37093c786c709899f29c9f7daccecfa855e" -dependencies = [ - "ahash", - "ark-crypto-primitives-macros", - "ark-ec", - "ark-ff", - "ark-relations", - "ark-serialize", - "ark-snark", - "ark-std", - "blake2", - "derivative", - "digest", - "fnv", - "merlin", - "sha2", -] - -[[package]] -name = "ark-crypto-primitives-macros" -version = "0.5.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e7e89fe77d1f0f4fe5b96dfc940923d88d17b6a773808124f21e764dfb063c6a" -dependencies = [ - "proc-macro2", - "quote", - "syn 2.0.87", -] - -[[package]] -name = "ark-ec" -version = "0.5.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "43d68f2d516162846c1238e755a7c4d131b892b70cc70c471a8e3ca3ed818fce" -dependencies = [ - "ahash", - "ark-ff", - "ark-poly", - "ark-serialize", - "ark-std", - "educe", - "fnv", - "hashbrown", - "itertools", - "num-bigint", - "num-integer", - "num-traits", - "zeroize", -] - -[[package]] -name = "ark-ff" -version = "0.5.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a177aba0ed1e0fbb62aa9f6d0502e9b46dad8c2eab04c14258a1212d2557ea70" -dependencies = [ - "ark-ff-asm", - "ark-ff-macros", - "ark-serialize", - "ark-std", - "arrayvec", - "digest", - "educe", - "itertools", - "num-bigint", - "num-traits", - "paste", - "zeroize", -] - -[[package]] -name = "ark-ff-asm" -version = "0.5.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "62945a2f7e6de02a31fe400aa489f0e0f5b2502e69f95f853adb82a96c7a6b60" -dependencies = [ - "quote", - "syn 2.0.87", -] - -[[package]] -name = "ark-ff-macros" -version = "0.5.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "09be120733ee33f7693ceaa202ca41accd5653b779563608f1234f78ae07c4b3" -dependencies = [ - "num-bigint", - "num-traits", - "proc-macro2", - "quote", - "syn 2.0.87", -] - -[[package]] -name = "ark-groth16" -version = "0.5.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "88f1d0f3a534bb54188b8dcc104307db6c56cdae574ddc3212aec0625740fc7e" -dependencies = [ - "ark-crypto-primitives", - "ark-ec", - "ark-ff", - "ark-poly", - "ark-relations", - "ark-serialize", - "ark-std", -] - -[[package]] -name = "ark-poly" -version = "0.5.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "579305839da207f02b89cd1679e50e67b4331e2f9294a57693e5051b7703fe27" -dependencies = [ - "ahash", - "ark-ff", - "ark-serialize", - "ark-std", - "educe", - "fnv", - "hashbrown", -] - -[[package]] -name = "ark-r1cs-std" -version = "0.5.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "941551ef1df4c7a401de7068758db6503598e6f01850bdb2cfdb614a1f9dbea1" -dependencies = [ - "ark-ec", - "ark-ff", - "ark-relations", - "ark-std", - "educe", - "num-bigint", - "num-integer", - "num-traits", - "tracing", -] - -[[package]] -name = "ark-relations" -version = "0.5.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ec46ddc93e7af44bcab5230937635b06fb5744464dd6a7e7b083e80ebd274384" -dependencies = [ - "ark-ff", - "ark-std", - "tracing", - "tracing-subscriber", -] - -[[package]] -name = "ark-serialize" -version = "0.5.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3f4d068aaf107ebcd7dfb52bc748f8030e0fc930ac8e360146ca54c1203088f7" -dependencies = [ - "ark-serialize-derive", - "ark-std", - "arrayvec", - "digest", - "num-bigint", -] - -[[package]] -name = "ark-serialize-derive" -version = "0.5.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "213888f660fddcca0d257e88e54ac05bca01885f258ccdf695bafd77031bb69d" -dependencies = [ - "proc-macro2", - "quote", - "syn 2.0.87", -] - -[[package]] -name = "ark-snark" -version = "0.5.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d368e2848c2d4c129ce7679a7d0d2d612b6a274d3ea6a13bad4445d61b381b88" -dependencies = [ - "ark-ff", - "ark-relations", - "ark-serialize", - "ark-std", -] - -[[package]] -name = "ark-std" -version = "0.5.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "246a225cc6131e9ee4f24619af0f19d67761fff15d7ccc22e42b80846e69449a" -dependencies = [ - "num-traits", - "rand", -] - -[[package]] -name = "arrayvec" -version = "0.7.6" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "7c02d123df017efcdfbd739ef81735b36c5ba83ec3c59c80a9d7ecc718f92e50" - -[[package]] -name = "autocfg" -version = "1.4.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ace50bade8e6234aa140d9a2f552bbee1db4d353f69b8217bc503490fc1a9f26" - -[[package]] -name = "bit-vec" -version = "0.8.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5e764a1d40d510daf35e07be9eb06e75770908c27d411ee6c92109c9840eaaf7" - -[[package]] -name = "bitflags" -version = "1.3.2" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a" - -[[package]] -name = "bitflags" -version = "2.6.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b048fb63fd8b5923fc5aa7b340d8e156aec7ec02f0c78fa8a6ddc2613f6f71de" - -[[package]] -name = "blake2" -version = "0.10.6" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "46502ad458c9a52b69d4d4d32775c788b7a1b85e8bc9d482d92250fc0e3f8efe" -dependencies = [ - "digest", -] - -[[package]] -name = "block" -version = "0.1.6" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "0d8c1fef690941d3e7788d328517591fecc684c084084702d6ff1641e993699a" - -[[package]] -name = "block-buffer" -version = "0.10.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3078c7629b62d3f0439517fa394996acacc5cbc91c5a20d8c658e77abd503a71" -dependencies = [ - "generic-array", -] - -[[package]] -name = "borsh" -version = "1.5.2" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f5327f6c99920069d1fe374aa743be1af0031dea9f250852cdf1ae6a0861ee24" -dependencies = [ - "borsh-derive", - "cfg_aliases", -] - -[[package]] -name = "borsh-derive" -version = "1.5.2" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "10aedd8f1a81a8aafbfde924b0e3061cd6fedd6f6bbcfc6a76e6fd426d7bfe26" -dependencies = [ - "once_cell", - "proc-macro-crate", - "proc-macro2", - "quote", - "syn 2.0.87", -] - -[[package]] -name = "bytemuck" -version = "1.23.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5c76a5792e44e4abe34d3abf15636779261d45a7450612059293d1d2cfc63422" -dependencies = [ - "bytemuck_derive", -] - -[[package]] -name = "bytemuck_derive" -version = "1.8.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3fa76293b4f7bb636ab88fd78228235b5248b4d05cc589aed610f954af5d7c7a" -dependencies = [ - "proc-macro2", - "quote", - "syn 2.0.87", -] - -[[package]] -name = "byteorder" -version = "1.5.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1fd0f2584146f6f2ef48085050886acf353beff7305ebd1ae69500e27c67f64b" - -[[package]] -name = "cfg-if" -version = "1.0.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd" - -[[package]] -name = "cfg_aliases" -version = "0.2.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "613afe47fcd5fac7ccf1db93babcb082c5994d996f20b8b159f2ad1658eb5724" - -[[package]] -name = "cobs" -version = "0.3.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "0fa961b519f0b462e3a3b4a34b64d119eeaca1d59af726fe450bbba07a9fc0a1" -dependencies = [ - "thiserror", -] - -[[package]] -name = "const-oid" -version = "0.9.6" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c2459377285ad874054d797f3ccebf984978aa39129f6eafde5cdc8315b612f8" - -[[package]] -name = "core-foundation" -version = "0.9.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "91e195e091a93c46f7102ec7818a2aa394e1e1771c3ab4825963fa03e45afb8f" -dependencies = [ - "core-foundation-sys", - "libc", -] - -[[package]] -name = "core-foundation-sys" -version = "0.8.7" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "773648b94d0e5d620f64f280777445740e61fe701025087ec8b57f45c791888b" - -[[package]] -name = "core-graphics-types" -version = "0.1.3" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "45390e6114f68f718cc7a830514a96f903cccd70d02a8f6d9f643ac4ba45afaf" -dependencies = [ - "bitflags 1.3.2", - "core-foundation", - "libc", -] - -[[package]] -name = "cpufeatures" -version = "0.2.14" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "608697df725056feaccfa42cffdaeeec3fccc4ffc38358ecd19b243e716a78e0" -dependencies = [ - "libc", -] - -[[package]] -name = "crypto-common" -version = "0.1.6" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1bfb12502f3fc46cca1bb51ac28df9d618d813cdc3d2f25b9fe775a34af26bb3" -dependencies = [ - "generic-array", - "typenum", -] - -[[package]] -name = "derivative" -version = "2.2.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "fcc3dd5e9e9c0b295d6e1e4d811fb6f157d5ffd784b8d202fc62eac8035a770b" -dependencies = [ - "proc-macro2", - "quote", - "syn 1.0.109", -] - -[[package]] -name = "derive_more" -version = "2.0.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "093242cf7570c207c83073cf82f79706fe7b8317e98620a47d5be7c3d8497678" -dependencies = [ - "derive_more-impl", -] - -[[package]] -name = "derive_more-impl" -version = "2.0.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bda628edc44c4bb645fbe0f758797143e4e07926f7ebf4e9bdfbd3d2ce621df3" -dependencies = [ - "proc-macro2", - "quote", - "syn 2.0.87", - "unicode-xid", -] - -[[package]] -name = "digest" -version = "0.10.7" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9ed9a281f7bc9b7576e61468ba615a66a5c8cfdff42420a70aa82701a3b1e292" -dependencies = [ - "block-buffer", - "const-oid", - "crypto-common", - "subtle", -] - -[[package]] -name = "downcast-rs" -version = "1.2.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "75b325c5dbd37f80359721ad39aca5a29fb04c89279657cffdda8736d0c0b9d2" - -[[package]] -name = "educe" -version = "0.6.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1d7bc049e1bd8cdeb31b68bbd586a9464ecf9f3944af3958a7a9d0f8b9799417" -dependencies = [ - "enum-ordinalize", - "proc-macro2", - "quote", - "syn 2.0.87", -] - -[[package]] -name = "either" -version = "1.13.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "60b1af1c220855b6ceac025d3f6ecdd2b7c4894bfe9cd9bda4fbb4bc7c0d4cf0" - -[[package]] -name = "elf" -version = "0.7.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "4445909572dbd556c457c849c4ca58623d84b27c8fff1e74b0b4227d8b90d17b" - -[[package]] -name = "embedded-io" -version = "0.4.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ef1a6892d9eef45c8fa6b9e0086428a2cca8491aca8f787c534a3d6d0bcb3ced" - -[[package]] -name = "embedded-io" -version = "0.6.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "edd0f118536f44f5ccd48bcb8b111bdc3de888b58c74639dfb034a357d0f206d" - -[[package]] -name = "enum-ordinalize" -version = "4.3.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "fea0dcfa4e54eeb516fe454635a95753ddd39acda650ce703031c6973e315dd5" -dependencies = [ - "enum-ordinalize-derive", -] - -[[package]] -name = "enum-ordinalize-derive" -version = "4.3.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "0d28318a75d4aead5c4db25382e8ef717932d0346600cacae6357eb5941bc5ff" -dependencies = [ - "proc-macro2", - "quote", - "syn 2.0.87", -] - -[[package]] -name = "equivalent" -version = "1.0.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5443807d6dff69373d433ab9ef5378ad8df50ca6298caf15de6e52e24aaf54d5" - -[[package]] -name = "fnv" -version = "1.0.7" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3f9eec918d3f24069decb9af1554cad7c880e2da24a9afd88aca000531ab82c1" - -[[package]] -name = "foreign-types" -version = "0.5.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d737d9aa519fb7b749cbc3b962edcf310a8dd1f4b67c91c4f83975dbdd17d965" -dependencies = [ - "foreign-types-macros", - "foreign-types-shared", -] - -[[package]] -name = "foreign-types-macros" -version = "0.2.3" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1a5c6c585bc94aaf2c7b51dd4c2ba22680844aba4c687be581871a6f518c5742" -dependencies = [ - "proc-macro2", - "quote", - "syn 2.0.87", -] - -[[package]] -name = "foreign-types-shared" -version = "0.3.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "aa9a19cbb55df58761df49b23516a86d432839add4af60fc256da840f66ed35b" - -[[package]] -name = "generic-array" -version = "0.14.7" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "85649ca51fd72272d7821adaf274ad91c288277713d9c18820d8499a7ff69e9a" -dependencies = [ - "typenum", - "version_check", -] - -[[package]] -name = "getrandom" -version = "0.2.15" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c4567c8db10ae91089c99af84c68c38da3ec2f087c3f82960bcdbf3656b6f4d7" -dependencies = [ - "cfg-if", - "libc", - "wasi 0.11.0+wasi-snapshot-preview1", -] - -[[package]] -name = "getrandom" -version = "0.3.3" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "26145e563e54f2cadc477553f1ec5ee650b00862f0a58bcd12cbdc5f0ea2d2f4" -dependencies = [ - "cfg-if", - "libc", - "r-efi", - "wasi 0.14.2+wasi-0.2.4", -] - -[[package]] -name = "hashbrown" -version = "0.15.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3a9bfc1af68b1726ea47d3d5109de126281def866b33970e10fbab11b5dafab3" -dependencies = [ - "allocator-api2", -] - -[[package]] -name = "hex" -version = "0.4.3" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "7f24254aa9a54b5c858eaee2f5bccdb46aaf0e486a595ed5fd8f86ba55232a70" - -[[package]] -name = "hex-literal" -version = "0.4.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6fe2267d4ed49bc07b63801559be28c718ea06c4738b7a03c94df7386d2cde46" - -[[package]] -name = "include_bytes_aligned" -version = "0.1.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "4ee796ad498c8d9a1d68e477df8f754ed784ef875de1414ebdaf169f70a6a784" - -[[package]] -name = "indexmap" -version = "2.6.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "707907fe3c25f5424cce2cb7e1cbcafee6bdbe735ca90ef77c29e84591e5b9da" -dependencies = [ - "equivalent", - "hashbrown", -] - -[[package]] -name = "itertools" -version = "0.13.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "413ee7dfc52ee1a4949ceeb7dbc8a33f2d6c088194d9f922fb8318faf1f01186" -dependencies = [ - "either", -] - -[[package]] -name = "itoa" -version = "1.0.14" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d75a2a4b1b190afb6f5425f10f6a8f959d2ea0b9c2b1d79553551850539e4674" - -[[package]] -name = "keccak" -version = "0.1.5" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ecc2af9a1119c51f12a14607e783cb977bde58bc069ff0c3da1095e635d70654" -dependencies = [ - "cpufeatures", -] - -[[package]] -name = "lazy_static" -version = "1.5.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe" -dependencies = [ - "spin", -] - -[[package]] -name = "libc" -version = "0.2.162" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "18d287de67fe55fd7e1581fe933d965a5a9477b38e949cfa9f8574ef01506398" - -[[package]] -name = "libm" -version = "0.2.11" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "8355be11b20d696c8f18f6cc018c4e372165b1fa8126cef092399c9951984ffa" - -[[package]] -name = "log" -version = "0.4.22" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a7a70ba024b9dc04c27ea2f0c0548feb474ec5c54bba33a7f72f873a39d07b24" - -[[package]] -name = "malloc_buf" -version = "0.0.6" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "62bb907fe88d54d8d9ce32a3cceab4218ed2f6b7d35617cafe9adf84e43919cb" -dependencies = [ - "libc", -] - -[[package]] -name = "memchr" -version = "2.7.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "78ca9ab1a0babb1e7d5695e3530886289c18cf2f87ec19a575a0abdce112e3a3" - -[[package]] -name = "merlin" -version = "3.0.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "58c38e2799fc0978b65dfff8023ec7843e2330bb462f19198840b34b6582397d" -dependencies = [ - "byteorder", - "keccak", - "rand_core", - "zeroize", -] - -[[package]] -name = "metal" -version = "0.29.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "7ecfd3296f8c56b7c1f6fbac3c71cefa9d78ce009850c45000015f206dc7fa21" -dependencies = [ - "bitflags 2.6.0", - "block", - "core-graphics-types", - "foreign-types", - "log", - "objc", - "paste", -] - -[[package]] -name = "no_std_strings" -version = "0.1.3" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a5b0c77c1b780822bc749a33e39aeb2c07584ab93332303babeabb645298a76e" - -[[package]] -name = "num-bigint" -version = "0.4.6" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a5e44f723f1133c9deac646763579fdb3ac745e418f2a7af9cd0c431da1f20b9" -dependencies = [ - "num-integer", - "num-traits", -] - -[[package]] -name = "num-integer" -version = "0.1.46" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "7969661fd2958a5cb096e56c8e1ad0444ac2bbcd0061bd28660485a44879858f" -dependencies = [ - "num-traits", -] - -[[package]] -name = "num-traits" -version = "0.2.19" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "071dfc062690e90b734c0b2273ce72ad0ffa95f0c74596bc250dcfd960262841" -dependencies = [ - "autocfg", -] - -[[package]] -name = "objc" -version = "0.2.7" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "915b1b472bc21c53464d6c8461c9d3af805ba1ef837e1cac254428f4a77177b1" -dependencies = [ - "malloc_buf", -] - -[[package]] -name = "once_cell" -version = "1.20.2" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1261fe7e33c73b354eab43b1273a57c8f967d0391e80353e51f764ac02cf6775" - -[[package]] -name = "paste" -version = "1.0.15" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "57c0d7b74b563b49d38dae00a0c37d4d6de9b432382b2892f0574ddcae73fd0a" - -[[package]] -name = "pin-project-lite" -version = "0.2.15" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "915a1e146535de9163f3987b8944ed8cf49a18bb0056bcebcdcece385cece4ff" - -[[package]] -name = "postcard" -version = "1.1.3" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6764c3b5dd454e283a30e6dfe78e9b31096d9e32036b5d1eaac7a6119ccb9a24" -dependencies = [ - "cobs", - "embedded-io 0.4.0", - "embedded-io 0.6.1", - "serde", -] - -[[package]] -name = "ppv-lite86" -version = "0.2.20" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "77957b295656769bb8ad2b6a6b09d897d94f05c41b069aede1fcdaa675eaea04" -dependencies = [ - "zerocopy", -] - -[[package]] -name = "proc-macro-crate" -version = "3.2.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "8ecf48c7ca261d60b74ab1a7b20da18bede46776b2e55535cb958eb595c5fa7b" -dependencies = [ - "toml_edit", -] - -[[package]] -name = "proc-macro2" -version = "1.0.89" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f139b0662de085916d1fb67d2b4169d1addddda1919e696f3252b740b629986e" -dependencies = [ - "unicode-ident", -] - -[[package]] -name = "quote" -version = "1.0.37" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b5b9d34b8991d19d98081b46eacdd8eb58c6f2b201139f7c5f643cc155a633af" -dependencies = [ - "proc-macro2", -] - -[[package]] -name = "r-efi" -version = "5.3.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "69cdb34c158ceb288df11e18b4bd39de994f6657d83847bdffdbd7f346754b0f" - -[[package]] -name = "rand" -version = "0.8.5" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "34af8d1a0e25924bc5b7c43c079c942339d8f0a8b57c39049bef581b46327404" -dependencies = [ - "rand_chacha", - "rand_core", -] - -[[package]] -name = "rand_chacha" -version = "0.3.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e6c10a63a0fa32252be49d21e7709d4d4baf8d231c2dbce1eaa8141b9b127d88" -dependencies = [ - "ppv-lite86", - "rand_core", -] - -[[package]] -name = "rand_core" -version = "0.6.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ec0be4795e2f6a28069bec0b5ff3e2ac9bafc99e6a9a7dc3547996c5c816922c" - -[[package]] -name = "risc0-binfmt" -version = "2.0.2" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "62eb7025356a233c1bc267c458a2ce56fcfc89b136d813c8a77be14ef1eaf2b1" -dependencies = [ - "anyhow", - "borsh", - "derive_more", - "elf", - "lazy_static", - "postcard", - "risc0-zkp", - "risc0-zkvm-platform", - "semver", - "serde", - "tracing", -] - -[[package]] -name = "risc0-circuit-keccak" -version = "3.0.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "0094af5a57b020388a03bdd3834959c7d62723f1687be81414ade25104d93263" -dependencies = [ - "anyhow", - "bytemuck", - "paste", - "risc0-binfmt", - "risc0-circuit-recursion", - "risc0-core", - "risc0-zkp", - "tracing", -] - -[[package]] -name = "risc0-circuit-recursion" -version = "3.0.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "76ebded45c902c2b6939924a1cddd1d06b5d1d4ad1531e8798ebfee78f9c038d" -dependencies = [ - "anyhow", - "bytemuck", - "hex", - "metal", - "risc0-core", - "risc0-zkp", - "tracing", -] - -[[package]] -name = "risc0-circuit-rv32im" -version = "3.0.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "15030849f8356f01f23c74b37dbfa4283100b594eb634109993e9e005ef45f64" -dependencies = [ - "anyhow", - "bit-vec", - "bytemuck", - "derive_more", - "paste", - "risc0-binfmt", - "risc0-core", - "risc0-zkp", - "serde", - "tracing", -] - -[[package]] -name = "risc0-core" -version = "2.0.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "317bbf70a8750b64d4fd7a2bdc9d7d5f30d8bb305cae486962c797ef35c8d08e" -dependencies = [ - "bytemuck", - "bytemuck_derive", - "rand_core", -] - -[[package]] -name = "risc0-groth16" -version = "2.0.2" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "7cf5d0b673d5fc67a89147c2e9c53134707dcc8137a43d1ef06b4ff68e99b74f" -dependencies = [ - "anyhow", - "ark-bn254", - "ark-ec", - "ark-groth16", - "ark-serialize", - "bytemuck", - "hex", - "num-bigint", - "num-traits", - "risc0-binfmt", - "risc0-zkp", - "serde", - "stability", -] - -[[package]] -name = "risc0-zkos-v1compat" -version = "2.0.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f76c479b69d1987cb54ac72dcc017197296fdcd6daf78fafc10cbbd3a167a7de" -dependencies = [ - "include_bytes_aligned", - "no_std_strings", -] - -[[package]] -name = "risc0-zkp" -version = "2.0.2" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a287e9cd6d7b3b38eeb49c62090c46a1935922309fbd997a9143ed8c43c8f3cb" -dependencies = [ - "anyhow", - "blake2", - "borsh", - "bytemuck", - "cfg-if", - "digest", - "hex", - "hex-literal", - "metal", - "paste", - "rand_core", - "risc0-core", - "risc0-zkvm-platform", - "serde", - "sha2", - "stability", - "tracing", -] - -[[package]] -name = "risc0-zkvm" -version = "2.3.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9684b333c1c5d83f29ce2a92314ccfafd9d8cdfa6c4e19c07b97015d2f1eb9d0" -dependencies = [ - "anyhow", - "borsh", - "bytemuck", - "derive_more", - "getrandom 0.2.15", - "hex", - "risc0-binfmt", - "risc0-circuit-keccak", - "risc0-circuit-recursion", - "risc0-circuit-rv32im", - "risc0-core", - "risc0-groth16", - "risc0-zkos-v1compat", - "risc0-zkp", - "risc0-zkvm-platform", - "rrs-lib", - "semver", - "serde", - "sha2", - "stability", - "tracing", -] - -[[package]] -name = "risc0-zkvm-platform" -version = "2.0.3" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "cae9cb2c2f6cab2dfa395ea6e2576713929040c7fb0c5f4150d13e1119d18686" -dependencies = [ - "bytemuck", - "cfg-if", - "getrandom 0.2.15", - "getrandom 0.3.3", - "libm", - "stability", -] - -[[package]] -name = "rrs-lib" -version = "0.1.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "b4382d3af3a4ebdae7f64ba6edd9114fff92c89808004c4943b393377a25d001" -dependencies = [ - "downcast-rs", - "paste", -] - -[[package]] -name = "ryu" -version = "1.0.18" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f3cb5ba0dc43242ce17de99c180e96db90b235b8a9fdc9543c96d2209116bd9f" - -[[package]] -name = "semver" -version = "1.0.23" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "61697e0a1c7e512e84a621326239844a24d8207b4669b41bc18b32ea5cbf988b" -dependencies = [ - "serde", -] - -[[package]] -name = "serde" -version = "1.0.214" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "f55c3193aca71c12ad7890f1785d2b73e1b9f63a0bbc353c08ef26fe03fc56b5" -dependencies = [ - "serde_derive", -] - -[[package]] -name = "serde_derive" -version = "1.0.214" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "de523f781f095e28fa605cdce0f8307e451cc0fd14e2eb4cd2e98a355b147766" -dependencies = [ - "proc-macro2", - "quote", - "syn 2.0.87", -] - -[[package]] -name = "serde_json" -version = "1.0.134" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d00f4175c42ee48b15416f6193a959ba3a0d67fc699a0db9ad12df9f83991c7d" -dependencies = [ - "itoa", - "memchr", - "ryu", - "serde", -] - -[[package]] -name = "sha2" -version = "0.10.8" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "793db75ad2bcafc3ffa7c68b215fee268f537982cd901d132f89c6343f3a3dc8" -dependencies = [ - "cfg-if", - "cpufeatures", - "digest", -] - -[[package]] -name = "spin" -version = "0.9.8" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6980e8d7511241f8acf4aebddbb1ff938df5eebe98691418c4468d0b72a96a67" - -[[package]] -name = "stability" -version = "0.2.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d904e7009df136af5297832a3ace3370cd14ff1546a232f4f185036c2736fcac" -dependencies = [ - "quote", - "syn 2.0.87", -] - -[[package]] -name = "subtle" -version = "2.6.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "13c2bddecc57b384dee18652358fb23172facb8a2c51ccc10d74c157bdea3292" - -[[package]] -name = "syn" -version = "1.0.109" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "72b64191b275b66ffe2469e8af2c1cfe3bafa67b529ead792a6d0160888b4237" -dependencies = [ - "proc-macro2", - "quote", - "unicode-ident", -] - -[[package]] -name = "syn" -version = "2.0.87" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "25aa4ce346d03a6dcd68dd8b4010bcb74e54e62c90c573f394c46eae99aba32d" -dependencies = [ - "proc-macro2", - "quote", - "unicode-ident", -] - -[[package]] -name = "test" -version = "0.1.0" -dependencies = [ - "risc0-zkvm", - "serde", - "serde_json", -] - -[[package]] -name = "thiserror" -version = "2.0.12" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "567b8a2dae586314f7be2a752ec7474332959c6460e02bde30d702a66d488708" -dependencies = [ - "thiserror-impl", -] - -[[package]] -name = "thiserror-impl" -version = "2.0.12" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "7f7cf42b4507d8ea322120659672cf1b9dbb93f8f2d4ecfd6e51350ff5b17a1d" -dependencies = [ - "proc-macro2", - "quote", - "syn 2.0.87", -] - -[[package]] -name = "toml_datetime" -version = "0.6.8" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "0dd7358ecb8fc2f8d014bf86f6f638ce72ba252a2c3a2572f2a795f1d23efb41" - -[[package]] -name = "toml_edit" -version = "0.22.22" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "4ae48d6208a266e853d946088ed816055e556cc6028c5e8e2b84d9fa5dd7c7f5" -dependencies = [ - "indexmap", - "toml_datetime", - "winnow", -] - -[[package]] -name = "tracing" -version = "0.1.40" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c3523ab5a71916ccf420eebdf5521fcef02141234bbc0b8a49f2fdc4544364ef" -dependencies = [ - "log", - "pin-project-lite", - "tracing-attributes", - "tracing-core", -] - -[[package]] -name = "tracing-attributes" -version = "0.1.27" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "34704c8d6ebcbc939824180af020566b01a7c01f80641264eba0999f6c2b6be7" -dependencies = [ - "proc-macro2", - "quote", - "syn 2.0.87", -] - -[[package]] -name = "tracing-core" -version = "0.1.32" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "c06d3da6113f116aaee68e4d601191614c9053067f9ab7f6edbcb161237daa54" -dependencies = [ - "once_cell", - "valuable", -] - -[[package]] -name = "tracing-subscriber" -version = "0.2.25" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "0e0d2eaa99c3c2e41547cfa109e910a68ea03823cccad4a0525dcbc9b01e8c71" -dependencies = [ - "tracing-core", -] - -[[package]] -name = "typenum" -version = "1.17.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "42ff0bf0c66b8238c6f3b578df37d0b7848e55df8577b3f74f92a69acceeb825" - -[[package]] -name = "unicode-ident" -version = "1.0.13" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e91b56cd4cadaeb79bbf1a5645f6b4f8dc5bde8834ad5894a8db35fda9efa1fe" - -[[package]] -name = "unicode-xid" -version = "0.2.6" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ebc1c04c71510c7f702b52b7c350734c9ff1295c464a03335b00bb84fc54f853" - -[[package]] -name = "valuable" -version = "0.1.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "830b7e5d4d90034032940e4ace0d9a9a057e7a45cd94e6c007832e39edb82f6d" - -[[package]] -name = "version_check" -version = "0.9.5" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a" - -[[package]] -name = "wasi" -version = "0.11.0+wasi-snapshot-preview1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9c8d87e72b64a3b4db28d11ce29237c246188f4f51057d65a7eab63b7987e423" - -[[package]] -name = "wasi" -version = "0.14.2+wasi-0.2.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "9683f9a5a998d873c0d21fcbe3c083009670149a8fab228644b8bd36b2c48cb3" -dependencies = [ - "wit-bindgen-rt", -] - -[[package]] -name = "winnow" -version = "0.6.20" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "36c1fec1a2bb5866f07c25f68c26e565c4c200aebb96d7e55710c19d3e8ac49b" -dependencies = [ - "memchr", -] - -[[package]] -name = "wit-bindgen-rt" -version = "0.39.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6f42320e61fe2cfd34354ecb597f86f413484a798ba44a8ca1165c58d42da6c1" -dependencies = [ - "bitflags 2.6.0", -] - -[[package]] -name = "zerocopy" -version = "0.7.35" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "1b9b4fd18abc82b8136838da5d50bae7bdea537c574d8dc1a34ed098d6c166f0" -dependencies = [ - "byteorder", - "zerocopy-derive", -] - -[[package]] -name = "zerocopy-derive" -version = "0.7.35" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "fa4f8080344d4671fb4e831a13ad1e68092748387dfc4f55e356242fae12ce3e" -dependencies = [ - "proc-macro2", - "quote", - "syn 2.0.87", -] - -[[package]] -name = "zeroize" -version = "1.8.1" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ced3678a2879b30306d323f4542626697a464a97c0a07c9aebf7ebca65cd4dde" -dependencies = [ - "zeroize_derive", -] - -[[package]] -name = "zeroize_derive" -version = "1.4.2" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "ce36e65b0d2999d2aafac989fb249189a141aee1f53c612c1f37d72631959f69" -dependencies = [ - "proc-macro2", - "quote", - "syn 2.0.87", -] diff --git a/zkvm/test_methods/guest/Cargo.toml b/zkvm/test_methods/guest/Cargo.toml deleted file mode 100644 index c80f35b..0000000 --- a/zkvm/test_methods/guest/Cargo.toml +++ /dev/null @@ -1,14 +0,0 @@ -[package] -name = "test" -version = "0.1.0" -edition = "2021" - -[workspace] - -[dependencies] -serde_json = "1.0.81" -risc0-zkvm = { version = "2.3.1", default-features = false, features = ['std'] } - -[dependencies.serde] -features = ["derive"] -version = "1.0.60" diff --git a/zkvm/test_methods/guest/src/bin/big_calculation.rs b/zkvm/test_methods/guest/src/bin/big_calculation.rs deleted file mode 100644 index b546857..0000000 --- a/zkvm/test_methods/guest/src/bin/big_calculation.rs +++ /dev/null @@ -1,14 +0,0 @@ -use risc0_zkvm::{ - guest::env, -}; - -fn main() { - let lhs: u128 = env::read(); - let rhs: u128 = env::read(); - let mut res = 1; - for i in 0..lhs { - res *= rhs; - res += lhs; - } - env::commit(&(res)); -} diff --git a/zkvm/test_methods/guest/src/bin/mint_utxo.rs b/zkvm/test_methods/guest/src/bin/mint_utxo.rs deleted file mode 100644 index 5123643..0000000 --- a/zkvm/test_methods/guest/src/bin/mint_utxo.rs +++ /dev/null @@ -1,32 +0,0 @@ -use risc0_zkvm::{ - guest::env, -}; -use serde::{Deserialize, Serialize}; - -type AccountAddr = [u8; 32]; - -#[derive(Serialize, Deserialize)] -pub struct UTXOPayload { - pub owner: AccountAddr, - pub asset: Vec, - // TODO: change to u256 - pub amount: u128, - pub privacy_flag: bool, - pub randomness: [u8; 32], -} - -fn main() { - let amount_to_mint: u128 = env::read(); - let owner: AccountAddr = env::read(); - let randomness: [u8; 32] = env::read(); - - let payload = UTXOPayload { - owner, - asset: vec![], - amount: amount_to_mint, - privacy_flag: true, - randomness, - }; - - env::commit(&(payload)); -} diff --git a/zkvm/test_methods/guest/src/bin/mint_utxo_multiple_assets.rs b/zkvm/test_methods/guest/src/bin/mint_utxo_multiple_assets.rs deleted file mode 100644 index 47ad2ac..0000000 --- a/zkvm/test_methods/guest/src/bin/mint_utxo_multiple_assets.rs +++ /dev/null @@ -1,39 +0,0 @@ -use risc0_zkvm::{ - guest::env, -}; -use serde::{Deserialize, Serialize}; - -type AccountAddr = [u8; 32]; - -#[derive(Serialize, Deserialize)] -pub struct UTXOPayload { - pub owner: AccountAddr, - pub asset: Vec, - // TODO: change to u256 - pub amount: u128, - pub privacy_flag: bool, - pub randomness: [u8; 32], -} - -fn main() { - let amount_to_mint: u128 = env::read(); - let number_of_assets: usize = env::read(); - let owner: AccountAddr = env::read(); - let randomness: [u8; 32] = env::read(); - - let mut asseted_utxos = vec![]; - - for i in 0..number_of_assets { - let payload = UTXOPayload { - owner, - asset: vec![i as u8], - amount: amount_to_mint, - privacy_flag: true, - randomness - }; - - asseted_utxos.push(payload); - } - - env::commit(&(asseted_utxos)); -} diff --git a/zkvm/test_methods/guest/src/bin/multiplication.rs b/zkvm/test_methods/guest/src/bin/multiplication.rs deleted file mode 100644 index 047ac07..0000000 --- a/zkvm/test_methods/guest/src/bin/multiplication.rs +++ /dev/null @@ -1,9 +0,0 @@ -use risc0_zkvm::{ - guest::env, -}; - -fn main() { - let lhs: u64 = env::read(); - let rhs: u64 = env::read(); - env::commit(&(lhs * rhs)); -} diff --git a/zkvm/test_methods/guest/src/bin/send_utxo.rs b/zkvm/test_methods/guest/src/bin/send_utxo.rs deleted file mode 100644 index 64035a9..0000000 --- a/zkvm/test_methods/guest/src/bin/send_utxo.rs +++ /dev/null @@ -1,34 +0,0 @@ -use risc0_zkvm::{ - guest::env, -}; -use serde::{Deserialize, Serialize}; - -type AccountAddr = [u8; 32]; - -#[derive(Serialize, Deserialize)] -pub struct UTXOPayload { - pub owner: AccountAddr, - pub asset: Vec, - // TODO: change to u256 - pub amount: u128, - pub privacy_flag: bool, - pub randomness: [u8; 32], -} - -fn main() { - let utxo_spent: UTXOPayload = env::read(); - let owners_parts: Vec<(u128, AccountAddr, [u8; 32])> = env::read(); - - let res: Vec<(UTXOPayload, AccountAddr)> = owners_parts.into_iter().map(|(amount, addr, randomness)| ( - UTXOPayload { - owner: addr.clone(), - asset: vec![], - amount, - privacy_flag: true, - randomness, - }, - addr - )).collect(); - - env::commit(&(res)); -} diff --git a/zkvm/test_methods/guest/src/bin/send_utxo_multiple_assets.rs b/zkvm/test_methods/guest/src/bin/send_utxo_multiple_assets.rs deleted file mode 100644 index e73f844..0000000 --- a/zkvm/test_methods/guest/src/bin/send_utxo_multiple_assets.rs +++ /dev/null @@ -1,41 +0,0 @@ -use risc0_zkvm::{ - guest::env, -}; -use serde::{Deserialize, Serialize}; - -type AccountAddr = [u8; 32]; - -#[derive(Clone, Serialize, Deserialize)] -pub struct UTXOPayload { - pub owner: AccountAddr, - pub asset: Vec, - // TODO: change to u256 - pub amount: u128, - pub privacy_flag: bool, - pub randomness: [u8; 32], -} - -fn main() { - let utxo_spent: Vec = env::read(); - let number_to_send = env::read(); - let receiver: AccountAddr = env::read(); - - let mut utxo_received = vec![]; - let mut utxo_not_spent = vec![]; - - for i in 0..utxo_spent.len() { - let mut utxo_payload = utxo_spent[i].clone(); - - if i < number_to_send { - utxo_payload.owner = receiver; - - utxo_received.push(utxo_payload); - } else { - utxo_payload.asset.push(0); - - utxo_not_spent.push(utxo_payload); - } - } - - env::commit(&(utxo_received, utxo_not_spent)); -} diff --git a/zkvm/test_methods/guest/src/bin/summation.rs b/zkvm/test_methods/guest/src/bin/summation.rs deleted file mode 100644 index cd642fd..0000000 --- a/zkvm/test_methods/guest/src/bin/summation.rs +++ /dev/null @@ -1,9 +0,0 @@ -use risc0_zkvm::{ - guest::env, -}; - -fn main() { - let data: u64 = env::read(); - let data_2: u64 = env::read(); - env::commit(&(data + data_2)); -} diff --git a/zkvm/test_methods/src/lib.rs b/zkvm/test_methods/src/lib.rs deleted file mode 100644 index 1bdb308..0000000 --- a/zkvm/test_methods/src/lib.rs +++ /dev/null @@ -1 +0,0 @@ -include!(concat!(env!("OUT_DIR"), "/methods.rs"));