Le ZK ElGamal Program est temporairement désactivé sur le mainnet et le devnet pendant qu'il fait l'objet d'un audit de sécurité. Cela signifie que l'extension confidential transfers est actuellement indisponible. Bien que les concepts restent valides, les exemples de code ne fonctionneront pas.
Comment créer un token account avec l'extension Confidential Transfer
L'extension Confidential Transfer permet des transferts de tokens privés en ajoutant un état supplémentaire au token account. Cette section explique comment créer un token account avec cette extension activée.
Le diagramme suivant montre les étapes impliquées dans la création d'un token account avec l'extension Confidential Transfer :
État du Confidential Transfer Token Account
L'extension ajoute l'état ConfidentialTransferAccount au 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,}
Le ConfidentialTransferAccount contient plusieurs champs pour gérer les
transferts confidentiels :
-
approved : Le statut d'approbation du compte pour les transferts confidentiels. Si la configuration
auto_approve_new_accountsdu mint account est définie commetrue, tous les token accounts sont automatiquement approuvés pour les transferts confidentiels. -
elgamal_pubkey : La clé publique ElGamal utilisée pour chiffrer les soldes et les montants de transfert.
-
pending_balance_lo : Les 16 bits inférieurs chiffrés du solde en attente. Le solde est divisé en parties haute et basse pour un déchiffrement efficace.
-
pending_balance_hi : Les 48 bits supérieurs chiffrés du solde en attente. Le solde est divisé en parties haute et basse pour un déchiffrement efficace.
-
available_balance : Le solde chiffré disponible pour les transferts.
-
decryptable_available_balance : Le solde disponible chiffré avec une clé Advanced Encryption Standard (AES) pour un déchiffrement efficace par le propriétaire du compte.
-
allow_confidential_credits : si vrai, autorise les transferts confidentiels entrants.
-
allow_non_confidential_credits : si vrai, autorise les transferts non confidentiels entrants.
-
pending_balance_credit_counter : compte les crédits de solde en attente entrants provenant des instructions de dépôt et de transfert.
-
maximum_pending_balance_credit_counter : la limite de comptage des crédits en attente avant de nécessiter une instruction
ApplyPendingBalancepour convertir le solde en attente en solde disponible. -
expected_pending_balance_credit_counter : la valeur
pending_balance_credit_counterfournie par le client via les données d'instruction la dernière fois que l'instructionApplyPendingBalancea été traitée. -
actual_pending_balance_credit_counter : la valeur
pending_balance_credit_countersur le token account au moment où la dernière instructionApplyPendingBalancea été traitée.
Solde en attente vs solde disponible
Les soldes confidentiels sont séparés en soldes en attente et soldes disponibles pour prévenir les attaques DoS. Sans cette séparation, un attaquant pourrait envoyer des tokens de manière répétée vers un token account, bloquant la capacité du propriétaire du token account à transférer des tokens. Le propriétaire du token account serait incapable de transférer des tokens car le solde chiffré changerait entre le moment où la transaction est soumise et celui où elle est traitée, entraînant l'échec de la transaction.
Tous les dépôts et montants de transfert sont initialement ajoutés au solde en
attente. Les propriétaires de token account doivent utiliser l'instruction
ApplyPendingBalance pour convertir le solde en attente en solde
disponible. Les transferts ou dépôts entrants n'affectent pas le solde
disponible d'un token account.
Division haut/bas du solde en attente
Le solde en attente confidentiel est divisé en pending_balance_lo et
pending_balance_hi car le déchiffrement ElGamal nécessite plus de calculs pour
les nombres plus grands. Vous pouvez trouver l'implémentation de l'arithmétique
des textes chiffrés
ici,
qui est utilisée dans l'instruction ApplyPendingBalance
ici.
Compteurs de crédit du solde en attente
Lors de l'appel de l'instruction ApplyPendingBalance pour convertir le
solde en attente en solde disponible :
-
Le client consulte les soldes en attente et disponibles actuels, chiffre la somme, et fournit un
decryptable_available_balancechiffré à l'aide de la clé AES du propriétaire du token account. -
Les compteurs de crédit en attente attendus et réels suivent les changements de la valeur du compteur entre le moment où l'instruction
ApplyPendingBalanceest créée et traitée :expected_pending_balance_credit_counter: La valeurpending_balance_credit_counterlorsque le client crée l'instructionApplyPendingBalanceactual_pending_balance_credit_counter: La valeurpending_balance_credit_countersur le token account au moment où l'instructionApplyPendingBalanceest traitée
Des compteurs attendus/réels correspondants indiquent que le
decryptable_available_balance correspond au available_balance.
Lors de la récupération de l'état d'un token account pour lire le
decryptable_available_balance, des valeurs de compteurs attendus/réels
différentes requièrent que le client consulte les instructions récentes de
dépôt/transfert correspondant à la différence de compteur pour calculer le solde
correct.
Processus de réconciliation du solde
Lorsque les compteurs de solde en attente attendus et réels diffèrent, suivez
ces étapes pour réconcilier le decryptable_available_balance :
- Commencez avec le
decryptable_available_balancedu token account - Récupérez les transactions les plus récentes incluant les instructions de
dépôt et de transfert jusqu'à la différence de compteur (réel - attendu) :
- Ajoutez les montants publics des instructions de dépôt
- Déchiffrez et ajoutez les montants de texte chiffré de destination des instructions de transfert
Instructions requises
La création d'un token account avec l'extension Confidential Transfer nécessite trois instructions :
-
Créer le token account : Invoquez l'instruction
AssociatedTokenAccountInstruction:Createde l'Associated Token Program pour créer le token account. -
Réallouer l'espace du compte : invoquez l'instruction
TokenInstruction::Reallocatedu Token Extension Program pour ajouter de l'espace pour l'étatConfidentialTransferAccount. -
Configurer les transferts confidentiels : invoquez l'instruction ConfidentialTransferInstruction::ConfigureAccount du Token Extension Program pour initialiser l'état
ConfidentialTransferAccount.
Seul le propriétaire du token account peut configurer un token account pour les transferts confidentiels.
L'instruction ConfigureAccount nécessite la génération côté client de clés
de chiffrement et de données de preuve qui ne peuvent être générées que par le
propriétaire du token account.
Le PubkeyValidityProofData crée une preuve qui vérifie qu'une clé ElGamal
est valide. Pour les détails d'implémentation, voir :
Exemple de code
Le code suivant montre comment créer un Associated Token Account avec l'extension Confidential Transfer,
Pour exécuter l'exemple, démarrez un validateur local avec le Token Extensions Program cloné depuis le mainnet en utilisant la commande suivante. Vous devez avoir installé le CLI Solana pour démarrer le validateur local.
$solana-test-validator --clone-upgradeable-program TokenzQdBNbLqP5VEhdkAS6EPFLC1PHnBqCXEpPxuEb --url https://api.mainnet.solana.com -r
Au moment de la rédaction, les Confidential Transfers ne sont pas activés sur le validateur local par défaut. Vous devez cloner le Token Extensions Program du mainnet pour exécuter le code d'exemple.
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?