diff --git a/artifacts/lez/programs/authenticated_transfer.bin b/artifacts/lez/programs/authenticated_transfer.bin index 5e2cf804..60fb5ed8 100644 Binary files a/artifacts/lez/programs/authenticated_transfer.bin and b/artifacts/lez/programs/authenticated_transfer.bin differ diff --git a/artifacts/lez/programs/bridge.bin b/artifacts/lez/programs/bridge.bin index 2c45ef05..f7200f10 100644 Binary files a/artifacts/lez/programs/bridge.bin and b/artifacts/lez/programs/bridge.bin differ diff --git a/artifacts/lez/programs/clock.bin b/artifacts/lez/programs/clock.bin index 2141c3bc..ca84ef7b 100644 Binary files a/artifacts/lez/programs/clock.bin and b/artifacts/lez/programs/clock.bin differ diff --git a/artifacts/lez/programs/faucet.bin b/artifacts/lez/programs/faucet.bin index 8f79b4a5..191b55cc 100644 Binary files a/artifacts/lez/programs/faucet.bin and b/artifacts/lez/programs/faucet.bin differ diff --git a/artifacts/lez/programs/pinata.bin b/artifacts/lez/programs/pinata.bin index 47aedc8d..b3ae5ba0 100644 Binary files a/artifacts/lez/programs/pinata.bin and b/artifacts/lez/programs/pinata.bin differ diff --git a/artifacts/lez/programs/vault.bin b/artifacts/lez/programs/vault.bin index 77250083..6c46f24f 100644 Binary files a/artifacts/lez/programs/vault.bin and b/artifacts/lez/programs/vault.bin differ diff --git a/integration_tests/tests/auth_transfer/private.rs b/integration_tests/tests/auth_transfer/private.rs index fea057de..dc3a9c29 100644 --- a/integration_tests/tests/auth_transfer/private.rs +++ b/integration_tests/tests/auth_transfer/private.rs @@ -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, diff --git a/integration_tests/tests/tps.rs b/integration_tests/tests/tps.rs index f6640581..f54cb62f 100644 --- a/integration_tests/tests/tps.rs +++ b/integration_tests/tests/tps.rs @@ -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(), diff --git a/lee/state_machine/src/privacy_preserving_transaction/circuit.rs b/lee/state_machine/src/privacy_preserving_transaction/circuit.rs index 4ce58c42..7fd540d3 100644 --- a/lee/state_machine/src/privacy_preserving_transaction/circuit.rs +++ b/lee/state_machine/src/privacy_preserving_transaction/circuit.rs @@ -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(_)))); } - } diff --git a/lee/state_machine/src/state.rs b/lee/state_machine/src/state.rs index 33da957d..45c7d1c2 100644 --- a/lee/state_machine/src/state.rs +++ b/lee/state_machine/src/state.rs @@ -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(), ) diff --git a/lez/wallet/src/account_manager.rs b/lez/wallet/src/account_manager.rs index 49db589f..66ef9a24 100644 --- a/lez/wallet/src/account_manager.rs +++ b/lez/wallet/src/account_manager.rs @@ -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()