Program ZK ElGamal jest tymczasowo wyłączony na mainnecie i devnecie z powodu trwającego audytu bezpieczeństwa. Oznacza to, że rozszerzenie confidential transfers jest obecnie niedostępne. Chociaż koncepcje pozostają aktualne, przykłady kodu nie będą działać.
Jak utworzyć token account z rozszerzeniem Confidential Transfer
Rozszerzenie Confidential Transfer umożliwia prywatne transfery tokenów poprzez dodanie dodatkowego stanu do token account. W tej sekcji wyjaśniamy, jak utworzyć token account z tym rozszerzeniem.
Poniższy diagram przedstawia kroki związane z tworzeniem token account z rozszerzeniem Confidential Transfer:
Stan token account z rozszerzeniem Confidential Transfer
Rozszerzenie dodaje stan ConfidentialTransferAccount do 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,}
ConfidentialTransferAccount zawiera kilka pól do zarządzania prywatnymi
transferami:
-
approved: Status zatwierdzenia konta dla confidential transfers. Jeśli konfiguracja mint account
auto_approve_new_accountsjest ustawiona jakotrue, wszystkie token account są automatycznie zatwierdzane do confidential transfers. -
elgamal_pubkey: Klucz publiczny ElGamal używany do szyfrowania sald i kwot transferów.
-
pending_balance_lo: Zaszyfrowane niższe 16 bitów oczekującego salda. Saldo jest dzielone na część wysoką i niską dla efektywnego odszyfrowania.
-
pending_balance_hi: Zaszyfrowane wyższe 48 bitów oczekującego salda. Saldo jest dzielone na część wysoką i niską dla efektywnego odszyfrowania.
-
available_balance: Zaszyfrowane saldo dostępne do transferów.
-
decryptable_available_balance: Dostępne saldo zaszyfrowane kluczem Advanced Encryption Standard (AES) dla efektywnego odszyfrowania przez właściciela konta.
-
allow_confidential_credits: Jeśli ustawione na true, pozwala na przychodzące transfery poufne.
-
allow_non_confidential_credits: Jeśli ustawione na true, pozwala na przychodzące transfery niepoufne.
-
pending_balance_credit_counter: Liczy przychodzące kredyty oczekującego salda z instrukcji wpłaty i transferu.
-
maximum_pending_balance_credit_counter: Limit liczby oczekujących kredytów przed koniecznością użycia instrukcji
ApplyPendingBalancew celu przekształcenia oczekującego salda w saldo dostępne. -
expected_pending_balance_credit_counter: Wartość
pending_balance_credit_counterprzekazana przez klienta w instruction data podczas ostatniego przetwarzania instrukcjiApplyPendingBalance. -
actual_pending_balance_credit_counter: Wartość
pending_balance_credit_counterna token account w momencie, gdy ostatnia instrukcjaApplyPendingBalancezostała przetworzona.
Oczekujące vs dostępne saldo
Poufne salda są rozdzielone na oczekujące i dostępne, aby zapobiec atakom DoS. Bez tego rozdzielenia atakujący mógłby wielokrotnie przesyłać tokeny na token account, blokując właścicielowi możliwość transferu tokenów. Właściciel token account nie mógłby przelać tokenów, ponieważ zaszyfrowane saldo zmieniałoby się między momentem złożenia transakcji a jej przetworzeniem, co skutkowałoby nieudaną transakcją.
Wszystkie wpłaty i kwoty transferów są początkowo dodawane do oczekującego
salda. Właściciele token account muszą użyć instrukcji
ApplyPendingBalance, aby przekształcić oczekujące saldo w saldo dostępne.
Przychodzące transfery lub wpłaty nie wpływają na dostępne saldo token account.
Podział oczekującego salda na wysokie/niskie
Poufne oczekujące saldo jest podzielone na pending_balance_lo i
pending_balance_hi, ponieważ deszyfrowanie ElGamal wymaga więcej obliczeń dla
większych liczb. Implementację arytmetyki szyfrogramów znajdziesz
tutaj,
która jest używana w instrukcji ApplyPendingBalance
tutaj.
Liczniki kredytów oczekującego salda
Podczas wywoływania instrukcji ApplyPendingBalance w celu przekształcenia
salda oczekującego na saldo dostępne:
-
Klient sprawdza aktualne salda oczekujące i dostępne, szyfruje ich sumę i przekazuje
decryptable_available_balancezaszyfrowane za pomocą klucza AES właściciela konta tokena. -
Oczekiwane i rzeczywiste liczniki kredytów oczekujących śledzą zmiany wartości licznika między utworzeniem a przetworzeniem instrukcji
ApplyPendingBalance:expected_pending_balance_credit_counter: Wartośćpending_balance_credit_counterw momencie, gdy klient tworzy instrukcjęApplyPendingBalanceactual_pending_balance_credit_counter: Wartośćpending_balance_credit_counterna koncie tokena w momencie przetwarzania instrukcjiApplyPendingBalance
Zgodność oczekiwanych i rzeczywistych liczników oznacza, że
decryptable_available_balance odpowiada available_balance.
Podczas pobierania stanu konta tokena w celu odczytania
decryptable_available_balance, różne wartości oczekiwanych i rzeczywistych
liczników wymagają, aby klient sprawdził ostatnie instrukcje wpłat/przelewów
odpowiadające różnicy liczników, aby obliczyć prawidłowe saldo.
Proces uzgadniania salda
Gdy oczekiwane i rzeczywiste liczniki salda oczekującego się różnią, wykonaj
następujące kroki, aby uzgodnić decryptable_available_balance:
- Zacznij od
decryptable_available_balancez konta tokena - Pobierz najnowsze transakcje, w tym instrukcje wpłat i przelewów, do różnicy
liczników (rzeczywisty - oczekiwany):
- Dodaj publiczne kwoty z instrukcji wpłat
- Odszyfruj i dodaj kwoty ciphertext z instrukcji przelewów na konto docelowe
Wymagane instrukcje
Utworzenie konta tokena z rozszerzeniem Confidential Transfer wymaga trzech instrukcji:
-
Utwórz konto tokena: Wywołaj instrukcję
AssociatedTokenAccountInstruction:Createprogramu Associated Token Program, aby utworzyć konto tokena. -
Zwiększ przestrzeń konta: Wywołaj instrukcję
TokenInstruction::Reallocateprogramu Token Extension, aby dodać miejsce na stanConfidentialTransferAccount. -
Skonfiguruj Confidential Transfers: Wywołaj instrukcję ConfidentialTransferInstruction::ConfigureAccount programu Token Extension, aby zainicjować stan
ConfidentialTransferAccount.
Tylko właściciel token account może skonfigurować token account do confidential transfers.
Instrukcja ConfigureAccount wymaga wygenerowania po stronie klienta kluczy
szyfrowania i danych dowodowych, które mogą być wygenerowane wyłącznie przez
właściciela token account.
Instrukcja PubkeyValidityProofData tworzy dowód potwierdzający, że klucz
ElGamal jest prawidłowy. Szczegóły implementacji znajdziesz tutaj:
Przykładowy kod
Poniższy kod demonstruje, jak utworzyć Associated Token Account z rozszerzeniem Confidential Transfer,
Aby uruchomić przykład, uruchom lokalny validator z programem Token Extension sklonowanym z mainnetu za pomocą poniższego polecenia. Musisz mieć zainstalowane Solana CLI, aby uruchomić lokalny validator.
$solana-test-validator --clone-upgradeable-program TokenzQdBNbLqP5VEhdkAS6EPFLC1PHnBqCXEpPxuEb --url https://api.mainnet.solana.com -r
W chwili pisania tego tekstu Confidential Transfers nie jest włączone w domyślnym lokalnym validatorze. Musisz sklonować program Token Extension z mainnetu, aby uruchomić przykładowy kod.
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?