Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -379,6 +379,7 @@ async fn test_batch_state_merkle_tree() {
let new_keypair_queue = Keypair::new();
let payer = context.get_payer().insecure_clone();
create_batched_state_merkle_tree(
&payer,
&payer,
false,
&mut context,
Expand Down
2 changes: 1 addition & 1 deletion program-tests/justfile
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ test-account-compression:
RUSTFLAGS="-D warnings" cargo test-sbf -p account-compression-test

test-registry:
RUSTFLAGS="-D warnings" cargo test-sbf -p registry-test
RUST_MIN_STACK=16777216 RUSTFLAGS="-D warnings" cargo test-sbf -p registry-test

# System program tests
test-system: test-system-address test-system-compression test-system-re-init
Expand Down
74 changes: 71 additions & 3 deletions program-tests/registry-test/tests/tests.rs
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,7 @@ use light_program_test::{
deregister_program_with_registry_program, register_program_with_registry_program,
},
state_tree::create_state_merkle_tree_and_queue_account,
state_tree_v2::create_batched_state_merkle_tree,
test_accounts::{TestAccounts, NOOP_PROGRAM_ID},
test_keypairs::{GROUP_PDA_SEED_TEST_KEYPAIR, OLD_REGISTRY_ID_TEST_KEYPAIR},
},
Expand Down Expand Up @@ -387,6 +388,7 @@ async fn test_initialize_protocol_config() {
let nullifier_queue_keypair = Keypair::new();
let cpi_context_keypair = Keypair::new();
create_state_merkle_tree_and_queue_account(
&payer,
&payer,
true,
&mut rpc,
Expand All @@ -411,6 +413,7 @@ async fn test_initialize_protocol_config() {
let nullifier_queue_keypair = Keypair::new();
let cpi_context_keypair = Keypair::new();
let result = create_state_merkle_tree_and_queue_account(
&payer,
&payer,
true,
&mut rpc,
Expand All @@ -436,6 +439,7 @@ async fn test_initialize_protocol_config() {
let cpi_context_keypair = Keypair::new();
create_state_merkle_tree_and_queue_account(
&payer,
&updated_keypair,
true,
&mut rpc,
&merkle_tree_keypair,
Expand All @@ -453,12 +457,38 @@ async fn test_initialize_protocol_config() {
.await
.unwrap();
}
// FAIL: initialize a Merkle tree with network_fee but wrong authority
{
let merkle_tree_keypair = Keypair::new();
let nullifier_queue_keypair = Keypair::new();
let cpi_context_keypair = Keypair::new();
let result = create_state_merkle_tree_and_queue_account(
&payer,
&payer,
true,
&mut rpc,
&merkle_tree_keypair,
&nullifier_queue_keypair,
Some(&cpi_context_keypair),
None,
None,
1,
&StateMerkleTreeConfig {
network_fee: Some(5000),
..Default::default()
},
&NullifierQueueConfig::default(),
)
.await;
assert_rpc_error(result, 3, RegistryError::InvalidSigner.into()).unwrap();
}
// FAIL: initialize a Merkle tree with network_fee + forester (must be rejected)
{
let merkle_tree_keypair = Keypair::new();
let nullifier_queue_keypair = Keypair::new();
let cpi_context_keypair = Keypair::new();
let result = create_state_merkle_tree_and_queue_account(
&payer,
&payer,
true,
&mut rpc,
Expand All @@ -483,6 +513,7 @@ async fn test_initialize_protocol_config() {
let nullifier_queue_keypair = Keypair::new();
let cpi_context_keypair = Keypair::new();
let result = create_state_merkle_tree_and_queue_account(
&payer,
&payer,
true,
&mut rpc,
Expand Down Expand Up @@ -1875,11 +1906,48 @@ async fn test_batch_address_tree() {
network_fee: Some(1),
..Default::default()
};
let result =
create_batch_address_merkle_tree(&mut rpc, &payer, &new_merkle_tree, test_tree_params)
.await;
let result = create_batch_address_merkle_tree(
&mut rpc,
&payer,
&payer,
&new_merkle_tree,
test_tree_params,
)
.await;
assert_rpc_error(result, 1, RegistryError::InvalidNetworkFee.into()).unwrap();
}
// FAIL: create batched address tree with correct fee but wrong authority
{
let new_merkle_tree = Keypair::new();
let test_tree_params = InitAddressTreeAccountsInstructionData::default();
let result = create_batch_address_merkle_tree(
&mut rpc,
&payer,
&payer,
&new_merkle_tree,
test_tree_params,
)
.await;
assert_rpc_error(result, 1, RegistryError::InvalidSigner.into()).unwrap();
}
// FAIL: create batched state tree with correct fee but wrong authority
{
let merkle_tree_keypair = Keypair::new();
let queue_keypair = Keypair::new();
let cpi_context_keypair = Keypair::new();
let result = create_batched_state_merkle_tree(
&payer,
&payer,
true,
&mut rpc,
&merkle_tree_keypair,
&queue_keypair,
&cpi_context_keypair,
InitStateTreeAccountsInstructionData::default(),
)
.await;
assert_rpc_error(result, 3, RegistryError::InvalidSigner.into()).unwrap();
}

for i in 0..tree_params.input_queue_batch_size * 2 {
println!("tx {}", i);
Expand Down
7 changes: 4 additions & 3 deletions program-tests/system-test/tests/test.rs
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,6 @@ use light_compressed_account::{
},
TreeType,
};
use light_merkle_tree_metadata::errors::MerkleTreeMetadataError;
use light_program_test::{
accounts::test_accounts::TestAccounts,
indexer::{TestIndexer, TestIndexerExtensions},
Expand Down Expand Up @@ -623,7 +622,9 @@ pub async fn failing_transaction_address<R: Rpc>(
.unwrap();
}

// invalid address queue account
// invalid address queue account (replaced with nullifier queue)
// The system program hits MissingLegacyMerkleContext (error code 6066)
// when trying to look up the legacy context for the replaced queue account.
{
let inputs_struct = inputs_struct.clone();
let mut remaining_accounts = remaining_accounts.clone();
Expand All @@ -639,7 +640,7 @@ pub async fn failing_transaction_address<R: Rpc>(
payer,
inputs_struct,
remaining_accounts.clone(),
MerkleTreeMetadataError::InvalidQueueType.into(),
6066, // SystemProgramError::MissingLegacyMerkleContext
)
.await
.unwrap();
Expand Down
1 change: 1 addition & 0 deletions program-tests/utils/src/e2e_test_env.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1245,6 +1245,7 @@ where
let forester = Pubkey::new_unique();
println!("queue config: {:?}", queue_config);
create_state_merkle_tree_and_queue_account(
&self.payer,
&self.payer,
true,
&mut self.rpc,
Expand Down
12 changes: 6 additions & 6 deletions programs/registry/src/account_compression_cpi/sdk.rs
Original file line number Diff line number Diff line change
Expand Up @@ -289,7 +289,7 @@ pub fn create_initialize_address_merkle_tree_and_queue_instruction(
}

pub fn create_initialize_merkle_tree_instruction(
payer: Pubkey,
authority: Pubkey,
merkle_tree_pubkey: Pubkey,
nullifier_queue_pubkey: Pubkey,
cpi_context_pubkey: Pubkey,
Expand All @@ -309,7 +309,7 @@ pub fn create_initialize_merkle_tree_instruction(
queue_config: nullifier_queue_config,
};
let accounts = crate::accounts::InitializeMerkleTreeAndQueue {
authority: payer,
authority,
registered_program_pda: register_program_pda,
merkle_tree: merkle_tree_pubkey,
queue: nullifier_queue_pubkey,
Expand All @@ -327,7 +327,7 @@ pub fn create_initialize_merkle_tree_instruction(
}

pub fn create_initialize_batched_merkle_tree_instruction(
payer: Pubkey,
authority: Pubkey,
merkle_tree_pubkey: Pubkey,
queue_pubkey: Pubkey,
cpi_context_pubkey: Pubkey,
Expand All @@ -341,7 +341,7 @@ pub fn create_initialize_batched_merkle_tree_instruction(
params: params.try_to_vec().unwrap(),
};
let accounts = crate::accounts::InitializeBatchedStateMerkleTreeAndQueue {
authority: payer,
authority,
registered_program_pda: register_program_pda,
merkle_tree: merkle_tree_pubkey,
queue: queue_pubkey,
Expand Down Expand Up @@ -460,7 +460,7 @@ pub fn create_rollover_batch_state_tree_instruction(
}

pub fn create_initialize_batched_address_merkle_tree_instruction(
payer: Pubkey,
authority: Pubkey,
merkle_tree_pubkey: Pubkey,
params: InitAddressTreeAccountsInstructionData,
) -> Instruction {
Expand All @@ -473,7 +473,7 @@ pub fn create_initialize_batched_address_merkle_tree_instruction(
};
let protocol_config_pda = get_protocol_config_pda_address().0;
let accounts = crate::accounts::InitializeBatchedAddressTree {
authority: payer,
authority,
registered_program_pda: register_program_pda,
merkle_tree: merkle_tree_pubkey,
cpi_authority,
Expand Down
9 changes: 9 additions & 0 deletions programs/registry/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -345,6 +345,9 @@ pub mod light_registry {
msg!("Forester pubkey must not be defined for trees serviced by light foresters.");
return err!(RegistryError::ForesterDefined);
}
if ctx.accounts.authority.key() != ctx.accounts.protocol_config_pda.authority {
return err!(RegistryError::InvalidSigner);
}
} else if forester.is_none() {
msg!("Forester pubkey required for trees without a network fee.");
msg!("Trees without a network fee will not be serviced by light foresters.");
Expand Down Expand Up @@ -518,6 +521,9 @@ pub mod light_registry {
} else {
return err!(RegistryError::InvalidNetworkFee);
}
if ctx.accounts.authority.key() != ctx.accounts.protocol_config_pda.authority {
return err!(RegistryError::InvalidSigner);
}
check_cpi_context(
ctx.accounts.cpi_context_account.to_account_info(),
&ctx.accounts.protocol_config_pda.config,
Expand Down Expand Up @@ -606,6 +612,9 @@ pub mod light_registry {
} else {
return err!(RegistryError::InvalidNetworkFee);
}
if ctx.accounts.authority.key() != ctx.accounts.protocol_config_pda.authority {
return err!(RegistryError::InvalidSigner);
}
process_initialize_batched_address_merkle_tree(&ctx, bump, params.try_to_vec()?)
}

Expand Down
9 changes: 7 additions & 2 deletions sdk-libs/program-test/src/accounts/address_tree_v2.rs
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,7 @@ use crate::utils::create_account::create_account_instruction;
pub async fn create_batch_address_merkle_tree<R: Rpc>(
rpc: &mut R,
payer: &Keypair,
authority: &Keypair,
new_address_merkle_tree_keypair: &Keypair,
address_tree_params: InitAddressTreeAccountsInstructionData,
) -> Result<Signature, RpcError> {
Expand All @@ -34,14 +35,18 @@ pub async fn create_batch_address_merkle_tree<R: Rpc>(
);

let instruction = create_initialize_batched_address_merkle_tree_instruction(
payer.pubkey(),
authority.pubkey(),
new_address_merkle_tree_keypair.pubkey(),
address_tree_params,
);
let mut signers: Vec<&Keypair> = vec![payer, new_address_merkle_tree_keypair];
if authority.pubkey() != payer.pubkey() {
signers.push(authority);
}
rpc.create_and_send_transaction(
&[create_mt_account_ix, instruction],
&payer.pubkey(),
&[payer, new_address_merkle_tree_keypair],
&signers,
)
.await
}
4 changes: 4 additions & 0 deletions sdk-libs/program-test/src/accounts/initialize.rs
Original file line number Diff line number Diff line change
Expand Up @@ -117,6 +117,7 @@ pub async fn initialize_accounts<R: Rpc + TestRpc>(
}
if !config.skip_v1_trees {
create_state_merkle_tree_and_queue_account(
&keypairs.governance_authority,
&keypairs.governance_authority,
true,
context,
Expand All @@ -133,6 +134,7 @@ pub async fn initialize_accounts<R: Rpc + TestRpc>(

if !skip_second_v1_tree {
create_state_merkle_tree_and_queue_account(
&keypairs.governance_authority,
&keypairs.governance_authority,
true,
context,
Expand Down Expand Up @@ -168,6 +170,7 @@ pub async fn initialize_accounts<R: Rpc + TestRpc>(
#[cfg(feature = "v2")]
if let Some(v2_state_tree_config) = _v2_state_tree_config {
create_batched_state_merkle_tree(
&keypairs.governance_authority,
&keypairs.governance_authority,
true,
context,
Expand All @@ -183,6 +186,7 @@ pub async fn initialize_accounts<R: Rpc + TestRpc>(
create_batch_address_merkle_tree(
context,
&keypairs.governance_authority,
&keypairs.governance_authority,
&keypairs.batch_address_merkle_tree,
*params,
)
Expand Down
19 changes: 12 additions & 7 deletions sdk-libs/program-test/src/accounts/state_tree.rs
Original file line number Diff line number Diff line change
Expand Up @@ -105,6 +105,7 @@ pub fn create_insert_leaves_instruction(
#[allow(clippy::too_many_arguments)]
pub async fn create_state_merkle_tree_and_queue_account<R: Rpc>(
payer: &Keypair,
authority: &Keypair,
registry: bool,
rpc: &mut R,
merkle_tree_keypair: &Keypair,
Expand Down Expand Up @@ -163,7 +164,7 @@ pub async fn create_state_merkle_tree_and_queue_account<R: Rpc>(
);

let instruction = create_initialize_merkle_tree_instruction_registry(
payer.pubkey(),
authority.pubkey(),
merkle_tree_keypair.pubkey(),
nullifier_queue_keypair.pubkey(),
cpi_context_keypair.pubkey(),
Expand All @@ -172,6 +173,15 @@ pub async fn create_state_merkle_tree_and_queue_account<R: Rpc>(
program_owner,
forester,
);
let mut signers = vec![
payer,
merkle_tree_keypair,
nullifier_queue_keypair,
cpi_context_keypair,
];
if authority.pubkey() != payer.pubkey() {
signers.push(authority);
}
Transaction::new_signed_with_payer(
&[
create_cpi_context_instruction,
Expand All @@ -180,12 +190,7 @@ pub async fn create_state_merkle_tree_and_queue_account<R: Rpc>(
instruction,
],
Some(&payer.pubkey()),
&vec![
payer,
merkle_tree_keypair,
nullifier_queue_keypair,
cpi_context_keypair,
],
&signers,
rpc.get_latest_blockhash().await?.0,
)
} else {
Expand Down
Loading
Loading