remove aes ciphertext from the proof program

zk-token-sdk/src/instruction/transfer.rs

@@ -6,7 +6,6 @@ use {
 use {
     crate::{
         encryption::{
-            aes::AESCiphertext,
             elgamal::{ElGamalCiphertext, ElGamalPubkey, ElGamalSecretKey},
             pedersen::{
                 Pedersen, PedersenBase, PedersenCommitment, PedersenDecryptHandle, PedersenOpening,
@@ -47,9 +46,6 @@ pub struct TransferData {
 
     /// Zero-knowledge proofs for Transfer
     pub proof: TransferProof,
-
-    /// The new decryptable balance
-    pub aes_ciphertext: pod::OptionAESCiphertext, // 17 bytes
 }
 
 #[cfg(not(target_arch = "bpf"))]
@@ -63,7 +59,6 @@ impl TransferData {
         source_sk: &ElGamalSecretKey,
         dest_pk: ElGamalPubkey,
         auditor_pk: ElGamalPubkey,
-        aes_ciphertext: Option<AESCiphertext>,
     ) -> Self {
         // split and encrypt transfer amount
         //
@@ -142,7 +137,6 @@ impl TransferData {
             new_spendable_ct: new_spendable_ct.into(),
             transfer_public_keys,
             proof,
-            aes_ciphertext: aes_ciphertext.into(),
         }
     }
 
@@ -500,7 +494,6 @@ mod test {
             &source_sk,
             dest_pk,
             auditor_pk,
-            None,
         );
 
         assert!(transfer_data.verify().is_ok());
@@ -535,7 +528,6 @@ mod test {
             &source_sk,
             dest_pk,
             auditor_pk,
-            None,
         );
 
         let decryption_data = decode_u32_precomputation_for_G();

zk-token-sdk/src/instruction/withdraw.rs

@@ -8,7 +8,6 @@ use {
         encryption::{
             elgamal::{ElGamalCiphertext, ElGamalPubkey, ElGamalSecretKey},
             pedersen::{PedersenBase, PedersenOpening},
-            aes::AESCiphertext,
         },
         errors::ProofError,
         instruction::Verifiable,
@@ -37,9 +36,6 @@ pub struct WithdrawData {
 
     /// Proof that the account is solvent
     pub proof: WithdrawProof, // 736 bytes
-
-    /// The new decryptable balance component
-    pub aes_ciphertext: pod::OptionAESCiphertext, // 17 bytes
 }
 
 impl WithdrawData {
@@ -50,7 +46,6 @@ impl WithdrawData {
         source_sk: &ElGamalSecretKey,
         current_balance: u64,
         current_balance_ct: ElGamalCiphertext,
-        aes_ciphertext: Option<AESCiphertext>,
     ) -> Self {
         // subtract withdraw amount from current balance
         //
@@ -67,7 +62,6 @@ impl WithdrawData {
         Self {
             final_balance_ct: final_balance_ct.into(),
             proof,
-            aes_ciphertext: aes_ciphertext.into(),
         }
     }
 }
@@ -198,7 +192,6 @@ mod test {
             &secret,
             current_balance,
             current_balance_ct,
-            None,
         );
         assert!(data.verify().is_ok());
 
@@ -210,7 +203,6 @@ mod test {
             &secret,
             wrong_balance,
             current_balance_ct,
-            None,
         );
         assert!(data.verify().is_err());