MCPcopy Create free account

hub / github.com/Sin7Y/olavm / functions

Functions2,921 in github.com/Sin7Y/olavm

↓ 2 callersFunctionfft_root_table
(n: usize)
plonky2/field/src/fft.rs:14
↓ 2 callersMethodfft_with_options
(self, twiddles: &[F])
plonky2/field/src/polynomial/mod.rs:330
↓ 2 callersFunctionfield_arr_to_u8_arr
(value: &Vec<GoldilocksField>)
core/src/types/storage/mod.rs:53
↓ 2 callersMethodfri_all_polys
(&self)
plonky2/plonky2/src/plonk/circuit_data.rs:536
↓ 2 callersMethodfri_lookup_polys
Returns the information for lookup polynomials, i.e. the index within the oracle and the indices of the polynomials within the commitment.
plonky2/plonky2/src/plonk/circuit_data.rs:524
↓ 2 callersMethodfri_next_batch_polys
Returns polynomials that require evaluation at `zeta` and `g * zeta`.
plonky2/plonky2/src/plonk/circuit_data.rs:514
↓ 2 callersMethodfri_oracles
(&self)
plonky2/plonky2/src/plonk/circuit_data.rs:456
↓ 2 callersMethodfri_params
(&self, degree_bits: usize)
plonky2/plonky2/src/plonk/circuit_builder.rs:642
↓ 2 callersFunctiongenerate_cmp_trace
(cells: &[CmpRow])
circuits/src/generation/builtin.rs:208
↓ 2 callersFunctiongenerate_poseidon_trace
(cells: &[PoseidonRow])
circuits/src/generation/poseidon.rs:5
↓ 2 callersFunctiongenerate_sccall_trace
(cells: &[SCCallRow])
circuits/src/generation/sccall.rs:11
↓ 2 callersFunctiongenerate_storage_access_trace
( accesses: &[StorageHashRow], prog_hash_read: &[StorageHashRow], )
circuits/src/generation/storage.rs:7
↓ 2 callersFunctiongenerate_tape_trace
(cells: &[TapeRow])
circuits/src/generation/tape.rs:10
↓ 2 callersMethodgenerators
(&self, _row: usize, _local_constants: &[F])
plonky2/plonky2/src/gates/noop.rs:34
↓ 2 callersFunctionget_bitwise_col_name_map
()
circuits/src/builtins/bitwise/columns.rs:80
↓ 2 callersMethodget_cached_modification
(&self)
executor/src/ola_storage.rs:345
↓ 2 callersFunctionget_challenges
( public_inputs_hash: <<C as GenericConfig<D>>::InnerHasher as Hasher<F>>::Hash, wires_cap: &MerkleCap
plonky2/plonky2/src/plonk/get_challenges.rs:25
↓ 2 callersMethodget_challenges
Computes all Fiat-Shamir challenges used in the STARK proof.
circuits/src/stark/get_challenges.rs:18
↓ 2 callersMethodget_compress_challenge
(&self)
circuits/src/builtins/bitwise/bitwise_stark.rs:37
↓ 2 callersFunctionget_db_path
()
executor/src/test.rs:681
↓ 2 callersMethodget_inferred_elements
Computes all coset elements that can be inferred in the FRI reduction steps.
plonky2/plonky2/src/plonk/get_challenges.rs:184
↓ 2 callersMethodget_instruction
(&self, pc: u64)
executor/src/contract_executor.rs:104
↓ 2 callersMethodget_lut_lookups
(&self, lut_index: usize)
plonky2/plonky2/src/plonk/circuit_builder.rs:605
↓ 2 callersFunctionget_lut_poly
Get the polynomial associated to a lookup table with current challenges.
plonky2/plonky2/src/plonk/vanishing_poly.rs:32
↓ 2 callersMethodget_multiple
(self)
interpreter/src/utils/number.rs:83
↓ 2 callersFunctionget_n_grand_product_challenge_sets
( challenger: &mut Challenger<F, H>, num_challenges: usize, num_sets: usize, )
circuits/src/stark/permutation.rs:208
↓ 2 callersMethodget_next_token
(&mut self)
interpreter/src/lexer/mod.rs:111
↓ 2 callersMethodget_nonce
(&self)
zk-vm/src/vm_manager.rs:84
↓ 2 callersMethodget_op0_op1_and_dst
( &self, instruction: BinaryInstruction, )
executor/src/contract_executor.rs:1573
↓ 2 callersFunctionget_prog_col_name_map
()
circuits/src/program/columns.rs:19
↓ 2 callersFunctionget_prog_hash_cf_key_from_contract_addr
( contract_addr: &TreeKey, )
core/src/state/utils.rs:6
↓ 2 callersMethodget_regs
(&self)
executor/src/contract_executor.rs:112
↓ 2 callersFunctionget_rows_from_trace
( cols: [Vec<F>; COL_NUM], )
circuits/src/generation/ctl_test/debug_trace_print.rs:273
↓ 2 callersMethodget_signature_r
(&self)
zk-vm/src/vm_manager.rs:87
↓ 2 callersMethodget_signature_s
(&self)
zk-vm/src/vm_manager.rs:90
↓ 2 callersFunctionget_storage
()
executor/src/test.rs:667
↓ 2 callersMethodget_storage
( &self, address: &[GoldilocksField; 4], slot: &[GoldilocksField; 4], )
core/src/state/state_storage.rs:24
↓ 2 callersFunctionget_tape_col_name_map
()
circuits/src/builtins/tape/columns.rs:12
↓ 2 callersMethodget_to_address
(&self)
zk-vm/src/vm_manager.rs:66
↓ 2 callersMethodget_tx_hash
(&self)
zk-vm/src/vm_manager.rs:93
↓ 2 callersMethodget_tx_storage_access_logs
(&self)
executor/src/ola_storage.rs:353
↓ 2 callersFunctionget_wires
Returns the local wires for a random access gate given the vectors, elements to compare, and indices.
plonky2/plonky2/src/gates/random_access.rs:417
↓ 2 callersFunctionh256_add_offset
(bytes: [u8; 32], offset: u64)
plonky2/plonky2/src/hash/utils.rs:80
↓ 2 callersFunctionh256_from_hex_be
(value: &str)
olasm/src/utils.rs:59
↓ 2 callersFunctionhalf_full_rounds
Called twice; permit inlining but don't _require_ it
plonky2/plonky2/src/hash/arch/x86_64/poseidon_goldilocks_avx2_bmi2.rs:892
↓ 2 callersMethodhash_paths_to_leaves
Accepts updated key-value pair and resolves to an iterator which produces new tree path containing leaf with branch nodes and full path to the top. Th
core/src/merkle_tree/tree.rs:329
↓ 2 callersMethodhashed_key
(&self)
core/src/types/storage/mod.rs:48
↓ 2 callersMethodhasher
Returns current hasher.
core/src/merkle_tree/tree.rs:93
↓ 2 callersMethodhashes
Fetches hashes of merkle tree branches from db
core/src/merkle_tree/storage.rs:47
↓ 2 callersMethodid
Handles identifiers and reserved keywords
interpreter/src/lexer/mod.rs:77
↓ 2 callersFunctionidx_to_merkle_path
Produces a full merkle path of neighbors for given leaf (including given leaf itself) Used to calculate hash changes for branch nodes caused by leaf u
core/src/merkle_tree/utils.rs:18
↓ 2 callersFunctionifft
(poly: PolynomialValues<F>)
plonky2/field/src/fft.rs:68
↓ 2 callersMethodindex
(&self, num_wires: usize, degree: usize)
plonky2/plonky2/src/iop/target.rs:35
↓ 2 callersMethodinit_tape
( &mut self, block_info: BlockExeInfo, tx: OlaTapeInitInfo, entry_contract: Co
executor/src/tx_exe_manager.rs:130
↓ 2 callersMethodinterleave
(&self, other: Self, block_len: usize)
plonky2/field/src/packed.rs:132
↓ 2 callersFunctioninterpolate_poly
(evaluations: &mut [F], inv_twiddles: &[F])
plonky2/field/src/cfft/mod.rs:126
↓ 2 callersMethodinto_hash
(self)
core/src/types/merkle_tree/mod.rs:58
↓ 2 callersMethodinv_mod_xn
Computes the inverse of `self` modulo `x^n`.
plonky2/field/src/polynomial/division.rs:90
↓ 2 callersMethodis_quadratic_residue
(&self)
plonky2/field/src/types.rs:449
↓ 2 callersMethodlde_onto_coset
Low-degree extend `Self` (seen as evaluations over the subgroup) onto a coset.
plonky2/field/src/polynomial/mod.rs:92
↓ 2 callersMethodlde_size
(&self)
plonky2/plonky2/src/fri/mod.rs:93
↓ 2 callersMethodlead
Leading coefficient.
plonky2/field/src/polynomial/mod.rs:309
↓ 2 callersMethodload
(&self, tree_key: OlaStorageKey)
executor/src/ola_storage.rs:171
↓ 2 callersMethodload_storage_cache
(&self, tree_key: &TreeKey)
executor/src/lib.rs:206
↓ 2 callersMethodmanual_deploy
( &mut self, contract: &str, addr: &TreeValue, )
zk-vm/src/lib.rs:268
↓ 2 callersFunctionmds_const_layers_full
( state: (__m256i, __m256i, __m256i), round_constants: (*const u64, usize), )
plonky2/plonky2/src/hash/arch/x86_64/poseidon_goldilocks_avx2_bmi2.rs:717
↓ 2 callersFunctionmds_layer_reduce
( lo_s: (__m256i, __m256i, __m256i), hi: (__m256i, __m256i, __m256i), )
plonky2/plonky2/src/hash/arch/x86_64/poseidon_goldilocks_avx2_bmi2.rs:355
↓ 2 callersFunctionmds_multiply_and_add_round_const_s
( state: (__m256i, __m256i, __m256i), (base, index): (*const u64, usize), )
plonky2/plonky2/src/hash/arch/x86_64/poseidon_goldilocks_avx2_bmi2.rs:437
↓ 2 callersFunctionmds_row_shf_field
(r: usize, v: &[P; POSEIDON_STATE_WIDTH])
core/src/util/poseidon_utils.rs:308
↓ 2 callersFunctionmul3
( x: (__m256i, __m256i, __m256i), y: (__m256i, __m256i, __m256i), )
plonky2/plonky2/src/hash/arch/x86_64/poseidon_goldilocks_avx2_bmi2.rs:231
↓ 2 callersMethodmul_many
Multiply `n` `Target`s.
plonky2/plonky2/src/gadgets/arithmetic.rs:216
↓ 2 callersMethodmulti_get_cf
( &'a self, keys: I, )
core/src/storage/db.rs:190
↓ 2 callersMethodneg_one
Returns a routable target with a value of `order() - 1`.
plonky2/plonky2/src/plonk/circuit_builder.rs:389
↓ 2 callersMethodnum_constraints
(&self)
plonky2/plonky2/src/gates/poseidon.rs:401
↓ 2 callersMethodnum_constraints
(&self)
plonky2/plonky2/src/gates/exponentiation.rs:184
↓ 2 callersMethodnum_constraints
(&self)
plonky2/plonky2/src/gates/high_degree_interpolation.rs:199
↓ 2 callersMethodnum_constraints
(&self)
plonky2/plonky2/src/gates/poseidon2.rs:373
↓ 2 callersMethodnum_constraints
(&self)
plonky2/plonky2/src/gates/low_degree_interpolation.rs:291
↓ 2 callersMethodnum_constraints
(&self)
plonky2/plonky2/src/gates/random_access.rs:267
↓ 2 callersMethodnum_preprocessed_polys
(&self)
plonky2/plonky2/src/plonk/circuit_data.rs:484
↓ 2 callersMethodnum_quotient_polys
(&self, config: &StarkConfig)
circuits/src/stark/stark.rs:82
↓ 2 callersMethodnumber_type
(&self)
interpreter/src/utils/number.rs:240
↓ 2 callersMethodobserve_extension_element
(&mut self, element: &F::Extension)
plonky2/plonky2/src/iop/challenger.rs:57
↓ 2 callersMethodon_call
( &mut self, caller_env_idx: u64, caller_context: ExeContext, is_op1_imm: bool
executor/src/exe_trace/tx.rs:157
↓ 2 callersMethodone
Returns a routable target with a value of 1.
plonky2/plonky2/src/plonk/circuit_builder.rs:379
↓ 2 callersMethodpar_chunks_exact
(&self, chunk_size: usize)
plonky2/maybe_rayon/src/lib.rs:179
↓ 2 callersFunctionpartial_products
( trace: &[PolynomialValues<F>], columns: &[Column<F>], filter_column: &Option<Column<F>>, cha
circuits/src/stark/cross_table_lookup.rs:605
↓ 2 callersMethodpartial_products_range
Range of the partial products polynomials in the `zs_partial_products_commitment`.
plonky2/plonky2/src/plonk/circuit_data.rs:392
↓ 2 callersMethodpermutation_batch_sizes
(&self)
circuits/src/stark/ola_stark.rs:353
↓ 2 callersFunctionpermute
(v: &mut [F])
plonky2/field/src/cfft/mod.rs:271
↓ 2 callersFunctionpoly_product_elementwise
Computes the elementwise product of a set of polynomials. Assumes that the set is non-empty and that each polynomial has the same length.
circuits/src/stark/permutation.rs:180
↓ 2 callersMethodpop_env
(&mut self)
executor/src/tx_exe_manager.rs:334
↓ 2 callersFunctionprocess_table
( trace_poly_values: &[Vec<PolynomialValues<F>>], table: &TableWithColumns<F>, multise
circuits/src/stark/cross_table_lookup.rs:1000
↓ 2 callersMethodrandom_access
Checks that a `Target` matches a vector at a non-deterministic index. Note: `access_index` is not range-checked.
plonky2/plonky2/src/gadgets/random_access.rs:13
↓ 2 callersMethodrandom_access_extension
Checks that an `ExtensionTarget` matches a vector at a non-deterministic index. Note: `access_index` is not range-checked.
plonky2/plonky2/src/gadgets/random_access.rs:42
↓ 2 callersMethodrange_limbs
(&self)
circuits/src/builtins/rangecheck_small_limbs/range_check_u32.rs:32
↓ 2 callersMethodread_fri_initial_proof
( &mut self, common_data: &CommonCircuitData<F, C, D>, )
plonky2/plonky2/src/util/serialization.rs:234
↓ 2 callersMethodread_merkle_proof
(&mut self)
circuits/src/stark/serialization.rs:210
↓ 2 callersMethodread_opening_set
( &mut self, common_data: &CommonCircuitData<F, C, D>, )
plonky2/plonky2/src/util/serialization.rs:162
↓ 2 callersMethodread_top
(&self, addr: u64)
core/src/vm/hardware.rs:468
← previousnext →601–700 of 2,921, ranked by callers