El ZK ElGamal Program está temporalmente deshabilitado en mainnet y devnet mientras se somete a una auditoría de seguridad. Esto significa que la extensión de transferencias confidenciales no está disponible actualmente. Aunque los conceptos siguen siendo válidos, los ejemplos de código no funcionarán.
Cómo crear un token account con la extensión Confidential Transfer
La extensión Confidential Transfer permite transferencias de tokens privadas al agregar estado adicional al token account. Esta sección explica cómo crear un token account con esta extensión habilitada.
El siguiente diagrama muestra los pasos involucrados en la creación de un token account con la extensión Confidential Transfer:
Estado del token account con Confidential Transfer
La extensión agrega el estado ConfidentialTransferAccount al token account:
#[repr(C)]#[derive(Clone, Copy, Debug, Default, PartialEq, Pod, Zeroable)]pub struct ConfidentialTransferAccount {/// `true` if this account has been approved for use. All confidential/// transfer operations for the account will fail until approval is/// granted.pub approved: PodBool,/// The public key associated with ElGamal encryptionpub elgamal_pubkey: PodElGamalPubkey,/// The low 16 bits of the pending balance (encrypted by `elgamal_pubkey`)pub pending_balance_lo: EncryptedBalance,/// The high 48 bits of the pending balance (encrypted by `elgamal_pubkey`)pub pending_balance_hi: EncryptedBalance,/// The available balance (encrypted by `encryption_pubkey`)pub available_balance: EncryptedBalance,/// The decryptable available balancepub decryptable_available_balance: DecryptableBalance,/// If `false`, the extended account rejects any incoming confidential/// transferspub allow_confidential_credits: PodBool,/// If `false`, the base account rejects any incoming transferspub allow_non_confidential_credits: PodBool,/// The total number of `Deposit` and `Transfer` instructions that have/// credited `pending_balance`pub pending_balance_credit_counter: PodU64,/// The maximum number of `Deposit` and `Transfer` instructions that can/// credit `pending_balance` before the `ApplyPendingBalance`/// instruction is executedpub maximum_pending_balance_credit_counter: PodU64,/// The `expected_pending_balance_credit_counter` value that was included in/// the last `ApplyPendingBalance` instructionpub expected_pending_balance_credit_counter: PodU64,/// The actual `pending_balance_credit_counter` when the last/// `ApplyPendingBalance` instruction was executedpub actual_pending_balance_credit_counter: PodU64,}
El ConfidentialTransferAccount contiene varios campos para gestionar
transferencias confidenciales:
-
approved: El estado de aprobación de la cuenta para transferencias confidenciales. Si la configuración
auto_approve_new_accountsdel mint account está establecida comotrue, todos los token accounts se aprueban automáticamente para transferencias confidenciales. -
elgamal_pubkey: La clave pública ElGamal utilizada para cifrar saldos y montos de transferencia.
-
pending_balance_lo: Los 16 bits inferiores cifrados del saldo pendiente. El saldo se divide en partes alta y baja para un descifrado eficiente.
-
pending_balance_hi: Los 48 bits superiores cifrados del saldo pendiente. El saldo se divide en partes alta y baja para un descifrado eficiente.
-
available_balance: El saldo cifrado disponible para transferencias.
-
decryptable_available_balance: El saldo disponible cifrado con una clave Advanced Encryption Standard (AES) para un descifrado eficiente por parte del propietario de la cuenta.
-
allow_confidential_credits: si es verdadero, permite transferencias confidenciales entrantes.
-
allow_non_confidential_credits: si es verdadero, permite transferencias no confidenciales entrantes.
-
pending_balance_credit_counter: cuenta los créditos de saldo pendiente entrantes de las instrucciones de depósito y transferencia.
-
maximum_pending_balance_credit_counter: el límite de recuento de créditos pendientes antes de requerir una instrucción
ApplyPendingBalancepara convertir el saldo pendiente en saldo disponible. -
expected_pending_balance_credit_counter: el valor
pending_balance_credit_counterproporcionado por el cliente a través de los datos de instrucción la última vez que se procesó la instrucciónApplyPendingBalance. -
actual_pending_balance_credit_counter: el valor
pending_balance_credit_counteren la cuenta de token en el momento en que se procesó la última instrucciónApplyPendingBalance.
Saldo pendiente vs saldo disponible
Los saldos confidenciales se separan en saldos pendientes y disponibles para prevenir ataques DoS. Sin esta separación, un atacante podría enviar tokens repetidamente a una cuenta de token, bloqueando la capacidad del propietario de la cuenta de token para transferir tokens. El propietario de la cuenta de token no podría transferir tokens porque el saldo cifrado cambiaría entre el momento en que se envía la transacción y cuando se procesa, lo que resultaría en una transacción fallida.
Todos los depósitos y montos de transferencia se agregan inicialmente al saldo
pendiente. Los propietarios de cuentas de token deben usar la instrucción
ApplyPendingBalance para convertir el saldo pendiente en saldo disponible.
Las transferencias o depósitos entrantes no afectan el saldo disponible de una
cuenta de token.
División alto/bajo del saldo pendiente
El saldo pendiente confidencial se divide en pending_balance_lo y
pending_balance_hi porque el descifrado ElGamal requiere más cálculo para
números más grandes. Puedes encontrar la implementación de aritmética de texto
cifrado
aquí,
que se usa en la instrucción ApplyPendingBalance
aquí.
Contadores de crédito de saldo pendiente
Al llamar a la instrucción ApplyPendingBalance para convertir el saldo
pendiente al saldo disponible:
-
El cliente busca los saldos pendientes y disponibles actuales, encripta la suma y proporciona un
decryptable_available_balanceencriptado usando la clave AES del propietario del token account. -
Los contadores de crédito pendiente esperados y reales rastrean cambios en el valor del contador entre cuando se crea y procesa la instrucción
ApplyPendingBalance:expected_pending_balance_credit_counter: El valorpending_balance_credit_countercuando el cliente crea la instrucciónApplyPendingBalanceactual_pending_balance_credit_counter: El valorpending_balance_credit_counteren el token account en el momento en que se procesa la instrucciónApplyPendingBalance
Los contadores esperados/reales coincidentes indican que el
decryptable_available_balance coincide con el available_balance.
Al obtener el estado de un token account para leer el
decryptable_available_balance, diferentes valores de contadores
esperados/reales requieren que el cliente busque instrucciones recientes de
depósito/transferencia que coincidan con la diferencia del contador para
calcular el saldo correcto.
Proceso de conciliación de saldo
Cuando los contadores de saldo pendiente esperados y reales difieren, sigue
estos pasos para conciliar el decryptable_available_balance:
- Comienza con el
decryptable_available_balancedel token account - Obtén las transacciones más recientes incluyendo instrucciones de depósito y
transferencia hasta la diferencia del contador (real - esperado):
- Agrega montos públicos de las instrucciones de depósito
- Desencripta y agrega montos de texto cifrado de destino de las instrucciones de transferencia
Instrucciones requeridas
Crear un token account con la extensión Confidential Transfer requiere tres instrucciones:
-
Crear el token account: Invoca la instrucción
AssociatedTokenAccountInstruction:Createdel Associated Token Program para crear el token account. -
Reasignar espacio de cuenta: Invoca la instrucción
TokenInstruction::Reallocatedel Token Extension Program para añadir espacio para el estadoConfidentialTransferAccount. -
Configurar transferencias confidenciales: Invoca la instrucción ConfidentialTransferInstruction::ConfigureAccount del Token Extension Program para inicializar el estado
ConfidentialTransferAccount.
Solo el propietario del token account puede configurar un token account para transferencias confidenciales.
La instrucción ConfigureAccount requiere la generación del lado del
cliente de claves de cifrado y datos de prueba que solo pueden ser generados por
el propietario de la cuenta de token.
La PubkeyValidityProofData crea una prueba que verifica que una clave
ElGamal es válida. Para detalles de implementación, consulta:
Código de ejemplo
El siguiente código demuestra cómo crear una Associated Token Account con la extensión de Transferencia Confidencial,
Para ejecutar el ejemplo, inicia un validator local con el Token Extensions Program clonado desde la mainnet usando el siguiente comando. Debes tener instalado el CLI de Solana para iniciar el validator local.
$solana-test-validator --clone-upgradeable-program TokenzQdBNbLqP5VEhdkAS6EPFLC1PHnBqCXEpPxuEb --url https://api.mainnet.solana.com -r
En el momento de escribir esto, las Transferencias Confidenciales no están habilitadas en el validator local predeterminado. Debes clonar el Token Extensions Program de la mainnet para ejecutar el código de ejemplo.
use anyhow::{Context, Result};use solana_client::nonblocking::rpc_client::RpcClient;use solana_sdk::{commitment_config::CommitmentConfig,signature::{Keypair, Signer},transaction::Transaction,};use spl_associated_token_account::{get_associated_token_address_with_program_id, instruction::create_associated_token_account,};use spl_token_client::{client::{ProgramRpcClient, ProgramRpcClientSendTransaction},spl_token_2022::{extension::{confidential_transfer::instruction::{configure_account, PubkeyValidityProofData},ExtensionType,},id as token_2022_program_id,instruction::reallocate,solana_zk_sdk::encryption::{auth_encryption::*, elgamal::*},},token::{ExtensionInitializationParams, Token},};use spl_token_confidential_transfer_proof_extraction::instruction::{ProofData, ProofLocation};use std::sync::Arc;#[tokio::main]async fn main() -> Result<()> {// Create connection to local test validatorlet rpc_client = Arc::new(RpcClient::new_with_commitment(String::from("http://localhost:8899"),CommitmentConfig::confirmed(),));// Load the default Solana CLI keypair to use as the fee payer// This will be the wallet paying for the transaction fees// Use Arc to prevent multiple clones of the keypairlet payer = Arc::new(load_keypair()?);println!("Using payer: {}", payer.pubkey());// Generate a new keypair to use as the address of the token mintlet mint = Keypair::new();println!("Mint keypair generated: {}", mint.pubkey());// Set up program client for Token clientlet program_client = ProgramRpcClient::new(rpc_client.clone(), ProgramRpcClientSendTransaction);// Number of decimals for the mintlet decimals = 9;// Create a token client for the Token-2022 program// This provides high-level methods for token operationslet token = Token::new(Arc::new(program_client),&token_2022_program_id(), // Use the Token-2022 program (newer version with extensions)&mint.pubkey(), // Address of the new token mintSome(decimals), // Number of decimal placespayer.clone(), // Fee payer for transactions (cloning Arc, not keypair));// Create extension initialization parameters for the mint// The ConfidentialTransferMint extension enables confidential (private) transfers of tokenslet extension_initialization_params =vec![ExtensionInitializationParams::ConfidentialTransferMint {authority: Some(payer.pubkey()), // Authority that can modify confidential transfer settingsauto_approve_new_accounts: true, // Automatically approve new confidential accountsauditor_elgamal_pubkey: None, // Optional auditor ElGamal public key}];// Create and initialize the mint with the ConfidentialTransferMint extension// This sends a transaction to create the new token mintlet transaction_signature = token.create_mint(&payer.pubkey(), // Mint authority - can mint new tokensSome(&payer.pubkey()), // Freeze authority - can freeze token accountsextension_initialization_params, // Add the ConfidentialTransferMint extension&[&mint], // Mint keypair needed as signer).await?;println!("Mint Address: {}", mint.pubkey());println!("Mint Creation Transaction Signature: {}",transaction_signature);// ===== Create and configure token account for confidential transfers =====println!("\nCreate and configure token account for confidential transfers");// Get the associated token account address for the ownerlet token_account_pubkey = get_associated_token_address_with_program_id(&payer.pubkey(), // Token account owner&mint.pubkey(), // Mint&token_2022_program_id(), // Token program ID);println!("Token Account Address: {}", token_account_pubkey);// Step 1: Create the associated token accountlet create_associated_token_account_instruction = create_associated_token_account(&payer.pubkey(), // Funding account&payer.pubkey(), // Token account owner&mint.pubkey(), // Mint&token_2022_program_id(), // Token program ID);// Step 2: Reallocate the token account to include space for the ConfidentialTransferAccount extensionlet reallocate_instruction = reallocate(&token_2022_program_id(), // Token program ID&token_account_pubkey, // Token account&payer.pubkey(), // Payer&payer.pubkey(), // Token account owner&[&payer.pubkey()], // Signers&[ExtensionType::ConfidentialTransferAccount], // Extension to reallocate space for)?;// Step 3: Generate the ElGamal keypair and AES key for token accountlet elgamal_keypair = ElGamalKeypair::new_from_signer(&payer, &token_account_pubkey.to_bytes()).expect("Failed to create ElGamal keypair");let aes_key = AeKey::new_from_signer(&payer, &token_account_pubkey.to_bytes()).expect("Failed to create AES key");// The maximum number of Deposit and Transfer instructions that can// credit pending_balance before the ApplyPendingBalance instruction is executedlet maximum_pending_balance_credit_counter = 65536;// Initial token balance is 0let decryptable_balance = aes_key.encrypt(0);// Generate the proof data client-sidelet proof_data = PubkeyValidityProofData::new(&elgamal_keypair).map_err(|_| anyhow::anyhow!("Failed to generate proof data"))?;// Indicate that proof is included in the same transactionlet proof_location =ProofLocation::InstructionOffset(1.try_into()?, ProofData::InstructionData(&proof_data));// Step 4: Create instructions to configure the account for confidential transferslet configure_account_instructions = configure_account(&token_2022_program_id(), // Program ID&token_account_pubkey, // Token account&mint.pubkey(), // Mint&decryptable_balance.into(), // Initial balancemaximum_pending_balance_credit_counter, // Maximum pending balance credit counter&payer.pubkey(), // Token Account Owner&[], // Additional signersproof_location, // Proof location)?;// Combine all instructionslet mut instructions = vec![create_associated_token_account_instruction,reallocate_instruction,];instructions.extend(configure_account_instructions);// Create and send the transactionlet recent_blockhash = rpc_client.get_latest_blockhash().await?;let transaction = Transaction::new_signed_with_payer(&instructions,Some(&payer.pubkey()),&[&payer],recent_blockhash,);let transaction_signature = rpc_client.send_and_confirm_transaction(&transaction).await?;println!("Create Token Account Transaction Signature: {}",transaction_signature);Ok(())}// Load the keypair from the default Solana CLI keypair path (~/.config/solana/id.json)// This enables using the same wallet as the Solana CLI toolsfn load_keypair() -> Result<Keypair> {// Get the default keypair pathlet keypair_path = dirs::home_dir().context("Could not find home directory")?.join(".config/solana/id.json");// Read the keypair file directly into bytes using serde_json// The keypair file is a JSON array of byteslet file = std::fs::File::open(&keypair_path)?;let keypair_bytes: Vec<u8> = serde_json::from_reader(file)?;// Create keypair from the loaded bytes// This converts the byte array into a keypairlet keypair = Keypair::from_bytes(&keypair_bytes)?;Ok(keypair)}
Is this page helpful?