MCPcopy Create free account

hub / github.com/ProvableHQ/python-sdk / functions

Functions424 in github.com/ProvableHQ/python-sdk

⨍ Functions 424◇ Types & classes 54
↓ 25 callersMethodadd_input
( self, leo_type, naming_strategy="xi", active=False, value=None, name=None )
zkml/zkml/_input_generator.py:138
↓ 24 callersMethodfrom_bytes
(bytes: &[u8])
sdk/src/programs/fee.rs:64
↓ 20 callersMethodfrom_string
(s: &str)
sdk/src/account/text.rs:36
↓ 19 callersMethod_convert_to_fixed_point
(self, value, power=1)
zkml/zkml/_model_transpiler.py:156
↓ 15 callersMethodto_leo
Transpile and store the Leo program to a specified directory. This method transpiles the model to a Leo program and saves it, along with
zkml/zkml/leo_transpiler.py:60
↓ 14 callersMethodrun
Run the model to get a Leo computation for a given input sample. Parameters ---------- input : Union[ndarray, List[float], Da
zkml/zkml/leo_transpiler.py:116
↓ 8 callersFunctioncompute_haar_features
(image)
zkml/tests/helper.py:399
↓ 7 callersMethodget_struct_definitions_and_circuit_input_string
(self)
zkml/zkml/_input_generator.py:165
↓ 7 callersMethoduse_input
(self, index)
zkml/zkml/_input_generator.py:161
↓ 6 callersFunctionread_idx1_ubyte_label_file
Read IDX1-ubyte formatted label data.
zkml/tests/helper.py:220
↓ 6 callersFunctionread_idx3_ubyte_image_file
Read IDX3-ubyte formatted image data.
zkml/tests/helper.py:199
↓ 6 callersMethodverify
Verifies (challenge == challenge') && (address == address') where: challenge' := HashToScalar(G^response pk_sig^challenge, pk_sig, pr_sig, address, me
sdk/src/account/signature.rs:67
↓ 5 callersFunction_get_rounding_decimal_places
(value, max_places=10)
zkml/zkml/_helper.py:2
↓ 5 callersMethod_handle_run_execute
(self, input, command)
zkml/zkml/leo_transpiler.py:194
↓ 5 callersMethodload
()
sdk/src/coinbase/puzzle.rs:29
↓ 4 callersMethodaddress
Derives the account address from an account private key.
sdk/src/account/private_key.rs:49
↓ 4 callersMethoddomain_separator
(domain: &str)
sdk/src/algebra/field.rs:53
↓ 4 callersFunctionget_bounding_box
Extract the bounding box from an MNIST image. Args: img (np.ndarray): 2D numpy array representing the MNIST image.
zkml/tests/helper.py:297
↓ 4 callersFunctiontransform_docstring
(doc)
sdk/docs/source/conf.py:54
↓ 3 callersFunctionaspect_ratio
(image, threshold=0.5)
zkml/tests/helper.py:427
↓ 3 callersFunctiondownload_and_extract_dataset
Download and extract dataset if it doesn't exist.
zkml/tests/helper.py:143
↓ 3 callersMethodexecute
Run the model to get a zero-knowledge proof for a given input sample. Parameters ---------- input : Union[ndarray, List[float
zkml/zkml/leo_transpiler.py:138
↓ 3 callersMethodgenerate_input
(self, fixed_point_features)
zkml/zkml/_input_generator.py:253
↓ 3 callersFunctionnum_regions_below_threshold
(image, threshold=0.5)
zkml/tests/helper.py:448
↓ 3 callersFunctionprepare_MNIST_MLP
(train_features_resized_normalized, val_features_resized_normalized, test_features_resized_normalized, train_l
zkml/tests/helper.py:572
↓ 3 callersFunctionprepare_MNIST_haar
()
zkml/tests/helper.py:136
↓ 2 callersMethod__extract_value
(plaintext: Plaintext, identifier: str)
sdk/python/aleo/encryptor.py:40
↓ 2 callersMethod_get_numeric_range_model_inference
(self, scaling_factor=1)
zkml/zkml/_model_transpiler.py:131
↓ 2 callersMethod_handle_input
(self, input, command)
zkml/zkml/leo_transpiler.py:159
↓ 2 callersMethod_merge_into_transpiled_code
( self, project_name, struct_definitions, circuit_inputs, circuit_outp
zkml/zkml/_model_transpiler.py:186
↓ 2 callersMethodadd_struct_definition_to_directory
(self, unique_struct_directory)
zkml/zkml/_input_generator.py:65
↓ 2 callersMethoddecrypt_private_key_with_secret
Decrypts a private key from ciphertext using a secret.
sdk/python/aleo/encryptor.py:17
↓ 2 callersMethoddownload_and_extract_dataset
Download and extract dataset if it doesn't exist.
zkml/tests/test_leo_transpiler.py:217
↓ 2 callersFunctionevaluate_model
(model)
zkml/tests/helper.py:576
↓ 2 callersMethodexecute
Executes the given authorization.
sdk/src/programs/process.rs:153
↓ 2 callersMethodfrom_field
(field: Field)
sdk/src/programs/literal.rs:49
↓ 2 callersMethodfrom_json
(json: &str)
sdk/src/programs/fee.rs:53
↓ 2 callersMethodfrom_literal
(literal: Literal)
sdk/src/programs/value.rs:41
↓ 2 callersMethodfrom_private_key
(private_key: PrivateKey)
sdk/src/account/mod.rs:65
↓ 2 callersMethodget_input_value_string
(self)
zkml/zkml/_input_generator.py:126
↓ 2 callersMethodhash_psd2
(input: Vec<Field>)
sdk/src/network/mod.rs:50
↓ 2 callersMethodid
()
sdk/src/network/mod.rs:38
↓ 2 callersMethodis_struct
Returns true if self if Plaintext::Struct.
sdk/src/account/text.rs:129
↓ 2 callersMethodnew_literal
(literal: Literal)
sdk/src/account/text.rs:93
↓ 2 callersMethodprepare
(&mut self, query: Query)
sdk/src/programs/trace.rs:72
↓ 2 callersMethodseed
Returns the account seed.
sdk/src/account/private_key.rs:71
↓ 2 callersMethodto_json
Serialize the given Fee as a JSON string.
sdk/src/programs/fee.rs:58
↓ 2 callersMethodview_key
Initializes a new account view key from an account private key.
sdk/src/account/private_key.rs:91
↓ 1 callersMethod__decrypt_field
(ciphertext: Ciphertext, secret: str, domain: str)
sdk/python/aleo/encryptor.py:52
↓ 1 callersMethod__encrypt_field
(field: Field, secret: str, domain: str)
sdk/python/aleo/encryptor.py:25
↓ 1 callersMethod__init__
(self, model, validation_data, pre_set_fixed_point_scaling_factor, **kwargs)
zkml/zkml/_model_transpiler.py:373
↓ 1 callersMethod__init__
( self, input, output, circuit_constraints, active_input_count,
zkml/zkml/_computation_base.py:83
↓ 1 callersMethod_assign_inputs_to_structs
(self)
zkml/zkml/_input_generator.py:171
↓ 1 callersMethod_check_installed_leo_version
Check if Leo is installed and the version is up to date. Returns ------- None Raises ------ ValueErr
zkml/zkml/leo_transpiler.py:393
↓ 1 callersMethod_convert_from_fixed_point
(self, value)
zkml/zkml/_model_transpiler.py:174
↓ 1 callersMethod_execute_leo_cli
Execute a Leo CLI command. Parameters ---------- command : str The command to execute. inputs : List[str]
zkml/zkml/leo_transpiler.py:206
↓ 1 callersMethod_get_fixed_point_and_leo_type
(self, value)
zkml/zkml/_model_transpiler.py:183
↓ 1 callersFunction_get_leo_integer_type
(signed: bool, value_bits: int)
zkml/zkml/_leo_helper.py:20
↓ 1 callersMethod_get_max_decimal_places_data
(self)
zkml/zkml/_model_transpiler.py:138
↓ 1 callersMethod_get_max_decimal_places_model
(self)
zkml/zkml/_model_transpiler.py:135
↓ 1 callersMethod_get_min_max_pre_activation_values
(self, model, X, scaling_factor=1)
zkml/zkml/_model_transpiler.py:435
↓ 1 callersFunction_get_model_transpiler
(model, validation_data, fixed_point_scaling_factor=None, **kwargs)
zkml/zkml/_model_transpiler.py:17
↓ 1 callersMethod_get_numeric_range_data
(self)
zkml/zkml/_model_transpiler.py:123
↓ 1 callersMethod_get_numeric_range_model
(self)
zkml/zkml/_model_transpiler.py:120
↓ 1 callersMethod_numbers_get_leo_type_and_fixed_point_scaling_factor
(self)
zkml/zkml/_model_transpiler.py:43
↓ 1 callersMethod_parse_leo_output
Parse the Leo output. Parameters ---------- command : str The command that was executed. result : str
zkml/zkml/leo_transpiler.py:247
↓ 1 callersMethod_store_environment_file
Store the environment configuration file. Returns ------- None
zkml/zkml/leo_transpiler.py:375
↓ 1 callersMethod_store_leo_program
Store the Leo program. Parameters ---------- project_name : str The name of the project. Returns
zkml/zkml/leo_transpiler.py:331
↓ 1 callersMethod_store_program_json
Store the program.json file. Parameters ---------- project_name : str The name of the project. Returns
zkml/zkml/leo_transpiler.py:350
↓ 1 callersMethod_transpile_decision_tree_logic_to_leo_code
( self, tree, model_as_input, node=0, indentation="" )
zkml/zkml/_model_transpiler.py:292
↓ 1 callersMethod_transpile_mlp_logic_to_leo_code
( self, mlp, model_as_input, indentation="", prune_threshold_weights=0
zkml/zkml/_model_transpiler.py:549
↓ 1 callersMethod_transpile_mlp_logic_to_leo_code_1
( self, mlp, model_as_input, indentation="", prune_threshold_weights=0
zkml/zkml/_model_transpiler.py:585
↓ 1 callersMethod_transpile_mlp_logic_to_leo_code_3
( self, mlp, model_as_input, indentation="", prune_threshold_weights=0
zkml/zkml/_model_transpiler.py:874
↓ 1 callersMethod_transpile_mlp_logic_to_leo_code_4
( self, mlp, model_as_input, indentation="", prune_threshold_weights=0
zkml/zkml/_model_transpiler.py:1009
↓ 1 callersMethodadd_program
Adds a new program to the process
sdk/src/programs/process.rs:40
↓ 1 callersMethodaddress
Returns an account address.
sdk/src/account/mod.rs:86
↓ 1 callersMethodas_literal
Unboxes the underlying Plaintext::Literal.
sdk/src/account/text.rs:139
↓ 1 callersMethodas_struct
Unboxes the underlying Plaintext::Struct.
sdk/src/account/text.rs:147
↓ 1 callersMethodauthorize
Authorizes a call to the program function for the given inputs.
sdk/src/programs/process.rs:94
↓ 1 callersMethodauthorize_fee_public
Authorizes the fee given the the fee amount (in microcredits) and the deployment or execution ID.
sdk/src/programs/process.rs:134
↓ 1 callersMethodconvert_computation_base_outputs_to_decimal
(self, computation_base)
zkml/zkml/_model_transpiler.py:165
↓ 1 callersMethodcredits
()
sdk/src/programs/program.rs:40
↓ 1 callersMethoddecrypt
Decrypts self into plaintext using the given account view key & nonce.
sdk/src/account/text.rs:41
↓ 1 callersMethoddecrypt_symmetric
Decrypts self into plaintext using the given plaintext view key.
sdk/src/account/text.rs:48
↓ 1 callersMethodencrypt_private_key_with_secret
Encrypts a private key into ciphertext using a secret.
sdk/python/aleo/encryptor.py:10
↓ 1 callersMethodencrypt_symmetric
Encrypts self under the given plaintext view key.
sdk/src/account/text.rs:117
↓ 1 callersMethodexecution_cost
Returns the *minimum* cost in microcredits to publish the given execution (total cost, (storage cost, finalize cost)).
sdk/src/programs/process.rs:170
↓ 1 callersMethodexecution_id
Returns the Execution ID.
sdk/src/programs/execution.rs:32
↓ 1 callersMethodfrom_address
(address: Address)
sdk/src/programs/literal.rs:44
↓ 1 callersMethodfrom_execution
(execution: Execution, fee: Option<Fee>)
sdk/src/programs/transaction.rs:34
↓ 1 callersMethodfrom_seed
(seed: Field)
sdk/src/account/private_key.rs:60
↓ 1 callersMethodfrom_u64
(value: U64)
sdk/src/programs/literal.rs:114
↓ 1 callersMethodfunction_name
Returns the function name.
sdk/src/programs/transition.rs:42
↓ 1 callersMethodgenerate_circuit_input_string
(self)
zkml/zkml/_input_generator.py:247
↓ 1 callersMethodgenerate_struct_definitions
(self)
zkml/zkml/_input_generator.py:211
↓ 1 callersMethodget_set_value
(self)
zkml/zkml/_input_generator.py:120
↓ 1 callersMethodid
Returns the id of the program
sdk/src/programs/program.rs:45
↓ 1 callersMethodis_literal
Returns true if self if Plaintext::Literal.
sdk/src/account/text.rs:124
↓ 1 callersMethodmicro
(&self)
sdk/src/credits/mod.rs:31
↓ 1 callersMethodmlp_to_pseudocode
(self, mlp)
zkml/zkml/_model_transpiler.py:1146
next →1–100 of 424, ranked by callers