logos-blockchain/logos-execution-zone
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-execution-zone.git synced 2026-06-29 18:39:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

add tests

Browse Source
This commit is contained in:
Marvin Jones 2026-06-19 13:22:15 -04:00
parent b008313d3f
commit acb9df9e7a
11 changed files with 19 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
artifacts/lez/programs/authenticated_transfer.bin
View File

Binary file not shown.

BIN
artifacts/lez/programs/bridge.bin
View File

Binary file not shown.

BIN
artifacts/lez/programs/clock.bin
View File

Binary file not shown.

BIN
artifacts/lez/programs/faucet.bin
View File

Binary file not shown.

BIN
artifacts/lez/programs/pinata.bin
View File

Binary file not shown.

BIN
artifacts/lez/programs/vault.bin
View File

Binary file not shown.

8
integration_tests/tests/auth_transfer/private.rs
View File

@ -12,8 +12,9 @@ use lee::{
};
use lee_core::{
DUMMY_COMMITMENT, DUMMY_COMMITMENT_HASH, EncryptedAccountData, InputAccountIdentity, Nullifier,
NullifierPublicKey, compute_digest_for_path,
NullifierPublicKey,
account::{Account, AccountWithMetadata},
compute_digest_for_path,
encryption::{EphemeralPublicKey, ViewingPublicKey},
};
use log::info;
@ -855,7 +856,10 @@ async fn init_nullifier_digest_is_bound_to_membership_proof() -> Result<()> {
)?;
assert_eq!(output_with_proof.new_nullifiers[0].1, expected_digest);
assert_eq!(output_without_proof.new_nullifiers[0].1, DUMMY_COMMITMENT_HASH);
assert_eq!(
output_without_proof.new_nullifiers[0].1,
DUMMY_COMMITMENT_HASH
);
assert_ne!(
output_with_proof.new_nullifiers[0].1,
output_without_proof.new_nullifiers[0].1,

2
integration_tests/tests/tps.rs
View File

@ -314,7 +314,7 @@ fn build_privacy_transaction() -> PrivacyPreservingTransaction {
npk: recipient_npk,
ssk: recipient_ss,
identifier: 0,
membership_proof: None,
membership_proof: None,
},
],
&program.into(),

9
lee/state_machine/src/privacy_preserving_transaction/circuit.rs
View File

@ -273,7 +273,7 @@ mod tests {
npk: recipient_keys.npk(),
ssk: shared_secret,
identifier: 0,
membership_proof: None,
membership_proof: None,
},
],
&crate::test_methods::simple_balance_transfer().into(),
@ -388,7 +388,7 @@ mod tests {
npk: recipient_keys.npk(),
ssk: shared_secret_2,
identifier: 0,
membership_proof: None,
membership_proof: None,
},
],
&program.into(),
@ -462,7 +462,7 @@ mod tests {
npk: account_keys.npk(),
ssk: shared_secret,
identifier: 0,
membership_proof: None,
membership_proof: None,
}],
&program_with_deps,
);
@ -659,7 +659,7 @@ mod tests {
npk: shared_npk,
ssk: shared_secret,
identifier: shared_identifier,
membership_proof: None,
membership_proof: None,
},
],
&program.into(),
@ -929,5 +929,4 @@ mod tests {
assert!(matches!(result, Err(LeeError::CircuitProvingError(_))));
}
}

10
lee/state_machine/src/state.rs
View File

@ -1192,7 +1192,7 @@ pub mod tests {
npk: recipient_keys.npk(),
ssk: shared_secret,
identifier: 0,
membership_proof: None,
membership_proof: None,
},
],
&crate::test_methods::simple_balance_transfer().into(),
@ -1260,7 +1260,7 @@ pub mod tests {
npk: recipient_keys.npk(),
ssk: shared_secret_2,
identifier: 0,
membership_proof: None,
membership_proof: None,
},
],
&program.into(),
@ -3366,7 +3366,7 @@ pub mod tests {
npk: private_keys.npk(),
ssk: shared_secret,
identifier: 0,
membership_proof: None,
membership_proof: None,
}],
&program.into(),
)
@ -3808,7 +3808,7 @@ pub mod tests {
npk: account_keys.npk(),
ssk: shared_secret,
identifier: 0,
membership_proof: None,
membership_proof: None,
}],
&validity_window_program.into(),
)
@ -3877,7 +3877,7 @@ pub mod tests {
npk: account_keys.npk(),
ssk: shared_secret,
identifier: 0,
membership_proof: None,
membership_proof: None,
}],
&validity_window_program.into(),
)

4
lez/wallet/src/account_manager.rs
View File

@ -341,7 +341,9 @@ impl AccountManager {
states.push(state);
}
let has_init_account = states.iter().any(|s| matches!(s, State::Private(pre) if pre.proof.is_none()));
let has_init_account = states
.iter()
.any(|s| matches!(s, State::Private(pre) if pre.proof.is_none()));
let dummy_commitment_proof = if has_init_account {
wallet
.get_dummy_commitment_proof()