fn zksync_circuit(block_chunks: usize) -> impl Circuit<Engine> + Clone {
    let empty_operation = Operation {
        new_root: None,
        tx_type: None,
        chunk: None,
        pubdata_chunk: None,
        signer_pub_key_packed: vec![None; params::FR_BIT_WIDTH_PADDED],
        first_sig_msg: None,
        second_sig_msg: None,
        third_sig_msg: None,
        signature_data: SignatureData::init_empty(),
        args: OperationArguments {
            a: None,
            b: None,
            amount_packed: None,
            full_amount: None,
            fee: None,
            pub_nonce: None,
            new_pub_key_hash: None,
            eth_address: None,
        },
        lhs: OperationBranch {
            address: None,
            token: None,
            witness: OperationBranchWitness {
                account_witness: AccountWitness {
                    nonce: None,
                    pub_key_hash: None,
                    address: None,
                },
                account_path: vec![None; params::account_tree_depth()],
                balance_value: None,
                balance_subtree_path: vec![None; params::balance_tree_depth()],
            },
        },
        rhs: OperationBranch {
            address: None,
            token: None,
            witness: OperationBranchWitness {
                account_witness: AccountWitness {
                    nonce: None,
                    pub_key_hash: None,
                    address: None,
                },
                account_path: vec![None; params::account_tree_depth()],
                balance_value: None,
                balance_subtree_path: vec![None; params::balance_tree_depth()],
            },
        },
    };

    FranklinCircuit::<'_, Engine> {
        rescue_params: &params::RESCUE_PARAMS,
        jubjub_params: &params::JUBJUB_PARAMS,
        old_root: None,
        initial_used_subtree_root: None,
        validator_address: None,
        block_number: None,
        pub_data_commitment: None,
        validator_balances: vec![None; params::total_tokens()],
        validator_audit_path: vec![None; params::account_tree_depth()],
        operations: vec![empty_operation; block_chunks],
        validator_account: AccountWitness {
            nonce: None,
            pub_key_hash: None,
            address: None,
        },
    }
}
/// Creates instance of the main zkSync circuit with the given number chunks in block.
Creates instance of the main zkSync circuit with the given number chunks in block.
Creates instance of the main zkSync circuit with the given number chunks in block .
fn zksync_circuit(block_chunks: usize) -> impl Circuit<Engine> + Clone {
    let empty_operation = Operation {
        new_root: None,
        tx_type: None,
        chunk: None,
        pubdata_chunk: None,
        signer_pub_key_packed: vec![None; params::FR_BIT_WIDTH_PADDED],
        first_sig_msg: None,
        second_sig_msg: None,
        third_sig_msg: None,
        signature_data: SignatureData::init_empty(),
        args: OperationArguments {
            a: None,
            b: None,
            amount_packed: None,
            full_amount: None,
            fee: None,
            pub_nonce: None,
            new_pub_key_hash: None,
            eth_address: None,
        },
        lhs: OperationBranch {
            address: None,
            token: None,
            witness: OperationBranchWitness {
                account_witness: AccountWitness {
                    nonce: None,
                    pub_key_hash: None,
                    address: None,
                },
                account_path: vec![None; params::account_tree_depth()],
                balance_value: None,
                balance_subtree_path: vec![None; params::balance_tree_depth()],
            },
        },
        rhs: OperationBranch {
            address: None,
            token: None,
            witness: OperationBranchWitness {
                account_witness: AccountWitness {
                    nonce: None,
                    pub_key_hash: None,
                    address: None,
                },
                account_path: vec![None; params::account_tree_depth()],
                balance_value: None,
                balance_subtree_path: vec![None; params::balance_tree_depth()],
            },
        },
    };
    FranklinCircuit::<'_, Engine> {
        rescue_params: &params::RESCUE_PARAMS,
        jubjub_params: &params::JUBJUB_PARAMS,
        old_root: None,
        initial_used_subtree_root: None,
        validator_address: None,
        block_number: None,
        pub_data_commitment: None,
        validator_balances: vec![None; params::total_tokens()],
        validator_audit_path: vec![None; params::account_tree_depth()],
        operations: vec![empty_operation; block_chunks],
        validator_account: AccountWitness {
            nonce: None,
            pub_key_hash: None,
            address: None,
        },
    }
}
fn zksync_circuit ( block_chunks : usize ) -> impl Circuit < Engine > + Clone { let empty_operation = Operation { new_root : None , tx_type : None , chunk : None , pubdata_chunk : None , signer_pub_key_packed : vec ! [ None params FR_BIT_WIDTH_PADDED ] , first_sig_msg : None , second_sig_msg : None , third_sig_msg : None , signature_data : SignatureData :: init_empty ( ) , args : OperationArguments { a : None , b : None , amount_packed : None , full_amount : None , fee : None , pub_nonce : None , new_pub_key_hash : None , eth_address : None , } , lhs : OperationBranch { address : None , token : None , witness : OperationBranchWitness { account_witness : AccountWitness { nonce : None , pub_key_hash : None , address : None , } , account_path : vec ! [ None params account_tree_depth ( ) ] , balance_value : None , balance_subtree_path : vec ! [ None params balance_tree_depth ( ) ] , } , } , rhs : OperationBranch { address : None , token : None , witness : OperationBranchWitness { account_witness : AccountWitness { nonce : None , pub_key_hash : None , address : None , } , account_path : vec ! [ None params account_tree_depth ( ) ] , balance_value : None , balance_subtree_path : vec ! [ None params balance_tree_depth ( ) ] , } , } , } ; FranklinCircuit :: < ' _ , Engine > { rescue_params : & params :: RESCUE_PARAMS , jubjub_params : & params :: JUBJUB_PARAMS , old_root : None , initial_used_subtree_root : None , validator_address : None , block_number : None , pub_data_commitment : None , validator_balances : vec ! [ None params total_tokens ( ) ] , validator_audit_path : vec ! [ None params account_tree_depth ( ) ] , operations : vec ! [ empty_operation block_chunks ] , validator_account : AccountWitness { nonce : None , pub_key_hash : None , address : None , } , } }
Creates instance of the main zkSync circuit with the given number chunks in block.
Creates instance of the main zkSync circuit with the given number chunks in block .
block_chunks
usize