MCPcopy Create free account

hub / github.com/NilFoundation/zkLLVM / functions

Functions282 in github.com/NilFoundation/zkLLVM

⨍ Functions 282◇ Types & classes 17
↓ 50 callersFunctionread_boost_json
tests/cpp/read_boost_json.hpp:23
↓ 21 callersFunctionevaluate_root
examples/cpp/merkle_poseidon_21prover_3layers.cpp:9
↓ 18 callersFunctionerror
Print error message and exit with code `1`.
rslang-installer.py:198
↓ 13 callersFunctiontranscript_challenge
examples/cpp/placeholder_verifier.cpp:115
↓ 9 callersFunctiontranscript
examples/cpp/placeholder_verifier.cpp:104
↓ 8 callersFunctioncmd_output
Run `cmd` in shell, exiting with error, if it fails.
rslang-installer.py:218
↓ 8 callersFunctionread_string
tests/cpp/read_boost_json.hpp:166
↓ 6 callersMethodformat
(self, record)
rslang-installer.py:171
↓ 5 callersFunctionevaluate_root
examples/cpp/merkle_poseidon_5provers.cpp:9
↓ 4 callersFunctionhash
This will be arkworks function in the future. All of the implementation details will be hidden from user.
examples/rust/examples/merkle_tree_sha2_256.rs:37
↓ 3 callersFunctionpolynomial_eval
examples/cpp/polynomial.cpp:5
↓ 3 callersFunctionrequire
Run a command, returning its output. On error, If `exception` is `True`, raise the error Otherwise If `exit` is `True`, exit the p
detect-platform.py:13
↓ 2 callersFunctioncheck_root
examples/cpp/merkle_poseidon_2provers.cpp:9
↓ 2 callersFunctioncmd_output_no_fail
Run `cmd` in shell, returning `None`, if it fails.
rslang-installer.py:234
↓ 2 callersFunctionevaluate_root
examples/cpp/merkle_poseidon_3provers.cpp:9
↓ 2 callersFunctionfind_asset_by_name
(release: Release, pattern: re.Pattern)
rslang-installer.py:505
↓ 2 callersFunctionis_same
examples/cpp/zkbridge.cpp:34
↓ 2 callersFunctionneed_cmd
Exits with error, if `cmd` as a shell command is not found.
rslang-installer.py:211
↓ 2 callersFunctionprocess_dist
Download asset, unpack it and install.
rslang-installer.py:574
↓ 2 callersFunctionread_json
bin/assigner/src/main.cpp:374
↓ 2 callersFunctionverify_signature
examples/cpp/zkbridge.cpp:40
↓ 1 callersFunctionarithmetics_loop
tests/cpp/algebra/fields/pallas_arithmetics/loop.cpp:10
↓ 1 callersFunctionassert_equaluty
tests/cpp/algebra/bool/assigner_exit_check.cpp:11
↓ 1 callersFunctionassert_equaluty
tests/cpp/algebra/bool/assigner_exit_check_eq_pallas.cpp:11
↓ 1 callersFunctioncalculate_expected_res
tests/cpp/algebra/recursive_prover/fri_cosets/fri_cosets.cpp:14
↓ 1 callersFunctionchannel_regexp
(name: str)
rslang-installer.py:490
↓ 1 callersFunctioncheck_equality
tests/cpp/bls_signature/non_aggregated/verification.cpp:14
↓ 1 callersFunctioncmd_exists
(cmd: str)
rslang-installer.py:207
↓ 1 callersFunctionconstructor_test
tests/cpp/algebra/curves/constructors/zero_pallas.cpp:9
↓ 1 callersFunctionconstructor_test
tests/cpp/algebra/curves/constructors/zero_ed25519.cpp:9
↓ 1 callersFunctionconstructor_test
tests/cpp/algebra/curves/constructors/one_ed25519.cpp:9
↓ 1 callersFunctionconstructor_test
tests/cpp/algebra/curves/constructors/one_pallas.cpp:9
↓ 1 callersFunctioncurve_addition
tests/cpp/algebra/curves/pallas_arithmetics/add.cpp:10
↓ 1 callersFunctioncurve_addition
tests/cpp/algebra/curves/25519_arithmetics/add.cpp:13
↓ 1 callersFunctioncurve_comparison
tests/cpp/algebra/curves/pallas_arithmetics/compare.cpp:10
↓ 1 callersFunctioncurve_comparison
tests/cpp/algebra/curves/25519_arithmetics/compare.cpp:13
↓ 1 callersFunctioncurve_mul
tests/cpp/algebra/curves/pallas_arithmetics_2/mul.cpp:10
↓ 1 callersFunctioncurve_mul
tests/cpp/algebra/curves/25519_arithmetics_2/mul.cpp:19
↓ 1 callersFunctiondecompose
tests/cpp/algebra/de_composition/decomposition/lsb.cpp:21
↓ 1 callersFunctiondecompose
tests/cpp/algebra/de_composition/decomposition/msb.cpp:21
↓ 1 callersFunctiondefault_build_triple
Build triple as in LLVM
detect-platform.py:31
↓ 1 callersFunctiondivision
tests/cpp/algebra/integers/division/udiv.cpp:9
↓ 1 callersFunctiondownload_asset
Download given asset into tmpdir, returning path to local file.
rslang-installer.py:536
↓ 1 callersFunctionequal
tests/cpp/algebra/fields/comparison/equal.cpp:10
↓ 1 callersFunctionequal
TODO: (aleasims) remove this function and simply use `==` instead. Right now assigner fails if `==` is used.
examples/rust/examples/validate_merkle_path_sha2_256.rs:25
↓ 1 callersFunctionf
tests/cpp/multi_provers/if.cpp:11
↓ 1 callersFunctionfetch_release
Get release info from GitHub API.
rslang-installer.py:456
↓ 1 callersFunctionfib100
(a: PallasBase, b: PallasBase)
examples/rust/examples/fibonacci.rs:7
↓ 1 callersFunctionfield_addition
tests/cpp/algebra/fields/25519_arithmetics/add.cpp:11
↓ 1 callersFunctionfield_mul
tests/cpp/algebra/fields/25519_arithmetics/mul.cpp:11
↓ 1 callersFunctionfield_sub
tests/cpp/algebra/fields/25519_arithmetics/sub.cpp:11
↓ 1 callersFunctionfind_assigner_target
()
rslang-installer.py:517
↓ 1 callersFunctionfind_host_toolchain
()
rslang-installer.py:512
↓ 1 callersFunctionfp12_mul
tests/cpp/algebra/fields/bls12381_fp12_arithmetics/mul.cpp:16
↓ 1 callersFunctionfri_cosets_test
tests/cpp/algebra/recursive_prover/fri_cosets/fri_cosets.cpp:34
↓ 1 callersFunctionfri_lin_inter
tests/cpp/algebra/recursive_prover/fri_lin_inter/fri_lin_inter.cpp:10
↓ 1 callersFunctiongate_argument_verifier
tests/cpp/algebra/recursive_prover/gate_arg_verifier/1gate_1constr/gate_arg_verifier.cpp:13
↓ 1 callersFunctiongenerate_random_step_list
bin/transpiler/src/main.cpp:66
↓ 1 callersFunctiongenerate_random_step_list
bin/recursive_gen/src/main.cpp:94
↓ 1 callersFunctionget_host_triple
Try to get host triple in LLVM-compatible format.
rslang-installer.py:246
↓ 1 callersFunctionget_install_prefix
Get default installation prefix for different platforms.
rslang-installer.py:410
↓ 1 callersFunctiongreater
tests/cpp/algebra/fields/comparison/greater.cpp:10
↓ 1 callersFunctiongrequal
tests/cpp/algebra/fields/comparison/grequal.cpp:10
↓ 1 callersFunctionhash
This will be arkworks function here in the future. All of the implementation details will be hidden from user.
examples/rust/examples/sha2_512.rs:17
↓ 1 callersFunctionhash
This will be SDK function in the future. All of the implementation details will be hidden from user.
examples/rust/examples/validate_merkle_path_sha2_256.rs:31
↓ 1 callersFunctionhash
This will be arkworks function here in the future. All of the implementation details will be hidden from user.
examples/rust/examples/eddsa_signature_verification.rs:24
↓ 1 callersFunctionis_same
examples/cpp/balances_tree.cpp:94
↓ 1 callersFunctionis_same
examples/cpp/validate_merkle_path_sha2_256.cpp:6
↓ 1 callersFunctionlequal
tests/cpp/algebra/fields/comparison/lequal.cpp:10
↓ 1 callersFunctionless
tests/cpp/algebra/fields/comparison/less.cpp:10
↓ 1 callersFunctionlist_demo
tests/cpp/custom_cases/getelementptr_as_constant/getelementptr_as_constant.cpp:18
↓ 1 callersFunctionlookup_argument_verifier
tests/cpp/algebra/recursive_prover/lookup_arg_verifier/test1/test.cpp:55
↓ 1 callersFunctionlookup_argument_verifier
tests/cpp/algebra/recursive_prover/lookup_arg_verifier/test2/test.cpp:58
↓ 1 callersFunctionnot_equal
tests/cpp/algebra/fields/comparison/not_equal.cpp:10
↓ 1 callersFunctionpairing_test
tests/cpp/bls_signature/pairing/pairing.cpp:15
↓ 1 callersFunctionpallas_field_add
tests/cpp/nested_if/second.cpp:10
↓ 1 callersFunctionpallas_field_add
tests/cpp/nested_if/first.cpp:10
↓ 1 callersFunctionpallas_field_add
tests/cpp/algebra/fields/pallas_arithmetics/add.cpp:10
↓ 1 callersFunctionpallas_field_add
tests/cpp/algebra/fields/private_input/private_input_add.cpp:10
↓ 1 callersFunctionpallas_field_mul
tests/cpp/algebra/fields/pallas_arithmetics/mul.cpp:10
↓ 1 callersFunctionpallas_field_sub
tests/cpp/algebra/fields/pallas_arithmetics/sub.cpp:10
↓ 1 callersFunctionparse_args
()
rslang-installer.py:95
↓ 1 callersFunctionpermargver
tests/cpp/algebra/recursive_prover/permutation_arg_verifier/input_length_4/test.cpp:24
↓ 1 callersFunctionpow
examples/cpp/placeholder_verifier.cpp:179
↓ 1 callersFunctionpow2_p
examples/cpp/placeholder_verifier.cpp:123
↓ 1 callersFunctionpow_2
examples/cpp/integer_arithmetics.cpp:1
↓ 1 callersFunctionpow_2
examples/cpp/arithmetics.cpp:4
↓ 1 callersFunctionpow_2
(a: Fq)
examples/rust/examples/arithmetics_arkworks.rs:10
↓ 1 callersFunctionpow_2
(a: PallasBase)
examples/rust/examples/arithmetics_builtins.rs:10
↓ 1 callersFunctionprint_field
tests/cpp/algebra/de_composition/decomposition/lsb.cpp:13
↓ 1 callersFunctionprint_field
tests/cpp/algebra/de_composition/decomposition/msb.cpp:13
↓ 1 callersFunctionprint_hex_byteblob
bin/transpiler/src/main.cpp:102
↓ 1 callersFunctionremainder
tests/cpp/algebra/integers/division/urem.cpp:9
↓ 1 callersFunctionshift_add
tests/cpp/multi_provers/shift_add.cpp:9
↓ 1 callersFunctionshift_left
tests/cpp/algebra/integers/shift/left.cpp:11
↓ 1 callersFunctionshift_right
tests/cpp/algebra/integers/shift/right.cpp:11
↓ 1 callersFunctionstrlen
examples/cpp/strlen.cpp:2
↓ 1 callersFunctionsum
examples/cpp/memory.cpp:11
↓ 1 callersFunctionswap_array
tests/cpp/algebra/recursive_prover/fri_array_swap_length_6/test.cpp:14
↓ 1 callersFunctiontest
tests/cpp/multi_provers/if.cpp:18
next →1–100 of 282, ranked by callers