pub fn execute_inner_circuit<C: Testnet1Components, CS: ConstraintSystem<C::InnerScalarField>>(
cs: &mut CS,
system_parameters: &SystemParameters<C>,
ledger_parameters: &C::MerkleParameters,
ledger_digest: &MerkleTreeDigest<C::MerkleParameters>,
old_records: &[Record<C>],
old_witnesses: &[MerklePath<C::MerkleParameters>],
old_private_keys: &[PrivateKey<C>],
old_serial_numbers: &[<C::AccountSignature as SignatureScheme>::PublicKey],
new_records: &[Record<C>],
new_sn_nonce_randomness: &[[u8; 32]],
new_commitments: &[<C::RecordCommitment as CommitmentScheme>::Output],
new_records_encryption_randomness: &[<C::AccountEncryption as EncryptionScheme>::Randomness],
new_records_encryption_gadget_components: &[RecordEncryptionGadgetComponents<C>],
new_encrypted_record_hashes: &[<C::EncryptedRecordCRH as CRH>::Output],
program_commitment: &<C::ProgramVerificationKeyCommitment as CommitmentScheme>::Output,
program_randomness: &<C::ProgramVerificationKeyCommitment as CommitmentScheme>::Randomness,
local_data_root: &<C::LocalDataCRH as CRH>::Output,
local_data_commitment_randomizers: &[<C::LocalDataCommitment as CommitmentScheme>::Randomness],
memo: &[u8; 32],
value_balance: AleoAmount,
network_id: u8
) -> Result<(), SynthesisError>