Index

_

__add__() (zkay.transaction.crypto.babyjubjub.FieldElement method) (zkay.transaction.crypto.babyjubjub.Point method) (zkay.utils.dict_wrapper.DictWrapper method) __blockchain (zkay.transaction.runtime.Runtime attribute) __bool__() (zkay.compiler.name_remapper.Remapper method) __call__() (zkay.transaction.crypto.rsa_base.PersistentLocals method) (zkay.utils.timer.Timer method) __call_ctx() (zkay.transaction.offchain.ApiWrapper method) __check_args() (zkay.transaction.interface.ZkayBlockchainInterface static method) __cmp_type_size() (zkay.zkay_ast.ast.CodeVisitor static method) __contains__() (zkay.utils.dict_wrapper.DictWrapper method) (zkay.zkay_ast.ast.StatementList method) __contract_handle (zkay.transaction.offchain.ApiWrapper attribute) __convert() (in module zkay.transaction.int_casts) __copy__() (zkay.utils.dict_wrapper.DictWrapper method) __crypto (zkay.transaction.runtime.Runtime attribute) __current_tx (zkay.transaction.offchain.ApiWrapper attribute) __eq__() (zkay.transaction.crypto.babyjubjub.FieldElement method) (zkay.transaction.crypto.babyjubjub.Point method) (zkay.transaction.crypto.params.CryptoParams method) (zkay.transaction.types.Value method) (zkay.utils.dict_wrapper.DictWrapper method) (zkay.zkay_ast.ast.AddressPayableTypeName method) (zkay.zkay_ast.ast.AddressTypeName method) (zkay.zkay_ast.ast.AllExpr method) (zkay.zkay_ast.ast.AnnotatedTypeName method) (zkay.zkay_ast.ast.Array method) (zkay.zkay_ast.ast.BooleanLiteralType method) (zkay.zkay_ast.ast.BoolTypeName method) (zkay.zkay_ast.ast.CipherText method) (zkay.zkay_ast.ast.ElementaryTypeName method) (zkay.zkay_ast.ast.FunctionTypeName method) (zkay.zkay_ast.ast.InstanceTarget method) (zkay.zkay_ast.ast.Key method) (zkay.zkay_ast.ast.Mapping method) (zkay.zkay_ast.ast.MeExpr method) (zkay.zkay_ast.ast.NumberLiteralType method) (zkay.zkay_ast.ast.NumberTypeName method) (zkay.zkay_ast.ast.Proof method) (zkay.zkay_ast.ast.Randomness method) (zkay.zkay_ast.ast.TupleType method) (zkay.zkay_ast.ast.TypeName method) (zkay.zkay_ast.ast.UserDefinedTypeName method) __floordiv__() (zkay.utils.multiline_formatter.MultiLineFormatter method) __get() (zkay.transaction.offchain.StateDict method) __get_decrypted_retval() (zkay.transaction.offchain.ApiWrapper method) __getitem__() (zkay.transaction.offchain.LocalsDict method) (zkay.transaction.offchain.StateDict method) (zkay.utils.dict_wrapper.DictWrapper method) (zkay.zkay_ast.ast.ContractDefinition method) (zkay.zkay_ast.ast.SourceUnit method) (zkay.zkay_ast.ast.StatementList method) (zkay.zkay_ast.ast.TupleType method) __hardcoded_external_contracts_ctx() (zkay.transaction.blockchain.web3py.Web3Blockchain method) __hash__() (zkay.transaction.crypto.params.CryptoParams method) (zkay.transaction.types.Value method) (zkay.zkay_ast.ast.AllExpr method) (zkay.zkay_ast.ast.InstanceTarget method) (zkay.zkay_ast.ast.MeExpr method) __iadd__() (zkay.utils.dict_wrapper.DictWrapper method) __init_worker() (zkay.compiler.privacy.circuit_generation.circuit_generator.CircuitGenerator static method) __iter__() (zkay.zkay_ast.ast.TupleType method) __keystore (zkay.transaction.runtime.Runtime attribute) __len__() (zkay.transaction.types.CipherValue method) (zkay.zkay_ast.ast.TupleType method) __metaclass__ (zkay.zkay_ast.ast.TypeName attribute) __mod__() (zkay.utils.multiline_formatter.MultiLineFormatter method) __mul__() (zkay.transaction.crypto.babyjubjub.FieldElement method) (zkay.transaction.crypto.babyjubjub.Point method) (zkay.utils.multiline_formatter.MultiLineFormatter method) __neg__() (zkay.transaction.crypto.babyjubjub.FieldElement method) __normalized_hex() (zkay.transaction.blockchain.web3py.Web3Blockchain method) __prover (zkay.transaction.runtime.Runtime attribute) __repr__() (zkay.utils.dict_wrapper.DictWrapper method) __serialize_circuit_array() (zkay.transaction.offchain.ApiWrapper static method) __serialize_val() (zkay.transaction.offchain.ApiWrapper static method) __setitem__() (zkay.transaction.offchain.LocalsDict method) (zkay.transaction.offchain.StateDict method) (zkay.utils.dict_wrapper.DictWrapper method) __str__() (zkay.compiler.privacy.proving_scheme.proving_scheme.G1Point method) (zkay.compiler.privacy.proving_scheme.proving_scheme.G2Point method) (zkay.transaction.crypto.babyjubjub.Fq method) (zkay.transaction.crypto.babyjubjub.Fr method) (zkay.transaction.crypto.babyjubjub.Point method) (zkay.transaction.types.AddressValue method) (zkay.transaction.types.Value method) (zkay.utils.multiline_formatter.MultiLineFormatter method) (zkay.zkay_ast.analysis.partition_state.PartitionState method) (zkay.zkay_ast.ast.AST method) (zkay.zkay_ast.homomorphism.Homomorphism method) __sub__() (zkay.transaction.crypto.babyjubjub.FieldElement method) __truediv__() (zkay.transaction.crypto.babyjubjub.FieldElement method) (zkay.utils.multiline_formatter.MultiLineFormatter method) __user_addr (zkay.transaction.offchain.ApiWrapper attribute) _add_assign() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) _announce_public_key() (zkay.transaction.blockchain.web3py.Web3Blockchain method) (zkay.transaction.interface.ZkayBlockchainInterface method) _blockchain_classes (in module zkay.transaction.runtime) _bn128_comp_scalar_field (in module zkay.transaction.offchain) _call() (zkay.transaction.blockchain.web3py.Web3Blockchain method) (zkay.transaction.interface.ZkayBlockchainInterface method) _check_is_one_of() (in module zkay.config_user) _circ_temp_name_factory (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper attribute) _circ_trafo (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper attribute) _class_template_str (in module zkay.jsnark_interface.jsnark_interface) _collect_package_contents() (in module zkay.zkay_frontend) _compute_transitive_circuit_io_sizes() (in module zkay.compiler.privacy.transformation.internal_call_transformer) _connect() (zkay.transaction.blockchain.web3py.Web3Blockchain method) (zkay.transaction.interface.ZkayBlockchainInterface method) _connect_libraries() (zkay.transaction.blockchain.web3py.Web3Blockchain method) (zkay.transaction.blockchain.web3py.Web3TesterBlockchain method) (zkay.transaction.blockchain.Web3TesterBlockchain method) (zkay.transaction.interface.ZkayBlockchainInterface method) _create_temp_var() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) _create_w3_instance() (zkay.transaction.blockchain.Web3CustomBlockchain method) (zkay.transaction.blockchain.Web3HttpBlockchain method) (zkay.transaction.blockchain.Web3IpcBlockchain method) (zkay.transaction.blockchain.web3py.Web3Blockchain method) (zkay.transaction.blockchain.web3py.Web3CustomBlockchain method) (zkay.transaction.blockchain.web3py.Web3HttpBlockchain method) (zkay.transaction.blockchain.web3py.Web3IpcBlockchain method) (zkay.transaction.blockchain.web3py.Web3TesterBlockchain method) (zkay.transaction.blockchain.web3py.Web3WebsocketBlockchain method) (zkay.transaction.blockchain.Web3TesterBlockchain method) (zkay.transaction.blockchain.Web3WebsocketBlockchain method)

_crypto_classes (in module zkay.transaction.runtime) _de_embed() (zkay.transaction.crypto.elgamal.ElgamalCrypto method) _dec() (zkay.transaction.crypto.dummy.DummyCrypto method) (zkay.transaction.crypto.dummy_hom.DummyHomCrypto method) (zkay.transaction.crypto.ecdh_aes.EcdhAesCrypto method) (zkay.transaction.crypto.ecdh_chaskey.EcdhChaskeyCrypto method) (zkay.transaction.crypto.elgamal.ElgamalCrypto method) (zkay.transaction.crypto.paillier.PaillierCrypto method) (zkay.transaction.crypto.rsa_oaep.RSAOAEPCrypto method) (zkay.transaction.crypto.rsa_pkcs15.RSAPKCS15Crypto method) (zkay.transaction.interface.ZkayCryptoInterface method) _default_address() (zkay.transaction.blockchain.web3py.Web3Blockchain method) (zkay.transaction.interface.ZkayBlockchainInterface method) _deploy() (zkay.transaction.blockchain.web3py.Web3Blockchain method) (zkay.transaction.interface.ZkayBlockchainInterface method) _deploy_contract() (zkay.transaction.blockchain.web3py.Web3Blockchain method) _deploy_dependencies() (zkay.transaction.blockchain.web3py.Web3Blockchain method) (zkay.transaction.interface.ZkayBlockchainInterface method) _dump_to_output() (in module zkay.zkay_frontend) _ecdh_sha256() (zkay.transaction.crypto.ecdh_base.EcdhBase static method) _enc() (zkay.transaction.crypto.dummy.DummyCrypto method) (zkay.transaction.crypto.dummy_hom.DummyHomCrypto method) (zkay.transaction.crypto.ecdh_aes.EcdhAesCrypto method) (zkay.transaction.crypto.ecdh_chaskey.EcdhChaskeyCrypto method) (zkay.transaction.crypto.elgamal.ElgamalCrypto method) (zkay.transaction.crypto.paillier.PaillierCrypto method) (zkay.transaction.crypto.rsa_oaep.RSAOAEPCrypto method) (zkay.transaction.crypto.rsa_pkcs15.RSAPKCS15Crypto method) (zkay.transaction.interface.ZkayCryptoInterface method) _enc_with_rand() (zkay.transaction.crypto.elgamal.ElgamalCrypto method) (zkay.transaction.crypto.paillier.PaillierCrypto method) _ensure_encryption() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) _evaluate_private_expression() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) _find_lca() (zkay.zkay_ast.pointers.symbol_table.SymbolTableLinker static method) _find_next_decl() (zkay.zkay_ast.pointers.symbol_table.SymbolTableLinker static method) _function_ctx() (zkay.transaction.offchain.ContractSimulator method) _gas_heuristic() (zkay.transaction.blockchain.Web3HttpGanacheBlockchain method) (zkay.transaction.blockchain.web3py.Web3Blockchain method) (zkay.transaction.blockchain.web3py.Web3HttpGanacheBlockchain method) (zkay.transaction.blockchain.web3py.Web3TesterBlockchain method) (zkay.transaction.blockchain.Web3TesterBlockchain method) _gen_keypair() (zkay.transaction.crypto.ecdh_base.EcdhBase static method) _generate_key_pair() (zkay.transaction.crypto.elgamal.ElgamalCrypto method) (zkay.transaction.crypto.paillier.PaillierCrypto method) _generate_keys() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkGenerator method) (zkay.compiler.privacy.circuit_generation.circuit_generator.CircuitGenerator method) _generate_keys_par() (zkay.compiler.privacy.circuit_generation.circuit_generator.CircuitGenerator method) _generate_or_load_key_pair() (zkay.transaction.crypto.dummy.DummyCrypto method) (zkay.transaction.crypto.dummy_hom.DummyHomCrypto method) (zkay.transaction.crypto.ecdh_base.EcdhBase method) (zkay.transaction.crypto.elgamal.ElgamalCrypto method) (zkay.transaction.crypto.paillier.PaillierCrypto method) (zkay.transaction.crypto.rsa_base.RSACrypto method) (zkay.transaction.interface.ZkayCryptoInterface method) _generate_proof() (zkay.transaction.interface.ZkayProverInterface method) (zkay.transaction.prover.jsnark.JsnarkProver method) (zkay.transaction.prover.JsnarkProver method) _generate_zkcircuit() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkGenerator method) (zkay.compiler.privacy.circuit_generation.circuit_generator.CircuitGenerator method) _get_balance() (zkay.transaction.blockchain.web3py.Web3Blockchain method) (zkay.transaction.interface.ZkayBlockchainInterface method) _get_canonical_privacy_label() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) _get_circuit_output_dir() (zkay.compiler.privacy.circuit_generation.circuit_generator.CircuitGenerator method) _get_circuit_output_for_private_expression() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) _get_crypto_backend() (zkay.config_user.UserConfig method) _get_forbidden_words (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor property) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor property) _get_line_col() (in module zkay.compiler.solidity.compiler) _get_primary_inputs() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkGenerator method) (zkay.compiler.privacy.circuit_generation.circuit_generator.CircuitGenerator method) _get_prover_key_hash() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkGenerator method) (zkay.compiler.privacy.circuit_generation.circuit_generator.CircuitGenerator method) _get_public_key_in_sender_field() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) _get_t() (in module zkay.compiler.privacy.circuit_generation.backends.jsnark_generator) _get_type_constr() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) _get_vk_and_pk_paths() (zkay.compiler.privacy.circuit_generation.circuit_generator.CircuitGenerator method) _global_keys (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper attribute) _handle_crement_expr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) _in_name_factory (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper attribute) _insert_partition() (zkay.zkay_ast.analysis.partition_state.PartitionState method) _kwords (in module zkay.zkay_ast.visitor.python_visitor) _load_cfg_file_if_exists() (zkay.config.Config method) _needed_secret_key (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper attribute) _negated() (zkay.zkay_ast.analysis.alias_analysis.GuardConditionAnalyzer method) _out_name_factory (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper attribute) _parse_verification_key() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkGenerator method) (zkay.compiler.privacy.circuit_generation.circuit_generator.CircuitGenerator method) _phi (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper attribute) _prover_classes (in module zkay.transaction.runtime) _read_key_pair() (zkay.transaction.crypto.elgamal.ElgamalCrypto method) (zkay.transaction.crypto.paillier.PaillierCrypto method) _recursive_update() (in module zkay.zkay_ast.analysis.alias_analysis) _remapper (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper attribute) _replace_ast() (in module zkay.zkay_ast.visitor.deep_copy) _req_public_key() (zkay.transaction.blockchain.web3py.Web3Blockchain method) (zkay.transaction.interface.ZkayBlockchainInterface method) _req_state_var() (zkay.transaction.blockchain.web3py.Web3Blockchain method) (zkay.transaction.interface.ZkayBlockchainInterface method) (zkay.transaction.offchain.ApiWrapper method) _requested_dynamic_pks (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper attribute) _require_public_key_for_label_at() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) _require_secret_key() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) _scope() (zkay.transaction.offchain.ContractSimulator method) _secret_input_name_factory (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper attribute) _set_serialized_loc() (zkay.zkay_ast.ast.HybridArgumentIdf method) _static_owner_labels (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper attribute) _transact() (zkay.transaction.blockchain.web3py.Web3Blockchain method) (zkay.transaction.interface.ZkayBlockchainInterface method) _type_check() (in module zkay.config_user) _update_fct_type() (zkay.zkay_ast.ast.ConstructorOrFunctionDefinition method) _verify_contract_integrity() (zkay.transaction.blockchain.web3py.Web3Blockchain method) (zkay.transaction.interface.ZkayBlockchainInterface method) _verify_library_integrity() (zkay.transaction.blockchain.web3py.Web3Blockchain method) (zkay.transaction.interface.ZkayBlockchainInterface method) _verify_zkay_contract_integrity() (zkay.transaction.blockchain.web3py.Web3Blockchain method) (zkay.transaction.interface.ZkayBlockchainInterface method) _visit_internal() (zkay.zkay_ast.visitor.transformer_visitor.AstTransformerVisitor method) (zkay.zkay_ast.visitor.visitor.AstVisitor method) _visitBinaryExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) _visitBoolExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) _write_key_pair() (zkay.transaction.crypto.elgamal.ElgamalCrypto method) (zkay.transaction.crypto.paillier.PaillierCrypto method)

A

add_assignment_to_circuit() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) add_block_to_circuit() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) add_child() (zkay.zkay_ast.ast.ChildListBuilder method) add_function_circuit_arguments() (in module zkay.compiler.privacy.circuit_generation.backends.jsnark_generator) add_idf() (zkay.compiler.privacy.circuit_generation.name_factory.NameFactory method) add_if_statement_to_circuit() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) add_keypair() (zkay.transaction.interface.ZkayKeystoreInterface method) add_param() (zkay.zkay_ast.ast.ConstructorOrFunctionDefinition method) add_return_stmt_to_circuit() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) add_to_circuit_inputs() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) add_var_decl_to_circuit() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) addhom_crypto_backend (zkay.config_user.UserConfig property) ADDHOM_UNHOM_PATTERN (in module zkay.compiler.solidity.fake_solidity_generator) ADDITIVE (zkay.zkay_ast.homomorphism.Homomorphism attribute) address (zkay.transaction.offchain.ApiWrapper property) (zkay.transaction.offchain.ContractSimulator property) address_all() (zkay.zkay_ast.ast.AnnotatedTypeName static method) address_payable_struct (zkay.zkay_ast.global_defs.GlobalDefs attribute) address_payable_type() (zkay.zkay_ast.ast.TypeName static method) address_struct (zkay.zkay_ast.global_defs.GlobalDefs attribute) address_type() (zkay.zkay_ast.ast.TypeName static method) AddressPayableTypeName (class in zkay.zkay_ast.ast) AddressTypeName (class in zkay.zkay_ast.ast) AddressValue (class in zkay.transaction.types) alias_analysis() (in module zkay.zkay_ast.analysis.alias_analysis) AliasAnalysisVisitor (class in zkay.zkay_ast.analysis.alias_analysis) all() (zkay.zkay_ast.ast.AnnotatedTypeName static method) all_crypto_params() (zkay.config_user.UserConfig method) all_expr() (zkay.zkay_ast.ast.Expression static method) ALL_PATTERN (in module zkay.compiler.solidity.fake_solidity_generator) all_priv_values (zkay.transaction.offchain.ApiWrapper attribute)

AllExpr (class in zkay.zkay_ast.ast) alt_bn128_pairing_lib (in module zkay.compiler.privacy.library_contracts) alt_bn128_pairing_lib_simple (in module zkay.compiler.privacy.library_contracts) analysis (zkay.zkay_ast.ast.Expression property) AnalysisException analyze() (zkay.zkay_ast.analysis.alias_analysis.GuardConditionAnalyzer method) annotate() (zkay.zkay_ast.ast.TupleType method) (zkay.zkay_ast.ast.TypeName method) AnnotatedTypeName (class in zkay.zkay_ast.ast) announce_public_key() (zkay.transaction.interface.ZkayBlockchainInterface method) any() (zkay.zkay_ast.ast.NumberTypeName static method) api() (in module zkay.compiler.privacy.offchain_compiler) api_function_ctx() (zkay.transaction.offchain.ApiWrapper method) ApiWrapper (class in zkay.transaction.offchain) append() (zkay.utils.multiline_formatter.MultiLineFormatter method) append_lines() (zkay.utils.multiline_formatter.MultiLineFormatter method) arithmetic (in module zkay.zkay_ast.ast) arity() (zkay.zkay_ast.ast.BuiltinFunction method) Array (class in zkay.zkay_ast.ast) array_all() (zkay.zkay_ast.ast.AnnotatedTypeName static method) array_length_member (in module zkay.zkay_ast.global_defs) ArrayLiteralExpr (class in zkay.zkay_ast.ast) as_type() (zkay.zkay_ast.ast.Expression method) assign() (zkay.zkay_ast.ast.LocationExpr method) (zkay.zkay_ast.ast.TupleExpr method) assign_location() (zkay.type_check.type_checker.TypeCheckVisitor static method) AssignmentStatement (class in zkay.zkay_ast.ast) AST (class in zkay.zkay_ast.ast) AstException AstTransformerVisitor (class in zkay.zkay_ast.visitor.transformer_visitor) AstVisitor (class in zkay.zkay_ast.visitor.visitor) ATYPE_PATTERN (in module zkay.compiler.solidity.fake_solidity_generator)

B

BABYJUBJUB_A (in module zkay.transaction.crypto.babyjubjub) BABYJUBJUB_D (in module zkay.transaction.crypto.babyjubjub) BABYJUBJUB_GENERATOR_X (in module zkay.transaction.crypto.babyjubjub) BABYJUBJUB_GENERATOR_Y (in module zkay.transaction.crypto.babyjubjub) balance (zkay.transaction.types.AddressValue property) BASE_ORDER (in module zkay.transaction.crypto.babyjubjub) BaseNameFactory (class in zkay.compiler.privacy.circuit_generation.name_factory) binop() (zkay.zkay_ast.ast.Expression method) bitop (in module zkay.zkay_ast.ast) BlankLine (class in zkay.zkay_ast.ast) Block (class in zkay.zkay_ast.ast) block (zkay.zkay_ast.global_defs.GlobalVars attribute) block_struct (zkay.zkay_ast.global_defs.GlobalDefs attribute) blockchain() (zkay.transaction.runtime.Runtime static method) blockchain_backend (zkay.config_user.UserConfig property) blockchain_crypto_lib_addresses (zkay.config_user.UserConfig property) blockchain_default_account (zkay.config_user.UserConfig property) blockchain_node_uri (zkay.config_user.UserConfig property) blockchain_pki_address (zkay.config_user.UserConfig property)

BlockChainError BlockStruct (class in zkay.transaction.types) bn128_scalar_field (in module zkay.compiler.privacy.library_contracts) (in module zkay.transaction.offchain) bn128_scalar_field_bits (in module zkay.compiler.privacy.library_contracts) BOLD (zkay.utils.progress_printer.TermColor attribute) bool_all() (zkay.zkay_ast.ast.AnnotatedTypeName static method) bool_type() (zkay.zkay_ast.ast.TypeName static method) BooleanLiteralExpr (class in zkay.zkay_ast.ast) BooleanLiteralType (class in zkay.zkay_ast.ast) BoolTypeName (class in zkay.zkay_ast.ast) bop (in module zkay.zkay_ast.ast) BRACE_PATTERN (in module zkay.compiler.solidity.fake_solidity_generator) BreakStatement (class in zkay.zkay_ast.ast) build_ast() (in module zkay.zkay_ast.build_ast) build_ast_from_parse_tree() (in module zkay.zkay_ast.build_ast) BuildASTVisitor (class in zkay.zkay_ast.build_ast) builtin_functions (in module zkay.zkay_ast.ast) builtin_op_fct (in module zkay.zkay_ast.ast) BuiltinFunction (class in zkay.zkay_ast.ast)

C

call() (zkay.transaction.interface.ZkayBlockchainInterface method) (zkay.transaction.offchain.ApiWrapper method) (zkay.zkay_ast.ast.LocationExpr method) call_fct() (zkay.transaction.offchain.ApiWrapper method) call_function() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) call_graph_analysis() (in module zkay.zkay_ast.analysis.call_graph) can_be_external (zkay.zkay_ast.ast.ConstructorOrFunctionDefinition property) can_be_private (zkay.zkay_ast.global_defs.GlobalDefs attribute), [1] can_be_private() (zkay.zkay_ast.ast.BuiltinFunction method) (zkay.zkay_ast.ast.TypeName method) can_rehom() (zkay.type_check.type_checker.TypeCheckVisitor static method) can_represent() (zkay.zkay_ast.ast.NumberTypeName method) cfg (in module zkay.config) check_circuit_compliance() (in module zkay.zkay_ast.analysis.circuit_compatibility_checker) check_compilation() (in module zkay.compiler.solidity.compiler) check_component_wise() (zkay.zkay_ast.ast.TupleType method) check_final() (in module zkay.type_check.final_checker) (zkay.type_check.type_checker.TypeCheckVisitor method) check_for_invalid_private_type() (zkay.type_check.type_checker.TypeCheckVisitor static method) check_for_nonstatic_function_calls_or_not_circuit_inlineable_in_private_exprs() (in module zkay.zkay_ast.analysis.circuit_compatibility_checker) check_for_undefined_behavior_due_to_eval_order() (in module zkay.zkay_ast.analysis.side_effects) check_for_zkay_solc_errors() (in module zkay.compiler.solidity.compiler) check_loops() (in module zkay.zkay_ast.analysis.loop_checker) check_return() (in module zkay.zkay_ast.analysis.return_checker) ChildListBuilder (class in zkay.zkay_ast.ast) children() (zkay.zkay_ast.ast.AST method) cipher_bytes_payload (zkay.transaction.crypto.params.CryptoParams property) cipher_chunk_size (zkay.transaction.crypto.params.CryptoParams property) cipher_len (zkay.transaction.crypto.params.CryptoParams property) cipher_payload_len (zkay.transaction.crypto.params.CryptoParams property) cipher_type() (zkay.zkay_ast.ast.AnnotatedTypeName static method) (zkay.zkay_ast.ast.TypeName static method) CipherText (class in zkay.zkay_ast.ast) CipherValue (class in zkay.transaction.types) circ_indent_block() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) CircCall (class in zkay.compiler.privacy.circuit_generation.circuit_constraints) CircComment (class in zkay.compiler.privacy.circuit_generation.circuit_constraints) CircEncConstraint (class in zkay.compiler.privacy.circuit_generation.circuit_constraints) CircEqConstraint (class in zkay.compiler.privacy.circuit_generation.circuit_constraints) CircGuardModification (class in zkay.compiler.privacy.circuit_generation.circuit_constraints) CircIndentBlock (class in zkay.compiler.privacy.circuit_generation.circuit_constraints) CircSymmEncConstraint (class in zkay.compiler.privacy.circuit_generation.circuit_constraints) circuit_builder_jar (in module zkay.jsnark_interface.jsnark_interface) circuit_builder_jar_hash (in module zkay.jsnark_interface.jsnark_interface) circuit_computation() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) circuit_ctx() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) CircuitComplianceChecker (class in zkay.zkay_ast.analysis.circuit_compatibility_checker) CircuitComputationStatement (class in zkay.zkay_ast.ast) CircuitDirectiveStatement (class in zkay.zkay_ast.ast) CircuitGenerator (class in zkay.compiler.privacy.circuit_generation.circuit_generator) CircuitHelper (class in zkay.compiler.privacy.circuit_generation.circuit_helper) CircuitInputStatement (class in zkay.zkay_ast.ast) circuits (zkay.compiler.privacy.transformation.zkay_contract_transformer.ZkayTransformer attribute) CircuitStatement (class in zkay.compiler.privacy.circuit_generation.circuit_constraints) CircVarDecl (class in zkay.compiler.privacy.circuit_generation.circuit_constraints) CircVarRemapper (class in zkay.compiler.name_remapper) clear() (zkay.compiler.name_remapper.Remapper method) (zkay.transaction.offchain.StateDict method) clear_locals() (zkay.transaction.crypto.rsa_base.PersistentLocals method) clear_special_variables() (zkay.transaction.offchain.ApiWrapper method) clone() (zkay.zkay_ast.ast.AddressPayableTypeName method) (zkay.zkay_ast.ast.AddressTypeName method) (zkay.zkay_ast.ast.AllExpr method) (zkay.zkay_ast.ast.AnnotatedTypeName method) (zkay.zkay_ast.ast.Array method) (zkay.zkay_ast.ast.BooleanLiteralType method) (zkay.zkay_ast.ast.BoolTypeName method) (zkay.zkay_ast.ast.CipherText method) (zkay.zkay_ast.ast.ContractTypeName method) (zkay.zkay_ast.ast.ElementaryTypeName method) (zkay.zkay_ast.ast.EnumTypeName method) (zkay.zkay_ast.ast.EnumValueTypeName method) (zkay.zkay_ast.ast.FunctionTypeName method) (zkay.zkay_ast.ast.HybridArgumentIdf method) (zkay.zkay_ast.ast.Identifier method) (zkay.zkay_ast.ast.IdentifierExpr method) (zkay.zkay_ast.ast.IntTypeName method) (zkay.zkay_ast.ast.Key method) (zkay.zkay_ast.ast.Mapping method) (zkay.zkay_ast.ast.MeExpr method) (zkay.zkay_ast.ast.NumberLiteralType method) (zkay.zkay_ast.ast.Proof method) (zkay.zkay_ast.ast.Randomness method) (zkay.zkay_ast.ast.StructTypeName method) (zkay.zkay_ast.ast.TupleType method) (zkay.zkay_ast.ast.TypeName method) (zkay.zkay_ast.ast.UintTypeName method) (zkay.zkay_ast.ast.UserDefinedTypeName method)

code() (zkay.zkay_ast.ast.AST method) (zkay.zkay_ast.homomorphism.Homomorphism method) CodeVisitor (class in zkay.zkay_ast.ast) coinbase (zkay.transaction.types.BlockStruct property) collect_children_names() (in module zkay.zkay_ast.pointers.symbol_table) collect_modified_values() (zkay.zkay_ast.analysis.side_effects.DirectModificationDetector method) collection_to_string() (zkay.transaction.types.Value static method) colored_print() (in module zkay.utils.progress_printer) combine_homomorphism() (zkay.type_check.type_checker.TypeCheckVisitor static method) combined_privacy() (zkay.zkay_ast.ast.AnnotatedTypeName method) combined_type() (zkay.zkay_ast.ast.BooleanLiteralType method) (zkay.zkay_ast.ast.NumberLiteralType method) (zkay.zkay_ast.ast.TupleType method) (zkay.zkay_ast.ast.TypeName method) Comment (class in zkay.zkay_ast.ast) comment_list() (zkay.zkay_ast.ast.Comment static method) comment_wrap_block() (zkay.zkay_ast.ast.Comment static method) comp (in module zkay.zkay_ast.ast) compatible_with() (zkay.zkay_ast.ast.TupleType method) (zkay.zkay_ast.ast.TypeName method) compile_and_run_with_circuit_builder() (in module zkay.jsnark_interface.jsnark_interface) compile_circuit() (in module zkay.jsnark_interface.jsnark_interface) compile_contract() (zkay.transaction.blockchain.web3py.Web3Blockchain static method) compile_solidity_code() (in module zkay.compiler.solidity.compiler) compile_solidity_json() (in module zkay.compiler.solidity.compiler) compile_zkay() (in module zkay.zkay_frontend) compile_zkay_file() (in module zkay.zkay_frontend) compute_modified_sets() (in module zkay.zkay_ast.analysis.side_effects) compute_transitive_circuit_io_sizes() (in module zkay.compiler.privacy.transformation.internal_call_transformer) compute_transitive_homomorphisms() (zkay.zkay_ast.analysis.used_homomorphisms.UsedHomomorphismsVisitor static method) Config (class in zkay.config) connect() (zkay.transaction.interface.ZkayBlockchainInterface method) (zkay.transaction.offchain.ApiWrapper method) connect_to_contract_at() (in module zkay.zkay_frontend) ConstructorOrFunctionDefinition (class in zkay.zkay_ast.ast) contains_private() (in module zkay.type_check.contains_private) contains_private_expr() (in module zkay.zkay_ast.analysis.contains_private_checker) ContainsPrivateVisitor (class in zkay.type_check.contains_private) ContainsPrivVisitor (class in zkay.zkay_ast.analysis.contains_private_checker) ContinueStatement (class in zkay.zkay_ast.ast) contract_definition_to_str() (zkay.zkay_ast.ast.CodeVisitor static method) CONTRACT_START_PATTERN (in module zkay.compiler.solidity.fake_solidity_generator) ContractDefinition (class in zkay.zkay_ast.ast) ContractSimulator (class in zkay.transaction.offchain) ContractTypeName (class in zkay.zkay_ast.ast) copy() (zkay.zkay_ast.analysis.partition_state.PartitionState method) (zkay.zkay_ast.ast.Parameter method) copy_ast_fields() (zkay.zkay_ast.visitor.deep_copy.DeepCopyVisitor static method) copy_field() (zkay.zkay_ast.visitor.deep_copy.DeepCopyVisitor method) count_statements() (in module zkay.zkay_ast.visitor.statement_counter) create_circuit_helper() (zkay.compiler.privacy.transformation.zkay_contract_transformer.ZkayTransformer static method) create_contract_variable() (zkay.compiler.privacy.transformation.zkay_contract_transformer.ZkayTransformer static method) create_dummy_accounts() (zkay.transaction.offchain.ContractSimulator static method) create_dummy_key() (zkay.compiler.privacy.proving_scheme.backends.gm17.ProvingSchemeGm17.VerifyingKey class method) (zkay.compiler.privacy.proving_scheme.backends.groth16.ProvingSchemeGroth16.VerifyingKey class method) (zkay.compiler.privacy.proving_scheme.proving_scheme.VerifyingKey class method) create_external_wrapper_body() (zkay.compiler.privacy.transformation.zkay_contract_transformer.ZkayTransformer static method) create_internal_verification_wrapper() (zkay.compiler.privacy.transformation.zkay_contract_transformer.ZkayTransformer method) create_new_idf_version_from_value() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) create_surrogate_string() (in module zkay.compiler.solidity.fake_solidity_generator) create_test_accounts() (zkay.transaction.blockchain.Web3HttpGanacheBlockchain method) (zkay.transaction.blockchain.web3py.Web3HttpGanacheBlockchain method) (zkay.transaction.blockchain.web3py.Web3TesterBlockchain method) (zkay.transaction.blockchain.Web3TesterBlockchain method) (zkay.transaction.interface.ZkayBlockchainInterface method) crypto() (zkay.transaction.runtime.Runtime static method) CryptoParams (class in zkay.transaction.crypto.params) cryptoparams (in module zkay.transaction.crypto.meta) current_all_index (zkay.transaction.offchain.ApiWrapper attribute) current_priv_values (zkay.transaction.offchain.ApiWrapper attribute) CURVE_ORDER (in module zkay.transaction.crypto.babyjubjub)

D

DATA (in module zkay.my_logging.logger) data() (in module zkay.my_logging) (in module zkay.my_logging.logger) data_dir (zkay.config_user.UserConfig property) dec() (zkay.transaction.interface.ZkayCryptoInterface method) (zkay.transaction.offchain.ApiWrapper method) decl() (zkay.transaction.offchain.LocalsDict method) (zkay.transaction.offchain.StateDict method) decl_var() (zkay.zkay_ast.ast.Identifier method) dedent() (zkay.utils.multiline_formatter.MultiLineFormatter method) deep_copy() (in module zkay.zkay_ast.visitor.deep_copy) DeepCopyVisitor (class in zkay.zkay_ast.visitor.deep_copy) default_address (zkay.transaction.interface.ZkayBlockchainInterface property) default_address() (zkay.transaction.offchain.ContractSimulator static method) default_exponent (zkay.transaction.crypto.rsa_base.RSACrypto attribute) deploy() (zkay.transaction.interface.ZkayBlockchainInterface method) (zkay.transaction.offchain.ApiWrapper method) deploy_contract() (in module zkay.zkay_frontend) deploy_solidity_contract() (zkay.transaction.blockchain.web3py.Web3Blockchain method) (zkay.transaction.interface.ZkayBlockchainInterface method) deserialize() (zkay.zkay_ast.ast.HybridArgumentIdf method) deserialize_pk() (zkay.transaction.interface.ZkayCryptoInterface method) detect_hybrid_functions() (in module zkay.zkay_ast.analysis.hybrid_function_detector) DictWrapper (class in zkay.utils.dict_wrapper)

difficulty (zkay.transaction.types.BlockStruct property) DirectCalledFunctionDetector (class in zkay.zkay_ast.analysis.call_graph) DirectCanBePrivateDetector (class in zkay.zkay_ast.analysis.circuit_compatibility_checker) DirectHybridFunctionDetectionVisitor (class in zkay.zkay_ast.analysis.hybrid_function_detector) DirectModificationDetector (class in zkay.zkay_ast.analysis.side_effects) disable_verification (zkay.config_user.UserConfig property) do_homomorphic_op() (zkay.transaction.offchain.ApiWrapper method) do_if_external() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor static method) do_op() (zkay.transaction.crypto.dummy_hom.DummyHomCrypto method) (zkay.transaction.crypto.elgamal.ElgamalCrypto method) (zkay.transaction.crypto.paillier.PaillierCrypto method) (zkay.transaction.interface.ZkayHomomorphicCryptoInterface method) do_rerand() (zkay.transaction.crypto.dummy_hom.DummyHomCrypto method) (zkay.transaction.crypto.elgamal.ElgamalCrypto method) (zkay.transaction.crypto.paillier.PaillierCrypto method) (zkay.transaction.interface.ZkayHomomorphicCryptoInterface method) (zkay.transaction.offchain.ApiWrapper method) dot() (zkay.zkay_ast.ast.LocationExpr method) double() (zkay.transaction.crypto.babyjubjub.Point method) DoWhileStatement (class in zkay.zkay_ast.ast) DummyAnnotation (class in zkay.zkay_ast.ast) DummyCrypto (class in zkay.transaction.crypto.dummy) DummyHomCrypto (class in zkay.transaction.crypto.dummy_hom) dyn_uint_array() (zkay.zkay_ast.ast.TypeName static method)

E

EcdhAesCrypto (class in zkay.transaction.crypto.ecdh_aes) EcdhBase (class in zkay.transaction.crypto.ecdh_base) EcdhChaskeyCrypto (class in zkay.transaction.crypto.ecdh_chaskey) elem_bitwidth (zkay.zkay_ast.ast.AddressPayableTypeName property) (zkay.zkay_ast.ast.AddressTypeName property) (zkay.zkay_ast.ast.Array property) (zkay.zkay_ast.ast.BooleanLiteralType property) (zkay.zkay_ast.ast.BoolTypeName property) (zkay.zkay_ast.ast.EnumTypeName property) (zkay.zkay_ast.ast.EnumValueTypeName property) (zkay.zkay_ast.ast.NumberTypeName property) (zkay.zkay_ast.ast.TypeName property) ELEM_TYPE_PATTERN (in module zkay.compiler.solidity.fake_solidity_generator) ElementaryTypeName (class in zkay.zkay_ast.ast) ElgamalCrypto (class in zkay.transaction.crypto.elgamal) empty() (zkay.zkay_ast.ast.TupleType static method) enc() (zkay.transaction.interface.ZkayCryptoInterface method) (zkay.transaction.offchain.ApiWrapper method) enc_signed_as_unsigned (zkay.transaction.crypto.params.CryptoParams property) EncryptionExpression (class in zkay.zkay_ast.ast)

ENDC (zkay.utils.progress_printer.TermColor attribute) ensure_parameter_encryption() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) ensure_tuple() (zkay.zkay_ast.ast.TupleType static method) EnterPrivateKeyStatement (class in zkay.zkay_ast.ast) EnumDefinition (class in zkay.zkay_ast.ast) EnumTypeName (class in zkay.zkay_ast.ast) EnumValue (class in zkay.zkay_ast.ast) EnumValueTypeName (class in zkay.zkay_ast.ast) eq (in module zkay.zkay_ast.ast) EvalOrderUBChecker (class in zkay.zkay_ast.analysis.side_effects) evaluate_expr_in_circuit() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) evaluate_stmt_in_circuit() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) exp() (zkay.transaction.crypto.babyjubjub.FieldElement method) explicitly_converted() (zkay.zkay_ast.ast.Expression method) export_compiler_settings() (zkay.config.Config method) Expression (class in zkay.zkay_ast.ast) ExpressionStatement (class in zkay.zkay_ast.ast) ExpressionToStatementVisitor (class in zkay.zkay_ast.pointers.parent_setter) external_crypto_lib_names (zkay.config.Config property) extract_zkay_package() (in module zkay.zkay_frontend)

F

FAIL (zkay.utils.progress_printer.TermColor attribute) fail_print() (in module zkay.utils.progress_printer) fake_solidity_code() (in module zkay.compiler.solidity.fake_solidity_generator) fct (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper attribute) field_prime_var_name (zkay.config.Config property) FieldElement (class in zkay.transaction.crypto.babyjubjub) fill_symbol_table() (in module zkay.zkay_ast.pointers.symbol_table) filter() (zkay.my_logging.logger.OnlyData method) FINAL_PATTERN (in module zkay.compiler.solidity.fake_solidity_generator) FinalVisitor (class in zkay.type_check.final_checker) find_identifier_declaration() (zkay.zkay_ast.pointers.symbol_table.SymbolTableLinker static method) find_matching_parenthesis() (in module zkay.compiler.solidity.fake_solidity_generator) find_type_declaration() (zkay.zkay_ast.pointers.symbol_table.SymbolTableLinker static method) flatten() (zkay.transaction.types.Value static method) format_string() (zkay.zkay_ast.ast.BuiltinFunction method)

ForStatement (class in zkay.zkay_ast.ast) Fq (class in zkay.transaction.crypto.babyjubjub) Fr (class in zkay.transaction.crypto.babyjubjub) from_it() (zkay.compiler.privacy.proving_scheme.proving_scheme.G1Point static method) (zkay.compiler.privacy.proving_scheme.proving_scheme.G2Point static method) from_seq() (zkay.compiler.privacy.proving_scheme.proving_scheme.G1Point static method) (zkay.compiler.privacy.proving_scheme.proving_scheme.G2Point static method) full_log_context (in module zkay.my_logging.log_context) func_name() (zkay.zkay_ast.ast.ReclassifyExpr method) (zkay.zkay_ast.ast.RehomExpr method) function_calls_with_verification (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper attribute) function_definition_to_str() (zkay.zkay_ast.ast.CodeVisitor method) FunctionCallExpr (class in zkay.zkay_ast.ast) FunctionTypeName (class in zkay.zkay_ast.ast) FunctionVisitor (class in zkay.zkay_ast.visitor.function_visitor)

G

G1Point (class in zkay.compiler.privacy.proving_scheme.proving_scheme) G2Point (class in zkay.compiler.privacy.proving_scheme.proving_scheme) gaslimit (zkay.transaction.types.BlockStruct property) gasprice (zkay.transaction.types.TxStruct property) gen_proof() (zkay.transaction.offchain.ApiWrapper method) generate_circuits() (zkay.compiler.privacy.circuit_generation.circuit_generator.CircuitGenerator method) generate_constructors() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) generate_keys() (in module zkay.jsnark_interface.libsnark_interface) generate_or_load_key_pair() (zkay.transaction.interface.ZkayCryptoInterface method) generate_proof() (in module zkay.jsnark_interface.libsnark_interface) (zkay.transaction.interface.ZkayProverInterface method) generate_verification_contract() (zkay.compiler.privacy.proving_scheme.backends.gm17.ProvingSchemeGm17 method) (zkay.compiler.privacy.proving_scheme.backends.groth16.ProvingSchemeGroth16 method) (zkay.compiler.privacy.proving_scheme.proving_scheme.ProvingScheme method) GENERATOR (in module zkay.transaction.crypto.babyjubjub) generator_classes (in module zkay.zkay_frontend) get_all_key_paths() (zkay.compiler.privacy.circuit_generation.circuit_generator.CircuitGenerator method) get_annotated_type() (zkay.zkay_ast.ast.IdentifierExpr method) get_ast_exception_msg() (in module zkay.zkay_ast.ast) get_balance (zkay.transaction.types.AddressValue attribute) get_balance() (zkay.transaction.interface.ZkayBlockchainInterface method) get_builtin_globals() (in module zkay.zkay_ast.pointers.symbol_table) (zkay.zkay_ast.pointers.symbol_table.SymbolTableFiller method) get_circuit_output_dir_name() (zkay.config.Config method) get_code_error_msg() (in module zkay.zkay_ast.ast) get_command() (in module zkay.utils.run_command) get_constructor_args_and_params() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) get_contract_names() (in module zkay.utils.helpers) get_contract_var_name() (zkay.config.Config static method) get_crypto_params() (zkay.config_user.UserConfig method) get_current() (zkay.compiler.name_remapper.Remapper method) get_default_value() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) get_dlog() (in module zkay.transaction.crypto.elgamal) get_error_order_key() (in module zkay.compiler.solidity.compiler) get_glob_key_name() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper static method) get_idf_expr() (zkay.zkay_ast.ast.HybridArgumentIdf method) get_index() (zkay.zkay_ast.analysis.partition_state.PartitionState method) get_internal_name() (zkay.config.Config method) get_jsnark_circuit_class_str() (in module zkay.jsnark_interface.jsnark_interface) get_key() (zkay.utils.dict_wrapper.DictWrapper method) get_keystore() (zkay.transaction.offchain.ApiWrapper method) get_loc_expr() (zkay.zkay_ast.ast.HybridArgumentIdf method)

get_loc_value() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) get_log_dir() (in module zkay.my_logging.logger) get_log_file() (in module zkay.my_logging) (in module zkay.my_logging.logger) get_my_pk() (zkay.transaction.offchain.ApiWrapper method) get_my_sk() (zkay.transaction.offchain.ApiWrapper method) get_new_idf() (zkay.compiler.privacy.circuit_generation.name_factory.NameFactory method) get_new_name() (zkay.compiler.privacy.circuit_generation.name_factory.BaseNameFactory method) get_own_secret_key_name() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper static method) get_params() (zkay.transaction.types.Value static method) get_parsed_ast_and_fake_code() (in module zkay.zkay_ast.process_ast) get_pki_contract() (in module zkay.compiler.privacy.library_contracts) get_pki_contract_name() (zkay.config.Config method) get_plain() (zkay.transaction.offchain.StateDict method) get_priv_value() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor static method) get_privacy_expr_from_label() (in module zkay.zkay_ast.ast) get_processed_ast() (in module zkay.zkay_ast.process_ast) get_prover_key_hash() (zkay.transaction.interface.ZkayProverInterface method) (zkay.transaction.prover.jsnark.JsnarkProver method) (zkay.transaction.prover.JsnarkProver method) get_randomness_for_rerand() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) get_raw() (zkay.transaction.offchain.StateDict method) get_remapped_idf_expr() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) get_rhs() (zkay.type_check.type_checker.TypeCheckVisitor method) get_special_variables() (zkay.transaction.blockchain.web3py.Web3Blockchain method) (zkay.transaction.interface.ZkayBlockchainInterface method) (zkay.transaction.offchain.ApiWrapper method) get_state() (zkay.compiler.name_remapper.Remapper method) get_value() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) get_verification_contract_filenames() (zkay.compiler.privacy.circuit_generation.circuit_generator.CircuitGenerator method) get_verification_contract_name() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) (zkay.config.Config method) get_verification_contract_names() (in module zkay.zkay_ast.process_ast) get_verify_libs_code() (in module zkay.compiler.privacy.library_contracts) get_visit_function() (zkay.zkay_ast.visitor.transformer_visitor.AstTransformerVisitor method) (zkay.zkay_ast.visitor.visitor.AstVisitor method) get_vk_and_pk_filenames() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkGenerator class method) (zkay.compiler.privacy.circuit_generation.circuit_generator.CircuitGenerator class method) getPk() (zkay.transaction.interface.ZkayKeystoreInterface method) GlobalDefs (class in zkay.zkay_ast.global_defs) GlobalVars (class in zkay.zkay_ast.global_defs) GuardConditionAnalyzer (class in zkay.zkay_ast.analysis.alias_analysis) guarded() (zkay.compiler.privacy.circuit_generation.circuit_constraints.CircGuardModification static method) (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method)

H

handle_block() (zkay.zkay_ast.ast.CodeVisitor method) handle_builtin_function_call() (zkay.type_check.type_checker.TypeCheckVisitor method) handle_cast() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkVisitor method) (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) (zkay.type_check.type_checker.TypeCheckVisitor method) handle_fdef() (zkay.zkay_ast.build_ast.BuildASTVisitor method) handle_field() (zkay.zkay_ast.build_ast.BuildASTVisitor method) handle_function_body() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) handle_function_params() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) handle_homomorphic_builtin_function_call() (zkay.type_check.type_checker.TypeCheckVisitor method) handle_pragma() (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.visitor.solidity_visitor.SolidityVisitor method) handle_unhom_builtin_function_call() (zkay.type_check.type_checker.TypeCheckVisitor method) handle_var_decl_expr() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) has() (zkay.zkay_ast.analysis.partition_state.PartitionState method) has_initialized_keys_for() (zkay.transaction.interface.ZkayKeystoreInterface method)

has_key_label (zkay.zkay_ast.ast.Mapping property) has_literal_type() (zkay.type_check.type_checker.TypeCheckVisitor static method) has_private_type() (zkay.type_check.type_checker.TypeCheckVisitor static method) has_return_var (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper attribute) has_shortcircuiting() (zkay.zkay_ast.ast.BuiltinFunction method) has_side_effects (zkay.zkay_ast.ast.ConstructorOrFunctionDefinition property) has_side_effects() (in module zkay.zkay_ast.analysis.side_effects) hash_file() (in module zkay.utils.helpers) hash_string() (in module zkay.utils.helpers) hash_var_name (zkay.compiler.privacy.proving_scheme.proving_scheme.ProvingScheme attribute) HEADER (zkay.utils.progress_printer.TermColor attribute) help() (zkay.transaction.offchain.ContractSimulator static method) homomorphic_builtin_functions (in module zkay.zkay_ast.ast) HomomorphicBuiltin (class in zkay.zkay_ast.ast) HomomorphicBuiltinFunction (class in zkay.zkay_ast.ast) Homomorphism (class in zkay.zkay_ast.homomorphism) homomorphism (zkay.zkay_ast.ast.HomomorphicBuiltin attribute) HOMOMORPHISM_PATTERN (in module zkay.compiler.solidity.fake_solidity_generator) HybridArgType (class in zkay.zkay_ast.ast) HybridArgumentIdf (class in zkay.zkay_ast.ast)

I

ID_PATTERN (in module zkay.compiler.solidity.fake_solidity_generator) Identifier (class in zkay.zkay_ast.ast) identifier_name (zkay.transaction.crypto.params.CryptoParams property) IdentifierDeclaration (class in zkay.zkay_ast.ast) IdentifierExpr (class in zkay.zkay_ast.ast) IfStatement (class in zkay.zkay_ast.ast) implicitly_converted_to() (zkay.type_check.type_checker.TypeCheckVisitor static method) implicitly_convertible_to() (zkay.zkay_ast.ast.AddressPayableTypeName method) (zkay.zkay_ast.ast.BooleanLiteralType method) (zkay.zkay_ast.ast.EnumValueTypeName method) (zkay.zkay_ast.ast.IntTypeName method) (zkay.zkay_ast.ast.NumberLiteralType method) (zkay.zkay_ast.ast.NumberTypeName method) (zkay.zkay_ast.ast.TupleType method) (zkay.zkay_ast.ast.TypeName method) (zkay.zkay_ast.ast.UintTypeName method) import_compiler_settings() (zkay.config.Config method) import_contract() (zkay.compiler.privacy.transformation.zkay_contract_transformer.ZkayTransformer static method) import_manifest_config() (zkay.compiler.privacy.manifest.Manifest static method) in_scope_at() (zkay.zkay_ast.ast.InstanceTarget method) (zkay.zkay_ast.pointers.symbol_table.SymbolTableLinker static method) in_size (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper property) in_size_trans (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper property) include_verification_contracts() (zkay.compiler.privacy.transformation.zkay_contract_transformer.ZkayTransformer method) indent() (in module zkay.zkay_ast.ast) (zkay.utils.multiline_formatter.MultiLineFormatter method) indentation (zkay.config_user.UserConfig property) IndentBlock (class in zkay.zkay_ast.ast) index() (zkay.zkay_ast.ast.LocationExpr method) IndexExpr (class in zkay.zkay_ast.ast) IndirectCalledFunctionDetector (class in zkay.zkay_ast.analysis.call_graph) IndirectCanBePrivateDetector (class in zkay.zkay_ast.analysis.circuit_compatibility_checker) IndirectDynamicBodyDetector (class in zkay.zkay_ast.analysis.call_graph) IndirectHybridFunctionDetectionVisitor (class in zkay.zkay_ast.analysis.hybrid_function_detector) IndirectModificationDetector (class in zkay.zkay_ast.analysis.side_effects) initialize_keys_for() (zkay.transaction.offchain.ContractSimulator static method) inject_me_decls() (in module zkay.compiler.solidity.fake_solidity_generator) inline_function_call_into_circuit() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) input_idfs (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper property) input_types() (zkay.zkay_ast.ast.BuiltinFunction method) (zkay.zkay_ast.ast.HomomorphicBuiltinFunction method) insert() (zkay.zkay_ast.analysis.partition_state.PartitionState method) instanceof() (zkay.zkay_ast.ast.Expression method) instanceof_data_type() (zkay.zkay_ast.ast.Expression method) InstanceTarget (class in zkay.zkay_ast.ast) INT_PATTERN (in module zkay.compiler.solidity.fake_solidity_generator) IntegrityError IntTypeName (class in zkay.zkay_ast.ast) inv() (zkay.transaction.crypto.babyjubjub.FieldElement method) invalidate_idf() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) is_accessible() (zkay.zkay_ast.ast.AnnotatedTypeName method) is_accessible_by_invoker() (zkay.type_check.type_checker.TypeCheckVisitor static method) is_address() (zkay.zkay_ast.ast.AnnotatedTypeName method) (zkay.zkay_ast.ast.TypeName method)

is_all_expr() (zkay.zkay_ast.ast.Expression method) is_arithmetic() (zkay.zkay_ast.ast.BuiltinFunction method) is_bitop() (zkay.zkay_ast.ast.BuiltinFunction method) is_boolean (zkay.zkay_ast.ast.TypeName property) is_bop() (zkay.zkay_ast.ast.BuiltinFunction method) is_cast (zkay.zkay_ast.ast.FunctionCallExpr property) is_cipher() (zkay.zkay_ast.ast.AnnotatedTypeName method) (zkay.zkay_ast.ast.TypeName method) is_comp() (zkay.zkay_ast.ast.BuiltinFunction method) is_constant (zkay.zkay_ast.ast.IdentifierDeclaration property) is_constructor (zkay.zkay_ast.ast.ConstructorOrFunctionDefinition property) is_debug_backend() (zkay.transaction.blockchain.Web3HttpGanacheBlockchain class method) (zkay.transaction.blockchain.web3py.Web3HttpGanacheBlockchain class method) (zkay.transaction.blockchain.web3py.Web3TesterBlockchain class method) (zkay.transaction.blockchain.Web3TesterBlockchain class method) (zkay.transaction.interface.ZkayBlockchainInterface class method) is_eq() (zkay.zkay_ast.ast.BuiltinFunction method) is_expr_stmt() (zkay.zkay_ast.build_ast.BuildASTVisitor method) is_external (zkay.transaction.offchain.ApiWrapper attribute) (zkay.zkay_ast.ast.ConstructorOrFunctionDefinition property) IS_EXTERNAL_CALL (in module zkay.compiler.privacy.offchain_compiler) is_final (zkay.zkay_ast.ast.IdentifierDeclaration property) is_function (zkay.zkay_ast.ast.ConstructorOrFunctionDefinition property) is_immutable (zkay.zkay_ast.ast.AllExpr property) (zkay.zkay_ast.ast.Identifier property) (zkay.zkay_ast.ast.MeExpr property) is_ite() (zkay.zkay_ast.ast.BuiltinFunction method) is_key() (zkay.zkay_ast.ast.TypeName method) is_literal (zkay.zkay_ast.ast.TypeName property) is_lvalue() (zkay.zkay_ast.ast.TupleOrLocationExpr method) is_me_expr() (zkay.zkay_ast.ast.Expression method) is_neg_sign() (zkay.zkay_ast.ast.BuiltinFunction method) is_numeric (zkay.zkay_ast.ast.TypeName property) is_parent_of() (zkay.zkay_ast.ast.AST method) is_parenthesis() (zkay.zkay_ast.ast.BuiltinFunction method) is_payable (zkay.zkay_ast.ast.ConstructorOrFunctionDefinition property) is_primitive_type() (zkay.zkay_ast.ast.TypeName method) is_private() (zkay.zkay_ast.ast.AnnotatedTypeName method) is_private_at_me() (zkay.zkay_ast.ast.AnnotatedTypeName method) is_public() (zkay.zkay_ast.ast.AnnotatedTypeName method) is_randomness() (zkay.zkay_ast.ast.TypeName method) is_remapped() (zkay.compiler.name_remapper.Remapper method) is_rvalue() (zkay.zkay_ast.ast.TupleOrLocationExpr method) is_shiftop() (zkay.zkay_ast.ast.BuiltinFunction method) is_signed_numeric (zkay.zkay_ast.ast.TypeName property) is_special_var() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor static method) is_symmetric_cipher() (zkay.config.Config method) (zkay.transaction.crypto.params.CryptoParams method) is_unit_test (zkay.config.Config property) issue_compiler_warning() (in module zkay.zkay_ast.ast) ite() (zkay.zkay_ast.ast.Expression method) items() (zkay.utils.dict_wrapper.DictWrapper method) iterate_until_fixed_point() (zkay.zkay_ast.analysis.side_effects.IndirectModificationDetector method)

J

join() (zkay.zkay_ast.analysis.partition_state.PartitionState method) join_branch() (zkay.compiler.name_remapper.Remapper method) jsnark_circuit_classname (zkay.config.Config property)

JsnarkGenerator (class in zkay.compiler.privacy.circuit_generation.backends.jsnark_generator) JsnarkProver (class in zkay.transaction.prover) (class in zkay.transaction.prover.jsnark) JsnarkVisitor (class in zkay.compiler.privacy.circuit_generation.backends.jsnark_generator)

K

K (in module zkay.compiler.name_remapper) Key (class in zkay.zkay_ast.ast) key (zkay.zkay_ast.ast.InstanceTarget property) key_bits (zkay.transaction.crypto.params.CryptoParams property) key_bytes (zkay.transaction.crypto.params.CryptoParams property) key_len (zkay.transaction.crypto.params.CryptoParams property)

key_type() (zkay.zkay_ast.ast.AnnotatedTypeName static method) (zkay.zkay_ast.ast.TypeName static method) KeyLiteralExpr (class in zkay.zkay_ast.ast) KeyPair (class in zkay.transaction.types) keys() (zkay.utils.dict_wrapper.DictWrapper method) keystore (zkay.transaction.offchain.ApiWrapper property) keystore() (zkay.transaction.runtime.Runtime static method)

L

lib_addresses (zkay.transaction.interface.ZkayBlockchainInterface property) library_compilation_environment() (zkay.config.Config method) library_solc_version (zkay.config.Config property) libsnark_check_verify_locally_during_proof_generation (zkay.config_user.UserConfig property) libsnark_runner (in module zkay.jsnark_interface.libsnark_interface) lines_of_code() (in module zkay.utils.helpers) link_identifiers() (in module zkay.zkay_ast.pointers.symbol_table) link_symbol_table() (in module zkay.zkay_ast.pointers.symbol_table) LiteralExpr (class in zkay.zkay_ast.ast) load() (zkay.compiler.privacy.manifest.Manifest static method)

load_configuration_from_disk() (zkay.config.Config method) load_contract_transaction_interface_from_directory() (in module zkay.zkay_frontend) load_contract_transaction_interface_from_module() (in module zkay.zkay_frontend) load_transaction_interface_from_directory() (in module zkay.zkay_frontend) locals (zkay.transaction.crypto.rsa_base.PersistentLocals property) (zkay.transaction.offchain.ContractSimulator attribute) LocalsDict (class in zkay.transaction.offchain) LocationExpr (class in zkay.zkay_ast.ast) log_context() (in module zkay.my_logging.log_context) log_dir (zkay.config_user.UserConfig property) LoopChecker (class in zkay.zkay_ast.analysis.loop_checker)

M

main() (in module zkay.__main__) main_crypto_backend (zkay.config_user.UserConfig property) make_private() (zkay.type_check.type_checker.TypeCheckVisitor static method) make_rehom() (zkay.type_check.type_checker.TypeCheckVisitor static method) Manifest (class in zkay.compiler.privacy.manifest) MAP_PATTERN (in module zkay.compiler.solidity.fake_solidity_generator) Mapping (class in zkay.zkay_ast.ast) MATCH_WORD_FSTR (in module zkay.compiler.solidity.fake_solidity_generator) max_gas_limit (in module zkay.transaction.blockchain.web3py) me() (zkay.zkay_ast.ast.AnnotatedTypeName static method) ME_DECL (in module zkay.compiler.solidity.fake_solidity_generator) me_expr() (zkay.zkay_ast.ast.Expression static method) MeExpr (class in zkay.zkay_ast.ast) MemberAccessExpr (class in zkay.zkay_ast.ast) merge() (zkay.zkay_ast.analysis.partition_state.PartitionState method) merge_dicts() (in module zkay.zkay_ast.pointers.symbol_table) MINUS_ONE (in module zkay.transaction.crypto.babyjubjub) module zkay zkay.__main__ zkay.compiler zkay.compiler.name_remapper zkay.compiler.privacy zkay.compiler.privacy.circuit_generation zkay.compiler.privacy.circuit_generation.backends zkay.compiler.privacy.circuit_generation.backends.jsnark_generator zkay.compiler.privacy.circuit_generation.circuit_constraints zkay.compiler.privacy.circuit_generation.circuit_generator zkay.compiler.privacy.circuit_generation.circuit_helper zkay.compiler.privacy.circuit_generation.name_factory zkay.compiler.privacy.library_contracts zkay.compiler.privacy.manifest zkay.compiler.privacy.offchain_compiler zkay.compiler.privacy.proving_scheme zkay.compiler.privacy.proving_scheme.backends zkay.compiler.privacy.proving_scheme.backends.gm17 zkay.compiler.privacy.proving_scheme.backends.groth16 zkay.compiler.privacy.proving_scheme.meta zkay.compiler.privacy.proving_scheme.proving_scheme zkay.compiler.privacy.transformation zkay.compiler.privacy.transformation.internal_call_transformer zkay.compiler.privacy.transformation.zkay_contract_transformer zkay.compiler.privacy.transformation.zkay_transformer zkay.compiler.solidity zkay.compiler.solidity.compiler zkay.compiler.solidity.fake_solidity_generator zkay.config zkay.config_user zkay.config_version zkay.errors zkay.errors.exceptions zkay.jsnark_interface zkay.jsnark_interface.jsnark_interface zkay.jsnark_interface.libsnark_interface zkay.my_logging zkay.my_logging.log_context zkay.my_logging.logger zkay.transaction zkay.transaction.blockchain zkay.transaction.blockchain.web3py zkay.transaction.crypto zkay.transaction.crypto.babyjubjub zkay.transaction.crypto.dummy zkay.transaction.crypto.dummy_hom zkay.transaction.crypto.ecdh_aes zkay.transaction.crypto.ecdh_base zkay.transaction.crypto.ecdh_chaskey zkay.transaction.crypto.elgamal zkay.transaction.crypto.meta zkay.transaction.crypto.paillier zkay.transaction.crypto.params zkay.transaction.crypto.rsa_base zkay.transaction.crypto.rsa_oaep zkay.transaction.crypto.rsa_pkcs15 zkay.transaction.int_casts zkay.transaction.interface zkay.transaction.keystore zkay.transaction.keystore.simple zkay.transaction.offchain zkay.transaction.prover zkay.transaction.prover.jsnark zkay.transaction.runtime zkay.transaction.solidity_math zkay.transaction.types zkay.type_check zkay.type_check.contains_private zkay.type_check.final_checker zkay.type_check.type_checker zkay.type_check.type_exceptions zkay.utils zkay.utils.dict_wrapper zkay.utils.helpers zkay.utils.multiline_formatter zkay.utils.progress_printer zkay.utils.run_command zkay.utils.timer zkay.zkay_ast zkay.zkay_ast.analysis zkay.zkay_ast.analysis.alias_analysis zkay.zkay_ast.analysis.call_graph zkay.zkay_ast.analysis.circuit_compatibility_checker zkay.zkay_ast.analysis.contains_private_checker zkay.zkay_ast.analysis.hybrid_function_detector zkay.zkay_ast.analysis.loop_checker zkay.zkay_ast.analysis.partition_state zkay.zkay_ast.analysis.return_checker zkay.zkay_ast.analysis.side_effects zkay.zkay_ast.analysis.used_homomorphisms zkay.zkay_ast.ast zkay.zkay_ast.build_ast zkay.zkay_ast.global_defs zkay.zkay_ast.homomorphism zkay.zkay_ast.pointers zkay.zkay_ast.pointers.parent_setter zkay.zkay_ast.pointers.pointer_exceptions zkay.zkay_ast.pointers.symbol_table zkay.zkay_ast.process_ast zkay.zkay_ast.visitor zkay.zkay_ast.visitor.deep_copy zkay.zkay_ast.visitor.function_visitor zkay.zkay_ast.visitor.python_visitor zkay.zkay_ast.visitor.solidity_visitor zkay.zkay_ast.visitor.statement_counter zkay.zkay_ast.visitor.transformer_visitor zkay.zkay_ast.visitor.visitor zkay.zkay_frontend

move_to() (zkay.zkay_ast.analysis.partition_state.PartitionState method) move_to_separate() (zkay.zkay_ast.analysis.partition_state.PartitionState method) msg (zkay.zkay_ast.global_defs.GlobalVars attribute) msg_struct (zkay.zkay_ast.global_defs.GlobalDefs attribute) MsgStruct (class in zkay.transaction.types) MultiLineFormatter (class in zkay.utils.multiline_formatter)

N

name (zkay.compiler.privacy.proving_scheme.backends.gm17.ProvingSchemeGm17 attribute) (zkay.compiler.privacy.proving_scheme.backends.groth16.ProvingSchemeGroth16 attribute) (zkay.compiler.privacy.proving_scheme.proving_scheme.ProvingScheme attribute) (zkay.zkay_ast.ast.AllExpr attribute) (zkay.zkay_ast.ast.ConstructorOrFunctionDefinition property) (zkay.zkay_ast.ast.MeExpr attribute) NameFactory (class in zkay.compiler.privacy.circuit_generation.name_factory) names (zkay.transaction.offchain.StateDict property) NamespaceDefinition (class in zkay.zkay_ast.ast) negate() (zkay.transaction.crypto.babyjubjub.Point method) negated() (zkay.compiler.privacy.proving_scheme.proving_scheme.G1Point method)

NewExpr (class in zkay.zkay_ast.ast) NON_HOMOMORPHIC (zkay.zkay_ast.homomorphism.Homomorphism attribute) NONID_END (in module zkay.compiler.solidity.fake_solidity_generator) NONID_START (in module zkay.compiler.solidity.fake_solidity_generator) NonInlineableCallDetector (class in zkay.zkay_ast.analysis.hybrid_function_detector) NonstaticOrIncompatibilityDetector (class in zkay.zkay_ast.analysis.circuit_compatibility_checker) now (zkay.zkay_ast.global_defs.GlobalVars attribute) number (zkay.transaction.types.BlockStruct property) number_type() (zkay.zkay_ast.ast.TypeName static method) NumberLiteralExpr (class in zkay.zkay_ast.ast) NumberLiteralType (class in zkay.zkay_ast.ast) NumberTypeName (class in zkay.zkay_ast.ast)

O

OKBLUE (zkay.utils.progress_printer.TermColor attribute) OKGREEN (zkay.utils.progress_printer.TermColor attribute) ONE (in module zkay.transaction.crypto.babyjubjub) OnlyData (class in zkay.my_logging.logger) op (zkay.zkay_ast.ast.HomomorphicBuiltin attribute) op_arity (in module zkay.zkay_ast.ast) op_func (zkay.zkay_ast.ast.BuiltinFunction property) opt_cache_circuit_inputs (zkay.config_user.UserConfig property) opt_cache_circuit_outputs (zkay.config_user.UserConfig property) opt_eval_constexpr_in_circuit (zkay.config_user.UserConfig property)

opt_hash_threshold (zkay.config_user.UserConfig property) opt_solc_optimizer_runs (zkay.config_user.UserConfig property) origin (zkay.transaction.types.TxStruct property) out_size (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper property) out_size_trans (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper property) output_idfs (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper property) output_type() (zkay.zkay_ast.ast.BuiltinFunction method) (zkay.zkay_ast.ast.HomomorphicBuiltinFunction method) override() (zkay.zkay_ast.ast.AST method) override_defaults() (zkay.config.Config method) override_solc() (zkay.config.Config static method)

P

pack_byte_array() (zkay.transaction.interface.ZkayCryptoInterface static method) package_zkay_contract() (in module zkay.zkay_frontend) PaillierCrypto (class in zkay.transaction.crypto.paillier) Parameter (class in zkay.zkay_ast.ast) parameter_types (zkay.zkay_ast.ast.ConstructorOrFunctionDefinition property) params (zkay.transaction.crypto.dummy.DummyCrypto attribute) (zkay.transaction.crypto.dummy_hom.DummyHomCrypto attribute) (zkay.transaction.crypto.ecdh_aes.EcdhAesCrypto attribute) (zkay.transaction.crypto.ecdh_chaskey.EcdhChaskeyCrypto attribute) (zkay.transaction.crypto.elgamal.ElgamalCrypto attribute) (zkay.transaction.crypto.paillier.PaillierCrypto attribute) (zkay.transaction.crypto.rsa_oaep.RSAOAEPCrypto attribute) (zkay.transaction.crypto.rsa_pkcs15.RSAPKCS15Crypto attribute) (zkay.transaction.interface.ZkayCryptoInterface property) PARENS_PATTERN (in module zkay.compiler.solidity.fake_solidity_generator) parent (zkay.zkay_ast.global_defs.GlobalVars attribute), [1], [2], [3] ParentSetterVisitor (class in zkay.zkay_ast.pointers.parent_setter) parse_arguments() (in module zkay.__main__) parse_config_doc() (in module zkay.__main__) PartitionState (class in zkay.zkay_ast.analysis.partition_state) perfect_privacy_match() (zkay.zkay_ast.ast.TupleType method) PersistentLocals (class in zkay.transaction.crypto.rsa_base) phi (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper property) pk() (zkay.transaction.interface.ZkayKeystoreInterface method) pki_contract() (zkay.transaction.interface.ZkayBlockchainInterface method) pki_contract_name (zkay.config.Config property) Point (class in zkay.transaction.crypto.babyjubjub) pop_scope() (zkay.transaction.offchain.LocalsDict method) PRAGMA_PATTERN (in module zkay.compiler.solidity.fake_solidity_generator) prepare_logger() (in module zkay.my_logging) (in module zkay.my_logging.logger) prepare_proof() (in module zkay.jsnark_interface.jsnark_interface) prepend_to_lines() (in module zkay.utils.helpers) PreprocessAstException PrimitiveCastExpr (class in zkay.zkay_ast.ast) print_items() (zkay.utils.dict_wrapper.DictWrapper method) print_step() (in module zkay.utils.progress_printer) PRIV_CIRCUIT_VAL (zkay.zkay_ast.ast.HybridArgType attribute) priv_in_size (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper property) priv_in_size_trans (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper property) PRIV_VALUES_NAME (in module zkay.compiler.privacy.offchain_compiler) privacy (zkay.zkay_ast.ast.InstanceTarget property) privacy_annotation_label() (zkay.zkay_ast.ast.Expression method) PrivacyLabelExpr (in module zkay.zkay_ast.ast) PrivateKeyValue (class in zkay.transaction.types) PrivateSetter (class in zkay.zkay_ast.analysis.circuit_compatibility_checker) process_ast() (in module zkay.zkay_ast.process_ast) process_children() (zkay.zkay_ast.ast.AnnotatedTypeName method) (zkay.zkay_ast.ast.Array method) (zkay.zkay_ast.ast.ArrayLiteralExpr method) (zkay.zkay_ast.ast.AssignmentStatement method) (zkay.zkay_ast.ast.AST method) (zkay.zkay_ast.ast.ConstructorOrFunctionDefinition method) (zkay.zkay_ast.ast.ContractDefinition method) (zkay.zkay_ast.ast.DoWhileStatement method) (zkay.zkay_ast.ast.EnumDefinition method) (zkay.zkay_ast.ast.EnumValue method) (zkay.zkay_ast.ast.ExpressionStatement method) (zkay.zkay_ast.ast.ForStatement method) (zkay.zkay_ast.ast.FunctionCallExpr method) (zkay.zkay_ast.ast.FunctionTypeName method) (zkay.zkay_ast.ast.IdentifierDeclaration method) (zkay.zkay_ast.ast.IdentifierExpr method) (zkay.zkay_ast.ast.IfStatement method) (zkay.zkay_ast.ast.IndexExpr method) (zkay.zkay_ast.ast.Mapping method) (zkay.zkay_ast.ast.MemberAccessExpr method) (zkay.zkay_ast.ast.NamespaceDefinition method) (zkay.zkay_ast.ast.NewExpr method) (zkay.zkay_ast.ast.PrimitiveCastExpr method) (zkay.zkay_ast.ast.ReclassifyExpr method) (zkay.zkay_ast.ast.RequireStatement method) (zkay.zkay_ast.ast.ReturnStatement method) (zkay.zkay_ast.ast.SourceUnit method) (zkay.zkay_ast.ast.StatementList method) (zkay.zkay_ast.ast.StateVariableDeclaration method) (zkay.zkay_ast.ast.StructDefinition method) (zkay.zkay_ast.ast.TupleExpr method) (zkay.zkay_ast.ast.VariableDeclarationStatement method) (zkay.zkay_ast.ast.WhileStatement method)

process_statement_child() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayStatementTransformer method) Proof (class in zkay.zkay_ast.ast) proof_len (zkay.config.Config property) proof_param_name (zkay.config.Config property) proof_type() (zkay.zkay_ast.ast.AnnotatedTypeName static method) (zkay.zkay_ast.ast.TypeName static method) ProofGenerationError propagate() (zkay.zkay_ast.analysis.alias_analysis.AliasAnalysisVisitor method) prover() (zkay.transaction.runtime.Runtime static method) prover_key_hash_name (zkay.config.Config property) proving_scheme (zkay.config_user.UserConfig property) proving_scheme_classes (in module zkay.zkay_frontend) proving_scheme_map (in module zkay.jsnark_interface.libsnark_interface) ProvingScheme (class in zkay.compiler.privacy.proving_scheme.proving_scheme) ProvingScheme.VerifyingKey (class in zkay.compiler.privacy.proving_scheme.proving_scheme) ProvingSchemeGm17 (class in zkay.compiler.privacy.proving_scheme.backends.gm17) ProvingSchemeGm17.VerifyingKey (class in zkay.compiler.privacy.proving_scheme.backends.gm17) ProvingSchemeGroth16 (class in zkay.compiler.privacy.proving_scheme.backends.groth16) ProvingSchemeGroth16.VerifyingKey (class in zkay.compiler.privacy.proving_scheme.backends.groth16) provingschemeparams (in module zkay.compiler.privacy.proving_scheme.meta) PUB_CIRCUIT_ARG (zkay.zkay_ast.ast.HybridArgType attribute) PUB_CONTRACT_VAL (zkay.zkay_ast.ast.HybridArgType attribute) public_arg_arrays (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper property) public_args (zkay.zkay_ast.ast.HomomorphicBuiltin attribute) (zkay.zkay_ast.ast.HomomorphicBuiltinFunction attribute) PublicKeyValue (class in zkay.transaction.types) push_scope() (zkay.transaction.offchain.LocalsDict method) PythonCodeVisitor (class in zkay.zkay_ast.visitor.python_visitor) PythonOffchainVisitor (class in zkay.compiler.privacy.offchain_compiler)

Q

qualified_name (zkay.zkay_ast.ast.AST property)

R

Randomness (class in zkay.zkay_ast.ast) randomness_len (zkay.transaction.crypto.params.CryptoParams property) RandomnessValue (class in zkay.transaction.types) range_checked() (zkay.transaction.offchain.ApiWrapper static method) read_file() (in module zkay.utils.helpers) ReclassifyException ReclassifyExpr (class in zkay.zkay_ast.ast) recursive_assign() (in module zkay.zkay_ast.analysis.alias_analysis) recursive_merge() (in module zkay.zkay_ast.analysis.alias_analysis) reduced_help() (zkay.transaction.offchain.ContractSimulator static method) register_verification_contract_metadata() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) rehom_expressions (zkay.zkay_ast.build_ast.BuildASTVisitor attribute) RehomExpr (class in zkay.zkay_ast.ast) remap() (zkay.compiler.name_remapper.Remapper method) remap_scope() (zkay.compiler.name_remapper.Remapper method) RemapMapType (zkay.compiler.name_remapper.Remapper attribute) Remapper (class in zkay.compiler.name_remapper) remove() (zkay.zkay_ast.analysis.partition_state.PartitionState method) replace_expr() (in module zkay.zkay_ast.visitor.deep_copy) replace_with_surrogate() (in module zkay.compiler.solidity.fake_solidity_generator) req_public_key() (zkay.transaction.interface.ZkayBlockchainInterface method) req_state_var() (zkay.transaction.interface.ZkayBlockchainInterface method) request_private_key() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) request_public_key() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method)

requested_global_keys (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper property) RequireException (class in zkay.type_check.type_exceptions) requires_verification() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) requires_zk_data_struct() (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper method) RequireStatement (class in zkay.zkay_ast.ast) reserved_conflict_resolution_suffix (zkay.config.Config property) reserved_name_prefix (zkay.config.Config property) reset() (zkay.transaction.runtime.Runtime static method) reset_key() (zkay.compiler.name_remapper.Remapper method) return_type (zkay.zkay_ast.ast.ConstructorOrFunctionDefinition property) return_var_name (zkay.config.Config property) ReturnCheckVisitor (class in zkay.zkay_ast.analysis.return_checker) ReturnPositionException ReturnStatement (class in zkay.zkay_ast.ast) REVEAL_START_PATTERN (in module zkay.compiler.solidity.fake_solidity_generator) rnd_bytes (zkay.transaction.crypto.params.CryptoParams property) rnd_chunk_size (zkay.transaction.crypto.params.CryptoParams property) rnd_type() (zkay.zkay_ast.ast.TypeName static method) RSACrypto (class in zkay.transaction.crypto.rsa_base) RSAOAEPCrypto (class in zkay.transaction.crypto.rsa_oaep) RSAPKCS15Crypto (class in zkay.transaction.crypto.rsa_pkcs15) run_command() (in module zkay.utils.run_command) Runtime (class in zkay.transaction.runtime)

S

same_partition() (zkay.zkay_ast.analysis.partition_state.PartitionState method) sample_below() (zkay.transaction.crypto.paillier.PaillierCrypto static method) sanitized() (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) save_to_file() (in module zkay.utils.helpers) SCALAR_FIELD_NAME (in module zkay.compiler.privacy.offchain_compiler) sec_idfs (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper property) select_homomorphic_overload() (zkay.zkay_ast.ast.BuiltinFunction method) send() (zkay.transaction.types.AddressValue method) sender (zkay.transaction.types.MsgStruct property) separate_all() (zkay.zkay_ast.analysis.partition_state.PartitionState method) serialize() (zkay.zkay_ast.ast.HybridArgumentIdf method) serialize_circuit_outputs() (zkay.transaction.offchain.ApiWrapper method) serialize_pk() (zkay.transaction.interface.ZkayCryptoInterface method) serialize_private_inputs() (zkay.transaction.offchain.ApiWrapper method) set_crypto_backend() (zkay.config_user.UserConfig method) set_evaluation() (zkay.zkay_ast.analysis.circuit_compatibility_checker.PrivateSetter method) set_parents() (in module zkay.zkay_ast.pointers.parent_setter) set_solc_version() (zkay.config_version.Versions static method) set_state() (zkay.compiler.name_remapper.Remapper method) setting_later (zkay.zkay_ast.visitor.deep_copy.DeepCopyVisitor attribute) shiftop (in module zkay.zkay_ast.ast) should_evaluate_public_expr_in_circuit() (zkay.zkay_ast.analysis.circuit_compatibility_checker.CircuitComplianceChecker static method) should_use_hash() (zkay.config.Config method) shutdown() (in module zkay.my_logging) (in module zkay.my_logging.logger) SideEffectsDetector (class in zkay.zkay_ast.analysis.side_effects) SimpleKeystore (class in zkay.transaction.keystore) (class in zkay.transaction.keystore.simple) SimpleStatement (class in zkay.zkay_ast.ast)

size_in_uints (zkay.zkay_ast.ast.Array property) (zkay.zkay_ast.ast.CipherText property) (zkay.zkay_ast.ast.TypeName property) sk() (zkay.transaction.interface.ZkayKeystoreInterface method) slice() (zkay.zkay_ast.ast.IdentifierExpr method) SliceExpr (class in zkay.zkay_ast.ast) snark_backend (zkay.config_user.UserConfig property) snark_scalar_field_var_name (zkay.compiler.privacy.proving_scheme.proving_scheme.ProvingScheme attribute) solc_version (zkay.compiler.privacy.manifest.Manifest attribute) (zkay.config.Config property) SOLC_VERSION (zkay.config_version.Versions attribute) SolcException SolidityVisitor (class in zkay.zkay_ast.visitor.solidity_visitor) SourceUnit (class in zkay.zkay_ast.ast) split_into_external_and_internal_fct() (zkay.compiler.privacy.transformation.zkay_contract_transformer.ZkayTransformer method) state (zkay.transaction.offchain.ContractSimulator attribute) StateDict (class in zkay.transaction.offchain) Statement (class in zkay.zkay_ast.ast) StatementCounter (class in zkay.zkay_ast.visitor.statement_counter) StatementList (class in zkay.zkay_ast.ast) statements (zkay.zkay_ast.ast.ForStatement property) StateVariableDeclaration (class in zkay.zkay_ast.ast) STRING_OR_COMMENT_PATTERN (in module zkay.compiler.solidity.fake_solidity_generator) StringLiteralExpr (class in zkay.zkay_ast.ast) strip_reveals() (in module zkay.compiler.solidity.fake_solidity_generator) StructDefinition (class in zkay.zkay_ast.ast) StructTypeName (class in zkay.zkay_ast.ast) success_print() (in module zkay.utils.progress_printer) SymbolTableFiller (class in zkay.zkay_ast.pointers.symbol_table) SymbolTableLinker (class in zkay.zkay_ast.pointers.symbol_table)

T

T (in module zkay.zkay_ast.analysis.partition_state) (in module zkay.zkay_ast.ast) (in module zkay.zkay_ast.visitor.deep_copy) (in module zkay.zkay_ast.visitor.transformer_visitor) target (zkay.zkay_ast.ast.InstanceTarget property) target_type (zkay.zkay_ast.ast.HomomorphicBuiltinFunction attribute) TargetDefinition (in module zkay.zkay_ast.ast) TermColor (class in zkay.utils.progress_printer) tidx (zkay.transaction.offchain.ContractSimulator attribute) time_measure() (in module zkay.utils.timer) Timer (class in zkay.utils.timer) timestamp (in module zkay.my_logging.logger) (zkay.transaction.types.BlockStruct property) TMP_CIRCUIT_VAL (zkay.zkay_ast.ast.HybridArgType attribute) to_abstract_type() (zkay.zkay_ast.ast.BooleanLiteralType method) (zkay.zkay_ast.ast.EnumValueTypeName method) (zkay.zkay_ast.ast.NumberLiteralType method) to_le_32_hex_bytes() (in module zkay.transaction.crypto.elgamal) to_solidity() (in module zkay.zkay_ast.visitor.solidity_visitor) transact() (zkay.transaction.interface.ZkayBlockchainInterface method) (zkay.transaction.offchain.ApiWrapper method)

transaction_benchmark_ctx() (in module zkay.zkay_frontend) TransactionFailedException transfer() (zkay.transaction.types.AddressValue method) transform_ast() (in module zkay.compiler.privacy.transformation.zkay_contract_transformer) transform_contract() (zkay.compiler.privacy.transformation.zkay_contract_transformer.ZkayTransformer method) transform_internal_calls() (in module zkay.compiler.privacy.transformation.internal_call_transformer) transform_location() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayCircuitTransformer method) transitively_called_functions (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper attribute) try_rehom() (zkay.type_check.type_checker.TypeCheckVisitor static method) TupleExpr (class in zkay.zkay_ast.ast) TupleOrLocationExpr (class in zkay.zkay_ast.ast) TupleType (class in zkay.zkay_ast.ast) tx (zkay.zkay_ast.global_defs.GlobalVars attribute) tx_struct (zkay.zkay_ast.global_defs.GlobalDefs attribute) TxStruct (class in zkay.transaction.types) type_check() (in module zkay.type_check.type_checker) TypeCheckException TypeCheckVisitor (class in zkay.type_check.type_checker) TypeException (class in zkay.type_check.type_exceptions) TypeMismatchException (class in zkay.type_check.type_exceptions) TypeName (class in zkay.zkay_ast.ast)

U

uint_all() (zkay.zkay_ast.ast.AnnotatedTypeName static method) UINT_PATTERN (in module zkay.compiler.solidity.fake_solidity_generator) uint_type() (zkay.zkay_ast.ast.TypeName static method) UintTypeName (class in zkay.zkay_ast.ast) UNDERLINE (zkay.utils.progress_printer.TermColor attribute) UnknownIdentifierException unop() (zkay.zkay_ast.ast.Expression method) unpack_to_byte_array() (zkay.transaction.interface.ZkayCryptoInterface static method) unwrap_values() (zkay.transaction.types.Value static method)

update_special_variables() (zkay.transaction.offchain.ApiWrapper method) use_circuit_cache_during_testing_with_encryption (zkay.config_user.UserConfig property) use_config_from_manifest() (zkay.transaction.offchain.ContractSimulator static method) use_configuration_from_manifest() (in module zkay.zkay_frontend) used_crypto_backends() (zkay.zkay_ast.analysis.used_homomorphisms.UsedHomomorphismsVisitor static method) UsedHomomorphismsVisitor (class in zkay.zkay_ast.analysis.used_homomorphisms) user_address (zkay.transaction.offchain.ApiWrapper property) USER_TYPE_PATTERN (in module zkay.compiler.solidity.fake_solidity_generator) UserConfig (class in zkay.config_user) UserDefinedTypeName (class in zkay.zkay_ast.ast)

V

V (in module zkay.compiler.name_remapper) val (zkay.transaction.types.AddressValue property) (zkay.transaction.types.PrivateKeyValue property) Value (class in zkay.transaction.types) value (zkay.transaction.types.MsgStruct property) (zkay.zkay_ast.ast.BooleanLiteralType property) (zkay.zkay_ast.ast.NumberLiteralType property) values() (zkay.utils.dict_wrapper.DictWrapper method) var_decl_trafo (zkay.compiler.privacy.transformation.zkay_contract_transformer.ZkayTransformer attribute) VariableDeclaration (class in zkay.zkay_ast.ast) VariableDeclarationStatement (class in zkay.zkay_ast.ast) verbosity (zkay.config_user.UserConfig property) verification_function_name (zkay.config.Config property) verify_libs_contract_filename (zkay.compiler.privacy.proving_scheme.proving_scheme.ProvingScheme attribute) VerifyingKey (class in zkay.compiler.privacy.proving_scheme.proving_scheme) Versions (class in zkay.config_version) visit() (zkay.zkay_ast.analysis.used_homomorphisms.UsedHomomorphismsVisitor method) (zkay.zkay_ast.build_ast.BuildASTVisitor method) (zkay.zkay_ast.visitor.transformer_visitor.AstTransformerVisitor method) (zkay.zkay_ast.visitor.visitor.AstVisitor method) visit_child_expressions() (zkay.zkay_ast.analysis.side_effects.EvalOrderUBChecker static method) visit_children() (zkay.zkay_ast.visitor.transformer_visitor.AstTransformerVisitor method) visit_guarded_expression() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayExpressionTransformer method) visit_list() (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.visitor.transformer_visitor.AstTransformerVisitor method) visit_single_or_list() (zkay.zkay_ast.ast.CodeVisitor method) visitAddressPayableTypeName() (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitAddressTypeName() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitAllExpr() (zkay.zkay_ast.analysis.hybrid_function_detector.DirectHybridFunctionDetectionVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitAndExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitAnnotatedTypeName() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayVarDeclTransformer method) (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.analysis.used_homomorphisms.UsedHomomorphismsVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.build_ast.BuildASTVisitor method) (zkay.zkay_ast.visitor.deep_copy.DeepCopyVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) (zkay.zkay_ast.visitor.solidity_visitor.SolidityVisitor method) visitArray() (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitArrayLiteralExpr() (zkay.zkay_ast.ast.CodeVisitor method) visitAssignmentExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitAssignmentStatement() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayCircuitTransformer method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayStatementTransformer method) (zkay.type_check.final_checker.FinalVisitor method) (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.analysis.alias_analysis.AliasAnalysisVisitor method) (zkay.zkay_ast.analysis.circuit_compatibility_checker.DirectCanBePrivateDetector method) (zkay.zkay_ast.analysis.side_effects.DirectModificationDetector method) (zkay.zkay_ast.analysis.side_effects.EvalOrderUBChecker method) (zkay.zkay_ast.analysis.side_effects.SideEffectsDetector method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitAST() (zkay.type_check.contains_private.ContainsPrivateVisitor method) (zkay.zkay_ast.analysis.contains_private_checker.ContainsPrivVisitor method) (zkay.zkay_ast.analysis.side_effects.DirectModificationDetector method) (zkay.zkay_ast.analysis.side_effects.IndirectModificationDetector method) (zkay.zkay_ast.analysis.side_effects.SideEffectsDetector method) (zkay.zkay_ast.analysis.used_homomorphisms.UsedHomomorphismsVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.visitor.transformer_visitor.AstTransformerVisitor method) visitBitShiftExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitBitwiseAndExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitBitwiseNotExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitBitwiseOrExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitBitwiseXorExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitBlock() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayCircuitTransformer method) (zkay.zkay_ast.analysis.alias_analysis.AliasAnalysisVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) (zkay.zkay_ast.visitor.statement_counter.StatementCounter method) visitBooleanLiteralExpr() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.build_ast.BuildASTVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitBreakStatement() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayStatementTransformer method) (zkay.zkay_ast.analysis.alias_analysis.AliasAnalysisVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitBuiltinFunction() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayExpressionTransformer method) (zkay.zkay_ast.visitor.deep_copy.DeepCopyVisitor method) visitChildren() (zkay.zkay_ast.analysis.used_homomorphisms.UsedHomomorphismsVisitor method) (zkay.zkay_ast.build_ast.BuildASTVisitor method) (zkay.zkay_ast.pointers.parent_setter.ParentSetterVisitor method) (zkay.zkay_ast.visitor.deep_copy.DeepCopyVisitor method) (zkay.zkay_ast.visitor.visitor.AstVisitor method) visitCipherText() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) visitCircCall() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkVisitor method) visitCircComment() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkVisitor method) visitCircEncConstraint() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkVisitor method) visitCircEqConstraint() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkVisitor method) visitCircGuardModification() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkVisitor method) visitCircIndentBlock() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkVisitor method) visitCircSymmEncConstraint() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkVisitor method) visitCircuit() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkVisitor method) visitCircuitComputationStatement() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) visitCircuitDirectiveStatement() (zkay.zkay_ast.ast.CodeVisitor method) visitCircuitInputStatement() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) visitCircVarDecl() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkVisitor method) visitComment() (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitCompExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitConstructorDefinition() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitConstructorOrFunctionDefinition() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) (zkay.type_check.final_checker.FinalVisitor method) (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.analysis.alias_analysis.AliasAnalysisVisitor method) (zkay.zkay_ast.analysis.call_graph.IndirectCalledFunctionDetector method) (zkay.zkay_ast.analysis.call_graph.IndirectDynamicBodyDetector method) (zkay.zkay_ast.analysis.circuit_compatibility_checker.IndirectCanBePrivateDetector method) (zkay.zkay_ast.analysis.hybrid_function_detector.DirectHybridFunctionDetectionVisitor method) (zkay.zkay_ast.analysis.hybrid_function_detector.IndirectHybridFunctionDetectionVisitor method) (zkay.zkay_ast.analysis.used_homomorphisms.UsedHomomorphismsVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.pointers.parent_setter.ParentSetterVisitor method) (zkay.zkay_ast.pointers.symbol_table.SymbolTableFiller method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitContinueStatement() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayStatementTransformer method) (zkay.zkay_ast.analysis.alias_analysis.AliasAnalysisVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitContractDefinition() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) (zkay.type_check.final_checker.FinalVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.build_ast.BuildASTVisitor method) (zkay.zkay_ast.pointers.symbol_table.SymbolTableFiller method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitDoWhileStatement() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayStatementTransformer method) (zkay.zkay_ast.analysis.alias_analysis.AliasAnalysisVisitor method) (zkay.zkay_ast.analysis.loop_checker.LoopChecker method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.build_ast.BuildASTVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitElementaryTypeName() (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.build_ast.BuildASTVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitEncryptionExpression() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) visitEnterPrivateKeyStatement() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) visitEnumDefinition() (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.analysis.used_homomorphisms.UsedHomomorphismsVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.build_ast.BuildASTVisitor method) (zkay.zkay_ast.pointers.symbol_table.SymbolTableFiller method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitEnumTypeName() (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitEnumValue() (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.build_ast.BuildASTVisitor method) (zkay.zkay_ast.pointers.symbol_table.SymbolTableFiller method) visitEqExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitExpression() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayCircuitTransformer method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayExpressionTransformer method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayStatementTransformer method) (zkay.zkay_ast.analysis.circuit_compatibility_checker.PrivateSetter method) (zkay.zkay_ast.analysis.contains_private_checker.ContainsPrivVisitor method) (zkay.zkay_ast.analysis.side_effects.EvalOrderUBChecker method) (zkay.zkay_ast.analysis.side_effects.SideEffectsDetector method) (zkay.zkay_ast.analysis.used_homomorphisms.UsedHomomorphismsVisitor method) (zkay.zkay_ast.pointers.parent_setter.ExpressionToStatementVisitor method) (zkay.zkay_ast.visitor.deep_copy.DeepCopyVisitor method) visitExpressionStatement() (zkay.zkay_ast.analysis.alias_analysis.AliasAnalysisVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.build_ast.BuildASTVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitForStatement() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayStatementTransformer method) (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.analysis.alias_analysis.AliasAnalysisVisitor method) (zkay.zkay_ast.analysis.call_graph.DirectCalledFunctionDetector method) (zkay.zkay_ast.analysis.loop_checker.LoopChecker method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.build_ast.BuildASTVisitor method) (zkay.zkay_ast.pointers.symbol_table.SymbolTableFiller method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitFunctionCallExpr() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkVisitor method) (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayCircuitTransformer method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayExpressionTransformer method) (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.analysis.alias_analysis.GuardConditionAnalyzer method) (zkay.zkay_ast.analysis.call_graph.DirectCalledFunctionDetector method) (zkay.zkay_ast.analysis.circuit_compatibility_checker.CircuitComplianceChecker method) (zkay.zkay_ast.analysis.circuit_compatibility_checker.DirectCanBePrivateDetector method) (zkay.zkay_ast.analysis.circuit_compatibility_checker.NonstaticOrIncompatibilityDetector method) (zkay.zkay_ast.analysis.circuit_compatibility_checker.PrivateSetter method) (zkay.zkay_ast.analysis.contains_private_checker.ContainsPrivVisitor method) (zkay.zkay_ast.analysis.hybrid_function_detector.DirectHybridFunctionDetectionVisitor method) (zkay.zkay_ast.analysis.hybrid_function_detector.NonInlineableCallDetector method) (zkay.zkay_ast.analysis.side_effects.EvalOrderUBChecker method) (zkay.zkay_ast.analysis.side_effects.IndirectModificationDetector method) (zkay.zkay_ast.analysis.side_effects.SideEffectsDetector method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.build_ast.BuildASTVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method)

visitFunctionDefinition() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitHomomorphismAnnotation() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitIdentifier() (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.build_ast.BuildASTVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitIdentifierDeclaration() (zkay.zkay_ast.analysis.used_homomorphisms.UsedHomomorphismsVisitor method) visitIdentifierExpr() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkVisitor method) (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayCircuitTransformer method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayExpressionTransformer method) (zkay.type_check.final_checker.FinalVisitor method) (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.pointers.symbol_table.SymbolTableLinker method) visitIfStatement() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayCircuitTransformer method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayStatementTransformer method) (zkay.type_check.final_checker.FinalVisitor method) (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.analysis.alias_analysis.AliasAnalysisVisitor method) (zkay.zkay_ast.analysis.circuit_compatibility_checker.CircuitComplianceChecker method) (zkay.zkay_ast.analysis.circuit_compatibility_checker.DirectCanBePrivateDetector method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.build_ast.BuildASTVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitIndentBlock() (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitIndexExpr() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkVisitor method) (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayCircuitTransformer method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayExpressionTransformer method) (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.analysis.circuit_compatibility_checker.CircuitComplianceChecker method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.build_ast.BuildASTVisitor method) (zkay.zkay_ast.pointers.symbol_table.SymbolTableLinker method) visitIteExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitKey() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) visitKeyLiteralExpr() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) visitLiteralExpr() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayCircuitTransformer method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayExpressionTransformer method) visitLocationExpr() (zkay.zkay_ast.analysis.circuit_compatibility_checker.DirectCanBePrivateDetector method) (zkay.zkay_ast.analysis.side_effects.DirectModificationDetector method) visitMapping() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayVarDeclTransformer method) (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.pointers.symbol_table.SymbolTableFiller method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitMeExpr() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayExpressionTransformer static method) (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) (zkay.zkay_ast.visitor.solidity_visitor.SolidityVisitor method) visitMemberAccessExpr() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkVisitor method) (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayExpressionTransformer method) (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.pointers.symbol_table.SymbolTableLinker method) visitModifier() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitMultDivModExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitNamespaceDefinition() (zkay.zkay_ast.pointers.parent_setter.ParentSetterVisitor method) visitNewExpr() (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitNotExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitNumberLiteralExpr() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitOrExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitParameter() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayVarDeclTransformer method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.visitor.function_visitor.FunctionVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitParenthesisExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitPlusMinusExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitPostCrementExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitPowExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitPragmaDirective() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitPreCrementExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitPrimitiveCastExpr() (zkay.compiler.privacy.circuit_generation.backends.jsnark_generator.JsnarkVisitor method) (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayExpressionTransformer method) (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.analysis.circuit_compatibility_checker.CircuitComplianceChecker method) (zkay.zkay_ast.analysis.hybrid_function_detector.DirectHybridFunctionDetectionVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) visitRandomness() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) visitReclassifyExpr() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayCircuitTransformer method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayExpressionTransformer method) (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.analysis.circuit_compatibility_checker.CircuitComplianceChecker method) (zkay.zkay_ast.analysis.circuit_compatibility_checker.DirectCanBePrivateDetector method) (zkay.zkay_ast.analysis.hybrid_function_detector.DirectHybridFunctionDetectionVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitRehomExpr() (zkay.zkay_ast.ast.CodeVisitor method) visitRequireStatement() (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.analysis.alias_analysis.AliasAnalysisVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitReturnStatement() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayCircuitTransformer method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayStatementTransformer method) (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.analysis.alias_analysis.AliasAnalysisVisitor method) (zkay.zkay_ast.analysis.circuit_compatibility_checker.DirectCanBePrivateDetector method) (zkay.zkay_ast.analysis.return_checker.ReturnCheckVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitSignExpr() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitSimpleStatement() (zkay.zkay_ast.pointers.symbol_table.SymbolTableFiller method) visitSliceExpr() (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitSourceUnit() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) (zkay.compiler.privacy.transformation.zkay_contract_transformer.ZkayTransformer method) (zkay.zkay_ast.analysis.used_homomorphisms.UsedHomomorphismsVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.pointers.parent_setter.ParentSetterVisitor method) (zkay.zkay_ast.pointers.symbol_table.SymbolTableFiller method) (zkay.zkay_ast.visitor.function_visitor.FunctionVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitStatement() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayCircuitTransformer method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayStatementTransformer method) (zkay.zkay_ast.analysis.alias_analysis.AliasAnalysisVisitor method) (zkay.zkay_ast.analysis.circuit_compatibility_checker.DirectCanBePrivateDetector method) (zkay.zkay_ast.analysis.side_effects.SideEffectsDetector method) (zkay.zkay_ast.pointers.parent_setter.ExpressionToStatementVisitor method) (zkay.zkay_ast.visitor.deep_copy.DeepCopyVisitor method) (zkay.zkay_ast.visitor.statement_counter.StatementCounter method) visitStatementList() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayStatementTransformer method) (zkay.zkay_ast.analysis.alias_analysis.AliasAnalysisVisitor method) (zkay.zkay_ast.analysis.circuit_compatibility_checker.DirectCanBePrivateDetector method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.pointers.symbol_table.SymbolTableFiller method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitStateVariableDeclaration() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayVarDeclTransformer method) (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) visitStringLiteralExpr() (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitStructDefinition() (zkay.zkay_ast.analysis.used_homomorphisms.UsedHomomorphismsVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.pointers.symbol_table.SymbolTableFiller method) visitTupleExpr() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayExpressionTransformer method) (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitTupleType() (zkay.zkay_ast.ast.CodeVisitor method) visitUserDefinedTypeName() (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.pointers.symbol_table.SymbolTableLinker method) (zkay.zkay_ast.visitor.deep_copy.DeepCopyVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitVariableDeclaration() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayVarDeclTransformer method) (zkay.zkay_ast.analysis.side_effects.DirectModificationDetector method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.pointers.symbol_table.SymbolTableFiller method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitVariableDeclarationStatement() (zkay.compiler.privacy.offchain_compiler.PythonOffchainVisitor method) (zkay.compiler.privacy.transformation.zkay_transformer.ZkayCircuitTransformer method) (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.analysis.alias_analysis.AliasAnalysisVisitor method) (zkay.zkay_ast.analysis.circuit_compatibility_checker.DirectCanBePrivateDetector method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method) visitVersionPragma() (zkay.zkay_ast.build_ast.BuildASTVisitor method) visitWhileStatement() (zkay.compiler.privacy.transformation.zkay_transformer.ZkayStatementTransformer method) (zkay.type_check.type_checker.TypeCheckVisitor method) (zkay.zkay_ast.analysis.alias_analysis.AliasAnalysisVisitor method) (zkay.zkay_ast.analysis.call_graph.DirectCalledFunctionDetector method) (zkay.zkay_ast.analysis.loop_checker.LoopChecker method) (zkay.zkay_ast.ast.CodeVisitor method) (zkay.zkay_ast.build_ast.BuildASTVisitor method) (zkay.zkay_ast.visitor.python_visitor.PythonCodeVisitor method)

W

warn_print() (in module zkay.utils.progress_printer) WARNING (zkay.utils.progress_printer.TermColor attribute) Web3Blockchain (class in zkay.transaction.blockchain.web3py) Web3CustomBlockchain (class in zkay.transaction.blockchain) (class in zkay.transaction.blockchain.web3py) Web3HttpBlockchain (class in zkay.transaction.blockchain) (class in zkay.transaction.blockchain.web3py) Web3HttpGanacheBlockchain (class in zkay.transaction.blockchain) (class in zkay.transaction.blockchain.web3py) Web3IpcBlockchain (class in zkay.transaction.blockchain) (class in zkay.transaction.blockchain.web3py)

Web3TesterBlockchain (class in zkay.transaction.blockchain) (class in zkay.transaction.blockchain.web3py) Web3WebsocketBlockchain (class in zkay.transaction.blockchain) (class in zkay.transaction.blockchain.web3py) WhileStatement (class in zkay.zkay_ast.ast) with_changed_storage() (zkay.zkay_ast.ast.Parameter method) with_homomorphism() (zkay.zkay_ast.ast.AnnotatedTypeName method) with_manifest_config() (zkay.compiler.privacy.manifest.Manifest static method) without_extension() (in module zkay.utils.helpers) WS_PATTERN (in module zkay.compiler.solidity.fake_solidity_generator)

Z

ZERO (in module zkay.transaction.crypto.babyjubjub), [1] zk__div() (in module zkay.transaction.solidity_math) zk__mod() (in module zkay.transaction.solidity_math) zk_data_struct_name (zkay.compiler.privacy.circuit_generation.circuit_helper.CircuitHelper property) zk_data_var_name (zkay.config.Config property) zk_in_name (zkay.config.Config property) zk_out_name (zkay.config.Config property) zk_print() (in module zkay.config) zk_print_banner() (in module zkay.config) zk_struct_prefix (zkay.config.Config property) zkay module zkay.__main__ module zkay.compiler module zkay.compiler.name_remapper module zkay.compiler.privacy module zkay.compiler.privacy.circuit_generation module zkay.compiler.privacy.circuit_generation.backends module zkay.compiler.privacy.circuit_generation.backends.jsnark_generator module zkay.compiler.privacy.circuit_generation.circuit_constraints module zkay.compiler.privacy.circuit_generation.circuit_generator module zkay.compiler.privacy.circuit_generation.circuit_helper module zkay.compiler.privacy.circuit_generation.name_factory module zkay.compiler.privacy.library_contracts module zkay.compiler.privacy.manifest module zkay.compiler.privacy.offchain_compiler module zkay.compiler.privacy.proving_scheme module zkay.compiler.privacy.proving_scheme.backends module zkay.compiler.privacy.proving_scheme.backends.gm17 module zkay.compiler.privacy.proving_scheme.backends.groth16 module zkay.compiler.privacy.proving_scheme.meta module zkay.compiler.privacy.proving_scheme.proving_scheme module zkay.compiler.privacy.transformation module zkay.compiler.privacy.transformation.internal_call_transformer module zkay.compiler.privacy.transformation.zkay_contract_transformer module zkay.compiler.privacy.transformation.zkay_transformer module zkay.compiler.solidity module zkay.compiler.solidity.compiler module zkay.compiler.solidity.fake_solidity_generator module zkay.config module zkay.config_user module zkay.config_version module zkay.errors module zkay.errors.exceptions module zkay.jsnark_interface module zkay.jsnark_interface.jsnark_interface module zkay.jsnark_interface.libsnark_interface module zkay.my_logging module zkay.my_logging.log_context module zkay.my_logging.logger module zkay.transaction module zkay.transaction.blockchain module zkay.transaction.blockchain.web3py module zkay.transaction.crypto module zkay.transaction.crypto.babyjubjub module zkay.transaction.crypto.dummy module zkay.transaction.crypto.dummy_hom module zkay.transaction.crypto.ecdh_aes module zkay.transaction.crypto.ecdh_base module zkay.transaction.crypto.ecdh_chaskey module zkay.transaction.crypto.elgamal module zkay.transaction.crypto.meta module zkay.transaction.crypto.paillier module zkay.transaction.crypto.params module zkay.transaction.crypto.rsa_base module zkay.transaction.crypto.rsa_oaep module zkay.transaction.crypto.rsa_pkcs15 module

zkay.transaction.int_casts module zkay.transaction.interface module zkay.transaction.keystore module zkay.transaction.keystore.simple module zkay.transaction.offchain module zkay.transaction.prover module zkay.transaction.prover.jsnark module zkay.transaction.runtime module zkay.transaction.solidity_math module zkay.transaction.types module zkay.type_check module zkay.type_check.contains_private module zkay.type_check.final_checker module zkay.type_check.type_checker module zkay.type_check.type_exceptions module zkay.utils module zkay.utils.dict_wrapper module zkay.utils.helpers module zkay.utils.multiline_formatter module zkay.utils.progress_printer module zkay.utils.run_command module zkay.utils.timer module zkay.zkay_ast module zkay.zkay_ast.analysis module zkay.zkay_ast.analysis.alias_analysis module zkay.zkay_ast.analysis.call_graph module zkay.zkay_ast.analysis.circuit_compatibility_checker module zkay.zkay_ast.analysis.contains_private_checker module zkay.zkay_ast.analysis.hybrid_function_detector module zkay.zkay_ast.analysis.loop_checker module zkay.zkay_ast.analysis.partition_state module zkay.zkay_ast.analysis.return_checker module zkay.zkay_ast.analysis.side_effects module zkay.zkay_ast.analysis.used_homomorphisms module zkay.zkay_ast.ast module zkay.zkay_ast.build_ast module zkay.zkay_ast.global_defs module zkay.zkay_ast.homomorphism module zkay.zkay_ast.pointers module zkay.zkay_ast.pointers.parent_setter module zkay.zkay_ast.pointers.pointer_exceptions module zkay.zkay_ast.pointers.symbol_table module zkay.zkay_ast.process_ast module zkay.zkay_ast.visitor module zkay.zkay_ast.visitor.deep_copy module zkay.zkay_ast.visitor.function_visitor module zkay.zkay_ast.visitor.python_visitor module zkay.zkay_ast.visitor.solidity_visitor module zkay.zkay_ast.visitor.statement_counter module zkay.zkay_ast.visitor.transformer_visitor module zkay.zkay_ast.visitor.visitor module zkay.zkay_frontend module ZKAY_LIBRARY_SOLC_VERSION (zkay.config_version.Versions attribute) zkay_options (zkay.compiler.privacy.manifest.Manifest attribute) zkay_solc_version_compatibility (zkay.config.Config property) ZKAY_SOLC_VERSION_COMPATIBILITY (zkay.config_version.Versions attribute) zkay_type (zkay.zkay_ast.ast.AnnotatedTypeName property) zkay_version (zkay.compiler.privacy.manifest.Manifest attribute) (zkay.config.Config property) ZkayBlockchainInterface (class in zkay.transaction.interface) ZkayCircuitTransformer (class in zkay.compiler.privacy.transformation.zkay_transformer) ZkayCompilerError ZkayCryptoInterface (class in zkay.transaction.interface) ZkayExpressionTransformer (class in zkay.compiler.privacy.transformation.zkay_transformer) ZkayHomomorphicCryptoInterface (class in zkay.transaction.interface) ZkayKeystoreInterface (class in zkay.transaction.interface) ZkayProverInterface (class in zkay.transaction.interface) ZkayStatementTransformer (class in zkay.compiler.privacy.transformation.zkay_transformer) ZkaySyntaxError ZkayTransformer (class in zkay.compiler.privacy.transformation.zkay_contract_transformer) ZkayVarDeclTransformer (class in zkay.compiler.privacy.transformation.zkay_transformer)