feat: move all crates into workspace

This commit is contained in:
Daniil Polyakov 2025-12-16 17:44:10 +03:00
parent 90a1ee994f
commit 87f45b8215
31 changed files with 213 additions and 250 deletions

View File

@ -12,15 +12,43 @@ members = [
"common", "common",
"nssa", "nssa",
"nssa/core", "nssa/core",
"program_methods",
"program_methods/guest",
"test_program_methods",
"test_program_methods/guest",
"integration_tests/proc_macro_test_attribute", "integration_tests/proc_macro_test_attribute",
"examples/program_deployment", "examples/program_deployment",
"examples/program_deployment/methods",
"examples/program_deployment/methods/guest",
] ]
[workspace.dependencies] [workspace.dependencies]
nssa = { path = "nssa" }
nssa_core = { path = "nssa/core" }
common = { path = "common" }
mempool = { path = "mempool" }
storage = { path = "storage" }
key_protocol = { path = "key_protocol" }
sequencer_core = { path = "sequencer_core" }
sequencer_rpc = { path = "sequencer_rpc" }
sequencer_runner = { path = "sequencer_runner" }
wallet = { path = "wallet" }
program_methods = { path = "program_methods" }
test_program_methods = { path = "test_program_methods" }
tokio = { version = "1.28.2", features = [
"net",
"rt-multi-thread",
"sync",
"fs",
] }
risc0-zkvm = { version = "3.0.3", features = ['std'] }
risc0-build = "3.0.3"
anyhow = "1.0.98" anyhow = "1.0.98"
num_cpus = "1.13.1" num_cpus = "1.13.1"
openssl = { version = "0.10", features = ["vendored"] } openssl = { version = "0.10", features = ["vendored"] }
openssl-probe = { version = "0.1.2" } openssl-probe = { version = "0.1.2" }
serde = { version = "1.0.60", default-features = false, features = ["derive"] }
serde_json = "1.0.81" serde_json = "1.0.81"
actix = "0.13.0" actix = "0.13.0"
actix-cors = "0.6.1" actix-cors = "0.6.1"
@ -33,9 +61,9 @@ lru = "0.7.8"
thiserror = "2.0.12" thiserror = "2.0.12"
sha2 = "0.10.8" sha2 = "0.10.8"
hex = "0.4.3" hex = "0.4.3"
bytemuck = "1.24.0"
aes-gcm = "0.10.3" aes-gcm = "0.10.3"
toml = "0.7.4" toml = "0.7.4"
secp256k1-zkp = "0.11.0"
bincode = "1.3.3" bincode = "1.3.3"
tempfile = "3.14.0" tempfile = "3.14.0"
light-poseidon = "0.3.0" light-poseidon = "0.3.0"
@ -54,43 +82,17 @@ rocksdb = { version = "0.24.0", default-features = false, features = [
"snappy", "snappy",
"bindgen-runtime", "bindgen-runtime",
] } ] }
rand = { version = "0.8.5", features = ["std", "std_rng", "getrandom"] }
[workspace.dependencies.rand] k256 = { version = "0.13.3", features = [
features = ["std", "std_rng", "getrandom"] "ecdsa-core",
version = "0.8.5" "arithmetic",
"expose-field",
[workspace.dependencies.k256] "serde",
features = ["ecdsa-core", "arithmetic", "expose-field", "serde", "pem"] "pem",
version = "0.13.3" ] }
elliptic-curve = { version = "0.13.8", features = ["arithmetic"] }
[workspace.dependencies.elliptic-curve] actix-web = { version = "=4.1.0", default-features = false, features = [
features = ["arithmetic"] "macros",
version = "0.13.8" ] }
clap = { version = "4.5.42", features = ["derive", "env"] }
[workspace.dependencies.serde] reqwest = { version = "0.11.16", features = ["json"] }
features = ["derive"]
version = "1.0.60"
[workspace.dependencies.actix-web]
default-features = false
features = ["macros"]
version = "=4.1.0"
[workspace.dependencies.clap]
features = ["derive", "env"]
version = "4.5.42"
[workspace.dependencies.tokio-retry]
version = "0.3.0"
[workspace.dependencies.reqwest]
features = ["json"]
version = "0.11.16"
[workspace.dependencies.tokio]
features = ["net", "rt-multi-thread", "sync", "fs"]
version = "1.28.2"
[workspace.dependencies.tracing]
features = ["std"]
version = "0.1.13"

View File

@ -4,18 +4,16 @@ version = "0.1.0"
edition = "2024" edition = "2024"
[dependencies] [dependencies]
nssa.workspace = true
nssa_core.workspace = true
anyhow.workspace = true anyhow.workspace = true
thiserror.workspace = true thiserror.workspace = true
serde_json.workspace = true serde_json.workspace = true
serde.workspace = true serde.workspace = true
reqwest.workspace = true reqwest.workspace = true
sha2.workspace = true sha2.workspace = true
log.workspace = true log.workspace = true
hex.workspace = true hex.workspace = true
nssa-core = { path = "../nssa/core", features = ["host"] }
borsh.workspace = true borsh.workspace = true
base64.workspace = true base64.workspace = true
[dependencies.nssa]
path = "../nssa"

View File

@ -4,10 +4,11 @@ version = "0.1.0"
edition = "2024" edition = "2024"
[dependencies] [dependencies]
nssa_core.workspace = true
nssa.workspace = true
wallet.workspace = true
key_protocol.workspace = true
tokio = { workspace = true, features = ["macros"] } tokio = { workspace = true, features = ["macros"] }
wallet = { path = "../../wallet" } clap.workspace = true
nssa-core = { path = "../../nssa/core" } serde.workspace = true
nssa = { path = "../../nssa" }
key_protocol = { path = "../../key_protocol/" }
clap = "4.5.53"
serde = "1.0.228"

View File

@ -1,10 +1,10 @@
[package] [package]
name = "test-program-methods" name = "example_program_deployment_methods"
version = "0.1.0" version = "0.1.0"
edition = "2024" edition = "2024"
[build-dependencies] [build-dependencies]
risc0-build = { version = "3.0.3" } risc0-build.workspace = true
[package.metadata.risc0] [package.metadata.risc0]
methods = ["guest"] methods = ["guest"]

View File

@ -1,13 +1,12 @@
[package] [package]
name = "programs" name = "example_program_deployment_programs"
version = "0.1.0" version = "0.1.0"
edition = "2024" edition = "2024"
[workspace]
[dependencies] [dependencies]
risc0-zkvm = { version = "3.0.3", features = ['std'] } nssa_core.workspace = true
nssa-core = { path = "../../../../nssa/core" }
serde = { version = "1.0.219", default-features = false } serde.workspace = true
hex = "0.4.3" hex.workspace = true
bytemuck = "1.24.0" bytemuck.workspace = true
risc0-zkvm.workspace = true

View File

@ -9,7 +9,6 @@ use nssa_core::program::{
// It reads a single account, emits it unchanged, and then triggers a tail call // It reads a single account, emits it unchanged, and then triggers a tail call
// to the Hello World program with a fixed greeting. // to the Hello World program with a fixed greeting.
/// This needs to be set to the ID of the Hello world program. /// This needs to be set to the ID of the Hello world program.
/// To get the ID run **from the root directoy of the repository**: /// To get the ID run **from the root directoy of the repository**:
/// `cargo risczero build --manifest-path examples/program_deployment/methods/guest/Cargo.toml` /// `cargo risczero build --manifest-path examples/program_deployment/methods/guest/Cargo.toml`

View File

@ -4,6 +4,16 @@ version = "0.1.0"
edition = "2024" edition = "2024"
[dependencies] [dependencies]
nssa_core = { workspace = true, features = ["host"] }
nssa = { workspace = true, features = ["no_docker"] }
sequencer_core = { workspace = true, features = ["testnet"] }
sequencer_runner.workspace = true
wallet.workspace = true
common.workspace = true
key_protocol.workspace = true
proc_macro_test_attribute = { path = "./proc_macro_test_attribute" }
clap = { workspace = true, features = ["derive", "env"] }
anyhow.workspace = true anyhow.workspace = true
env_logger.workspace = true env_logger.workspace = true
log.workspace = true log.workspace = true
@ -14,31 +24,3 @@ tokio.workspace = true
hex.workspace = true hex.workspace = true
tempfile.workspace = true tempfile.workspace = true
borsh.workspace = true borsh.workspace = true
nssa-core = { path = "../nssa/core", features = ["host"] }
proc_macro_test_attribute = { path = "./proc_macro_test_attribute" }
[dependencies.clap]
features = ["derive", "env"]
workspace = true
[dependencies.sequencer_core]
path = "../sequencer_core"
features = ["testnet"]
[dependencies.sequencer_runner]
path = "../sequencer_runner"
[dependencies.wallet]
path = "../wallet"
[dependencies.common]
path = "../common"
[dependencies.key_protocol]
path = "../key_protocol"
[dependencies.nssa]
path = "../nssa"
features = ["no_docker"]

Binary file not shown.

View File

@ -4,22 +4,19 @@ version = "0.1.0"
edition = "2024" edition = "2024"
[dependencies] [dependencies]
nssa.workspace = true
nssa_core.workspace = true
common.workspace = true
anyhow.workspace = true anyhow.workspace = true
serde.workspace = true serde.workspace = true
k256.workspace = true k256.workspace = true
sha2.workspace = true sha2.workspace = true
rand.workspace = true rand.workspace = true
base58.workspace = true base58.workspace = true
hex = "0.4.3" hex.workspace = true
aes-gcm.workspace = true aes-gcm.workspace = true
bip39.workspace = true bip39.workspace = true
hmac-sha512.workspace = true hmac-sha512.workspace = true
thiserror.workspace = true thiserror.workspace = true
nssa-core = { path = "../nssa/core", features = ["host"] }
itertools.workspace = true itertools.workspace = true
[dependencies.common]
path = "../common"
[dependencies.nssa]
path = "../nssa"

View File

@ -4,16 +4,17 @@ version = "0.1.0"
edition = "2024" edition = "2024"
[dependencies] [dependencies]
thiserror = "2.0.12" nssa_core = { workspace = true, features = ["host"] }
risc0-zkvm = { version = "3.0.3", features = ['std'] }
nssa-core = { path = "core", features = ["host"] } thiserror.workspace = true
program-methods = { path = "../program_methods", optional = true } risc0-zkvm.workspace = true
serde = "1.0.219" program_methods = { workspace = true, optional = true }
sha2 = "0.10.9" serde.workspace = true
sha2.workspace = true
rand.workspace = true
borsh.workspace = true
hex.workspace = true
secp256k1 = "0.31.1" secp256k1 = "0.31.1"
rand = "0.8"
borsh = "1.5.7"
hex = "0.4.3"
risc0-binfmt = "3.0.2" risc0-binfmt = "3.0.2"
[build-dependencies] [build-dependencies]
@ -21,9 +22,9 @@ risc0-build = "3.0.3"
risc0-binfmt = "3.0.2" risc0-binfmt = "3.0.2"
[dev-dependencies] [dev-dependencies]
test-program-methods = { path = "../test_program_methods" } test_program_methods.workspace = true
hex-literal = "1.0.0" hex-literal = "1.0.0"
[features] [features]
default = [] default = []
no_docker = ["program-methods"] no_docker = ["program_methods"]

View File

@ -1,21 +1,21 @@
[package] [package]
name = "nssa-core" name = "nssa_core"
version = "0.1.0" version = "0.1.0"
edition = "2024" edition = "2024"
[dependencies] [dependencies]
risc0-zkvm = { version = "3.0.3", features = ['std'] } risc0-zkvm.workspace = true
serde = { version = "1.0", default-features = false } borsh.workspace = true
thiserror = { version = "2.0.12" } serde = { workspace = true }
bytemuck = { version = "1.13", optional = true } thiserror.workspace = true
chacha20 = { version = "0.9", default-features = false } chacha20 = { version = "0.9", default-features = false }
k256 = { version = "0.13.3", optional = true } bytemuck = { workspace = true, optional = true }
base58 = { version = "0.2.0", optional = true } k256 = { workspace = true, optional = true }
anyhow = { version = "1.0.98", optional = true } base58 = { workspace = true, optional = true }
borsh = "1.5.7" anyhow = { workspace = true, optional = true }
[dev-dependencies] [dev-dependencies]
serde_json = "1.0.81" serde_json.workspace = true
[features] [features]
default = [] default = []

View File

@ -44,11 +44,10 @@ impl AccountWithMetadata {
} }
} }
#[derive(Serialize, Deserialize, Clone, PartialEq, Eq, Hash, BorshSerialize, BorshDeserialize)] #[derive(
#[cfg_attr( Copy, Clone, Serialize, Deserialize, PartialEq, Eq, Hash, BorshSerialize, BorshDeserialize,
any(feature = "host", test),
derive(Debug, Copy, PartialOrd, Ord, Default)
)] )]
#[cfg_attr(any(feature = "host", test), derive(Debug, PartialOrd, Ord, Default))]
pub struct AccountId { pub struct AccountId {
value: [u8; 32], value: [u8; 32],
} }

View File

@ -1,10 +1,10 @@
[package] [package]
name = "program-methods" name = "program_methods"
version = "0.1.0" version = "0.1.0"
edition = "2024" edition = "2024"
[build-dependencies] [build-dependencies]
risc0-build = { version = "3.0.3" } risc0-build.workspace = true
[package.metadata.risc0] [package.metadata.risc0]
methods = ["guest"] methods = ["guest"]

View File

@ -1571,7 +1571,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a5b0c77c1b780822bc749a33e39aeb2c07584ab93332303babeabb645298a76e" checksum = "a5b0c77c1b780822bc749a33e39aeb2c07584ab93332303babeabb645298a76e"
[[package]] [[package]]
name = "nssa-core" name = "nssa_core"
version = "0.1.0" version = "0.1.0"
dependencies = [ dependencies = [
"borsh", "borsh",
@ -1811,7 +1811,7 @@ dependencies = [
name = "programs" name = "programs"
version = "0.1.0" version = "0.1.0"
dependencies = [ dependencies = [
"nssa-core", "nssa_core",
"risc0-zkvm", "risc0-zkvm",
"serde", "serde",
] ]

View File

@ -3,9 +3,8 @@ name = "programs"
version = "0.1.0" version = "0.1.0"
edition = "2024" edition = "2024"
[workspace]
[dependencies] [dependencies]
risc0-zkvm = { version = "3.0.3", features = ['std'] } nssa_core.workspace = true
nssa-core = { path = "../../nssa/core" }
serde = { version = "1.0.219", default-features = false } risc0-zkvm.workspace = true
serde = { workspace = true, default-features = false }

View File

@ -107,7 +107,7 @@ fn main() {
} else { } else {
pre_states.push(pre.clone()); pre_states.push(pre.clone());
} }
state_diff.insert(pre.account_id.clone(), post.account().clone()); state_diff.insert(pre.account_id, post.account().clone());
} }
// TODO: Modify when multi-chain calls are supported in the circuit // TODO: Modify when multi-chain calls are supported in the circuit

View File

@ -6,36 +6,35 @@ use nssa_core::{
}; };
// The token program has three functions: // The token program has three functions:
// 1. New token definition. // 1. New token definition. Arguments to this function are:
// Arguments to this function are: // * Two **default** accounts: [definition_account, holding_account]. The first default account
// * Two **default** accounts: [definition_account, holding_account]. // will be initialized with the token definition account values. The second account will be
// The first default account will be initialized with the token definition account values. The second account will // initialized to a token holding account for the new token, holding the entire total supply.
// be initialized to a token holding account for the new token, holding the entire total supply. // * An instruction data of 23-bytes, indicating the total supply and the token name, with the
// * An instruction data of 23-bytes, indicating the total supply and the token name, with // following layout: [0x00 || total_supply (little-endian 16 bytes) || name (6 bytes)] The
// the following layout: // name cannot be equal to [0x00, 0x00, 0x00, 0x00, 0x00, 0x00]
// [0x00 || total_supply (little-endian 16 bytes) || name (6 bytes)] // 2. Token transfer Arguments to this function are:
// The name cannot be equal to [0x00, 0x00, 0x00, 0x00, 0x00, 0x00]
// 2. Token transfer
// Arguments to this function are:
// * Two accounts: [sender_account, recipient_account]. // * Two accounts: [sender_account, recipient_account].
// * An instruction data byte string of length 23, indicating the total supply with the following layout // * An instruction data byte string of length 23, indicating the total supply with the
// [0x01 || amount (little-endian 16 bytes) || 0x00 || 0x00 || 0x00 || 0x00 || 0x00 || 0x00]. // following layout [0x01 || amount (little-endian 16 bytes) || 0x00 || 0x00 || 0x00 || 0x00
// 3. Initialize account with zero balance // || 0x00 || 0x00].
// Arguments to this function are: // 3. Initialize account with zero balance Arguments to this function are:
// * Two accounts: [definition_account, account_to_initialize]. // * Two accounts: [definition_account, account_to_initialize].
// * An dummy byte string of length 23, with the following layout // * An dummy byte string of length 23, with the following layout [0x02 || 0x00 || 0x00 || 0x00
// [0x02 || 0x00 || 0x00 || 0x00 || ... || 0x00 || 0x00]. // || ... || 0x00 || 0x00].
// 4. Burn tokens from a Token Holding account (thus lowering total supply) // 4. Burn tokens from a Token Holding account (thus lowering total supply) Arguments to this
// Arguments to this function are: // function are:
// * Two accounts: [definition_account, holding_account]. // * Two accounts: [definition_account, holding_account].
// * Authorization required: holding_account // * Authorization required: holding_account
// * An instruction data byte string of length 23, indicating the balance to burn with the folloiwng layout // * An instruction data byte string of length 23, indicating the balance to burn with the
// folloiwng layout
// [0x03 || amount (little-endian 16 bytes) || 0x00 || 0x00 || 0x00 || 0x00 || 0x00 || 0x00]. // [0x03 || amount (little-endian 16 bytes) || 0x00 || 0x00 || 0x00 || 0x00 || 0x00 || 0x00].
// 5. Mint additional supply of tokens tokens to a Token Holding account (thus increasing total supply) // 5. Mint additional supply of tokens tokens to a Token Holding account (thus increasing total
// Arguments to this function are: // supply) Arguments to this function are:
// * Two accounts: [definition_account, holding_account]. // * Two accounts: [definition_account, holding_account].
// * Authorization required: definition_account // * Authorization required: definition_account
// * An instruction data byte string of length 23, indicating the balance to mint with the folloiwng layout // * An instruction data byte string of length 23, indicating the balance to mint with the
// folloiwng layout
// [0x04 || amount (little-endian 16 bytes) || 0x00 || 0x00 || 0x00 || 0x00 || 0x00 || 0x00]. // [0x04 || amount (little-endian 16 bytes) || 0x00 || 0x00 || 0x00 || 0x00 || 0x00 || 0x00].
const TOKEN_DEFINITION_TYPE: u8 = 0; const TOKEN_DEFINITION_TYPE: u8 = 0;
@ -89,10 +88,10 @@ impl TokenDefinition {
} }
impl TokenHolding { impl TokenHolding {
fn new(definition_id: &AccountId) -> Self { fn new(definition_id: AccountId) -> Self {
Self { Self {
account_type: TOKEN_HOLDING_TYPE, account_type: TOKEN_HOLDING_TYPE,
definition_id: definition_id.clone(), definition_id,
balance: 0, balance: 0,
} }
} }
@ -142,7 +141,7 @@ fn transfer(pre_states: &[AccountWithMetadata], balance_to_move: u128) -> Vec<Ac
let mut sender_holding = let mut sender_holding =
TokenHolding::parse(&sender.account.data).expect("Invalid sender data"); TokenHolding::parse(&sender.account.data).expect("Invalid sender data");
let mut recipient_holding = if recipient.account == Account::default() { let mut recipient_holding = if recipient.account == Account::default() {
TokenHolding::new(&sender_holding.definition_id) TokenHolding::new(sender_holding.definition_id)
} else { } else {
TokenHolding::parse(&recipient.account.data).expect("Invalid recipient data") TokenHolding::parse(&recipient.account.data).expect("Invalid recipient data")
}; };
@ -213,7 +212,7 @@ fn new_definition(
let token_holding = TokenHolding { let token_holding = TokenHolding {
account_type: TOKEN_HOLDING_TYPE, account_type: TOKEN_HOLDING_TYPE,
definition_id: definition_target_account.account_id.clone(), definition_id: definition_target_account.account_id,
balance: total_supply, balance: total_supply,
}; };
@ -247,7 +246,7 @@ fn initialize_account(pre_states: &[AccountWithMetadata]) -> Vec<AccountPostStat
// Check definition account is valid // Check definition account is valid
let _definition_values = let _definition_values =
TokenDefinition::parse(&definition.account.data).expect("Definition account must be valid"); TokenDefinition::parse(&definition.account.data).expect("Definition account must be valid");
let holding_values = TokenHolding::new(&definition.account_id); let holding_values = TokenHolding::new(definition.account_id);
let definition_post = definition.account.clone(); let definition_post = definition.account.clone();
let mut account_to_initialize = account_to_initialize.account.clone(); let mut account_to_initialize = account_to_initialize.account.clone();
@ -330,7 +329,7 @@ fn mint_additional_supply(
TokenDefinition::parse(&definition.account.data).expect("Definition account must be valid"); TokenDefinition::parse(&definition.account.data).expect("Definition account must be valid");
let token_holding_values: TokenHolding = if token_holding.account == Account::default() { let token_holding_values: TokenHolding = if token_holding.account == Account::default() {
TokenHolding::new(&definition.account_id) TokenHolding::new(definition.account_id)
} else { } else {
TokenHolding::parse(&token_holding.account.data).expect("Holding account must be valid") TokenHolding::parse(&token_holding.account.data).expect("Holding account must be valid")
}; };
@ -1078,7 +1077,6 @@ mod tests {
is_authorized: true, is_authorized: true,
account_id: helper_id_constructor(IdEnum::PoolDefinitionId), account_id: helper_id_constructor(IdEnum::PoolDefinitionId),
}, },
_ => panic!("Invalid selection"),
} }
} }
@ -1093,8 +1091,7 @@ mod tests {
BalanceEnum::MintSuccess => 50_000, BalanceEnum::MintSuccess => 50_000,
BalanceEnum::InitSupplyMint => 150_000, BalanceEnum::InitSupplyMint => 150_000,
BalanceEnum::HoldingBalanceMint => 51_000, BalanceEnum::HoldingBalanceMint => 51_000,
BalanceEnum::MintOverflow => (2 as u128).pow(128) - 40_000, BalanceEnum::MintOverflow => 2u128.pow(128) - 40_000,
_ => panic!("Invalid selection"),
} }
} }
@ -1290,7 +1287,7 @@ mod tests {
assert!( assert!(
*holding_post.account() == helper_account_constructor(AccountsEnum::InitMint).account *holding_post.account() == helper_account_constructor(AccountsEnum::InitMint).account
); );
assert!(holding_post.requires_claim() == true); assert!(holding_post.requires_claim());
} }
#[test] #[test]

View File

@ -4,6 +4,12 @@ version = "0.1.0"
edition = "2024" edition = "2024"
[dependencies] [dependencies]
nssa.workspace = true
nssa_core.workspace = true
common.workspace = true
storage.workspace = true
mempool.workspace = true
base58.workspace = true base58.workspace = true
anyhow.workspace = true anyhow.workspace = true
serde.workspace = true serde.workspace = true
@ -11,19 +17,6 @@ rand.workspace = true
tempfile.workspace = true tempfile.workspace = true
chrono.workspace = true chrono.workspace = true
log.workspace = true log.workspace = true
nssa-core = { path = "../nssa/core", features = ["host"] }
[dependencies.storage]
path = "../storage"
[dependencies.mempool]
path = "../mempool"
[dependencies.common]
path = "../common"
[dependencies.nssa]
path = "../nssa"
[features] [features]
default = [] default = []

View File

@ -4,6 +4,11 @@ version = "0.1.0"
edition = "2024" edition = "2024"
[dependencies] [dependencies]
nssa.workspace = true
common.workspace = true
mempool.workspace = true
sequencer_core.workspace = true
anyhow.workspace = true anyhow.workspace = true
serde_json.workspace = true serde_json.workspace = true
log.workspace = true log.workspace = true
@ -11,25 +16,10 @@ serde.workspace = true
actix-cors.workspace = true actix-cors.workspace = true
futures.workspace = true futures.workspace = true
base58.workspace = true base58.workspace = true
hex = "0.4.3" hex.workspace = true
tempfile.workspace = true tempfile.workspace = true
base64.workspace = true base64.workspace = true
itertools.workspace = true itertools.workspace = true
actix-web.workspace = true actix-web.workspace = true
tokio.workspace = true tokio.workspace = true
borsh.workspace = true borsh.workspace = true
# TODO: Move to workspace
[dependencies.sequencer_core]
path = "../sequencer_core"
[dependencies.common]
path = "../common"
[dependencies.nssa]
path = "../nssa"
[dependencies.mempool]
path = "../mempool"

View File

@ -4,25 +4,15 @@ version = "0.1.0"
edition = "2024" edition = "2024"
[dependencies] [dependencies]
common.workspace = true
sequencer_core = { workspace = true, features = ["testnet"] }
sequencer_rpc.workspace = true
clap = { workspace = true, features = ["derive", "env"] }
anyhow.workspace = true anyhow.workspace = true
serde_json.workspace = true serde_json.workspace = true
env_logger.workspace = true env_logger.workspace = true
log.workspace = true log.workspace = true
actix.workspace = true actix.workspace = true
actix-web.workspace = true actix-web.workspace = true
tokio.workspace = true tokio.workspace = true
[dependencies.clap]
features = ["derive", "env"]
workspace = true
[dependencies.sequencer_rpc]
path = "../sequencer_rpc"
[dependencies.sequencer_core]
path = "../sequencer_core"
features = ["testnet"]
[dependencies.common]
path = "../common"

View File

@ -4,10 +4,8 @@ version = "0.1.0"
edition = "2024" edition = "2024"
[dependencies] [dependencies]
common.workspace = true
thiserror.workspace = true thiserror.workspace = true
borsh.workspace = true borsh.workspace = true
rocksdb.workspace = true rocksdb.workspace = true
[dependencies.common]
path = "../common"

View File

@ -1,10 +1,10 @@
[package] [package]
name = "test-program-methods" name = "test_program_methods"
version = "0.1.0" version = "0.1.0"
edition = "2024" edition = "2024"
[build-dependencies] [build-dependencies]
risc0-build = { version = "3.0.3" } risc0-build.workspace = true
[package.metadata.risc0] [package.metadata.risc0]
methods = ["guest"] methods = ["guest"]

View File

@ -1576,7 +1576,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a5b0c77c1b780822bc749a33e39aeb2c07584ab93332303babeabb645298a76e" checksum = "a5b0c77c1b780822bc749a33e39aeb2c07584ab93332303babeabb645298a76e"
[[package]] [[package]]
name = "nssa-core" name = "nssa_core"
version = "0.1.0" version = "0.1.0"
dependencies = [ dependencies = [
"borsh", "borsh",
@ -1825,7 +1825,7 @@ dependencies = [
name = "programs" name = "programs"
version = "0.1.0" version = "0.1.0"
dependencies = [ dependencies = [
"nssa-core", "nssa_core",
"risc0-zkvm", "risc0-zkvm",
"serde", "serde",
] ]

View File

@ -1,11 +1,10 @@
[package] [package]
name = "programs" name = "test_programs"
version = "0.1.0" version = "0.1.0"
edition = "2024" edition = "2024"
[workspace]
[dependencies] [dependencies]
risc0-zkvm = { version = "3.0.3", features = ['std'] } nssa_core.workspace = true
nssa-core = { path = "../../nssa/core" }
serde = { version = "1.0.219", default-features = false } risc0-zkvm.workspace = true
serde = { workspace = true, default-features = false }

View File

@ -20,5 +20,9 @@ fn main() {
let mut account_post = account_pre.clone(); let mut account_post = account_pre.clone();
account_post.balance -= balance_to_burn; account_post.balance -= balance_to_burn;
write_nssa_outputs(instruction_words, vec![pre], vec![AccountPostState::new(account_post)]); write_nssa_outputs(
instruction_words,
vec![pre],
vec![AccountPostState::new(account_post)],
);
} }

View File

@ -13,9 +13,9 @@ fn main() {
let ( let (
ProgramInput { ProgramInput {
pre_states, pre_states,
instruction: (balance, auth_transfer_id, num_chain_calls, pda_seed), instruction: (balance, auth_transfer_id, num_chain_calls, pda_seed),
}, },
instruction_words instruction_words,
) = read_nssa_inputs::<Instruction>(); ) = read_nssa_inputs::<Instruction>();
let [recipient_pre, sender_pre] = match pre_states.try_into() { let [recipient_pre, sender_pre] = match pre_states.try_into() {
@ -37,7 +37,7 @@ fn main() {
let new_chained_call = ChainedCall { let new_chained_call = ChainedCall {
program_id: auth_transfer_id, program_id: auth_transfer_id,
instruction_data: instruction_data.clone(), instruction_data: instruction_data.clone(),
pre_states: vec![running_sender_pre.clone(), running_recipient_pre.clone()], // <- Account order permutation here pre_states: vec![running_sender_pre.clone(), running_recipient_pre.clone()], /* <- Account order permutation here */
pda_seeds: pda_seed.iter().cloned().collect(), pda_seeds: pda_seed.iter().cloned().collect(),
}; };
chained_calls.push(new_chained_call); chained_calls.push(new_chained_call);

View File

@ -4,7 +4,13 @@ type Instruction = Vec<u8>;
/// A program that modifies the account data by setting bytes sent in instruction. /// A program that modifies the account data by setting bytes sent in instruction.
fn main() { fn main() {
let (ProgramInput { pre_states, instruction: data }, instruction_words) = read_nssa_inputs::<Instruction>(); let (
ProgramInput {
pre_states,
instruction: data,
},
instruction_words,
) = read_nssa_inputs::<Instruction>();
let [pre] = match pre_states.try_into() { let [pre] = match pre_states.try_into() {
Ok(array) => array, Ok(array) => array,
@ -13,7 +19,9 @@ fn main() {
let account_pre = &pre.account; let account_pre = &pre.account;
let mut account_post = account_pre.clone(); let mut account_post = account_pre.clone();
account_post.data = data.try_into().expect("provided data should fit into data limit"); account_post.data = data
.try_into()
.expect("provided data should fit into data limit");
write_nssa_outputs( write_nssa_outputs(
instruction_words, instruction_words,

View File

@ -1,4 +1,4 @@
use nssa_core::program::{read_nssa_inputs, write_nssa_outputs, AccountPostState, ProgramInput}; use nssa_core::program::{AccountPostState, ProgramInput, read_nssa_inputs, write_nssa_outputs};
type Instruction = (); type Instruction = ();
@ -14,5 +14,9 @@ fn main() {
let mut account_post = account_pre.clone(); let mut account_post = account_pre.clone();
account_post.balance += 1; account_post.balance += 1;
write_nssa_outputs(instruction_words, vec![pre], vec![AccountPostState::new(account_post)]); write_nssa_outputs(
instruction_words,
vec![pre],
vec![AccountPostState::new(account_post)],
);
} }

View File

@ -1,9 +1,9 @@
use nssa_core::program::{read_nssa_inputs, write_nssa_outputs, AccountPostState, ProgramInput}; use nssa_core::program::{AccountPostState, ProgramInput, read_nssa_inputs, write_nssa_outputs};
type Instruction = (); type Instruction = ();
fn main() { fn main() {
let (ProgramInput { pre_states, .. } , instruction_words) = read_nssa_inputs::<Instruction>(); let (ProgramInput { pre_states, .. }, instruction_words) = read_nssa_inputs::<Instruction>();
let [pre] = match pre_states.try_into() { let [pre] = match pre_states.try_into() {
Ok(array) => array, Ok(array) => array,
@ -14,5 +14,9 @@ fn main() {
let mut account_post = account_pre.clone(); let mut account_post = account_pre.clone();
account_post.nonce += 1; account_post.nonce += 1;
write_nssa_outputs(instruction_words ,vec![pre], vec![AccountPostState::new(account_post)]); write_nssa_outputs(
instruction_words,
vec![pre],
vec![AccountPostState::new(account_post)],
);
} }

View File

@ -1,4 +1,4 @@
use nssa_core::program::{read_nssa_inputs, write_nssa_outputs, AccountPostState, ProgramInput}; use nssa_core::program::{AccountPostState, ProgramInput, read_nssa_inputs, write_nssa_outputs};
type Instruction = (); type Instruction = ();
@ -14,5 +14,9 @@ fn main() {
let mut account_post = account_pre.clone(); let mut account_post = account_pre.clone();
account_post.program_owner = [0, 1, 2, 3, 4, 5, 6, 7]; account_post.program_owner = [0, 1, 2, 3, 4, 5, 6, 7];
write_nssa_outputs(instruction_words, vec![pre], vec![AccountPostState::new(account_post)]); write_nssa_outputs(
instruction_words,
vec![pre],
vec![AccountPostState::new(account_post)],
);
} }

View File

@ -4,6 +4,11 @@ version = "0.1.0"
edition = "2024" edition = "2024"
[dependencies] [dependencies]
nssa_core.workspace = true
nssa.workspace = true
common.workspace = true
key_protocol.workspace = true
anyhow.workspace = true anyhow.workspace = true
serde_json.workspace = true serde_json.workspace = true
env_logger.workspace = true env_logger.workspace = true
@ -12,24 +17,14 @@ serde.workspace = true
tokio.workspace = true tokio.workspace = true
tempfile.workspace = true tempfile.workspace = true
clap.workspace = true clap.workspace = true
nssa-core = { path = "../nssa/core" }
base64.workspace = true base64.workspace = true
bytemuck = "1.23.2" bytemuck.workspace = true
borsh.workspace = true borsh.workspace = true
base58.workspace = true base58.workspace = true
hex = "0.4.3" hex.workspace = true
rand.workspace = true rand.workspace = true
itertools.workspace = true itertools.workspace = true
sha2.workspace = true sha2.workspace = true
futures.workspace = true futures.workspace = true
async-stream = "0.3.6" async-stream = "0.3.6"
indicatif = { version = "0.18.3", features = ["improved_unicode"] } indicatif = { version = "0.18.3", features = ["improved_unicode"] }
[dependencies.key_protocol]
path = "../key_protocol"
[dependencies.nssa]
path = "../nssa"
[dependencies.common]
path = "../common"