MCPcopy Create free account

hub / github.com/Sin7Y/olavm / functions

Functions2,921 in github.com/Sin7Y/olavm

⨍ Functions 2,921◇ Types & classes 499
↓ 5 callersMethodget_lde_values
Fetches LDE values at the `index * step`th point.
plonky2/plonky2/src/fri/oracle.rs:132
↓ 5 callersMethodget_lde_values_packed
Like `get_lde_values`, but fetches LDE values from a batch of `P::WIDTH` points, and returns packed values.
plonky2/plonky2/src/fri/oracle.rs:141
↓ 5 callersMethodget_sequencer_address
(&self)
zk-vm/src/vm_manager.rs:32
↓ 5 callersFunctionget_storage_access_col_name_map
()
circuits/src/builtins/storage/columns.rs:36
↓ 5 callersMethodget_targets
(&self, targets: &[Target])
plonky2/plonky2/src/iop/witness.rs:30
↓ 5 callersMethodifft
(self)
plonky2/field/src/polynomial/mod.rs:62
↓ 5 callersMethodis_nonzero
(&self)
plonky2/field/src/types.rs:73
↓ 5 callersFunctionmds_layer
(state: &[GoldilocksField; WIDTH])
plonky2/plonky2/src/hash/arch/aarch64/poseidon_goldilocks_neon.rs:965
↓ 5 callersMethodmul_add
Computes `x * y + z`.
plonky2/plonky2/src/gadgets/arithmetic.rs:158
↓ 5 callersMethodobserve_element
(&mut self, element: F)
plonky2/plonky2/src/iop/challenger.rs:46
↓ 5 callersMethodobserve_extension_elements
(&mut self, elements: &[F::Extension])
plonky2/plonky2/src/iop/challenger.rs:70
↓ 5 callersMethodpermutation_pairs
Pairs of lists of columns that should be permutations of one another. A permutation argument will be used for each such pair. Empty by default.
circuits/src/stark/stark.rs:216
↓ 5 callersFunctionpermute_index
(size: usize, index: usize)
plonky2/field/src/cfft/mod.rs:280
↓ 5 callersFunctionposeidon
(state: &[GoldilocksField; 12])
plonky2/plonky2/src/hash/arch/x86_64/poseidon_goldilocks_avx2_bmi2.rs:938
↓ 5 callersMethodpowers_evaluation_point
`powers_evalutation_point(i)` is the wire index of `evalutation_point^i`.
plonky2/plonky2/src/gates/low_degree_interpolation.rs:60
↓ 5 callersMethodpsp
(&self)
core/src/vm/hardware.rs:204
↓ 5 callersMethodread_merkle_proof
(&mut self)
plonky2/plonky2/src/util/serialization.rs:211
↓ 5 callersMethodremove_prefix
(&mut self, num_selectors: usize)
plonky2/plonky2/src/plonk/vars.rs:59
↓ 5 callersMethodrun
(self)
olasm/src/subcommands/call.rs:43
↓ 5 callersMethodscalar_mul_add_ext_algebra
Returns `a * b + c`, where `b, c` are in the extension algebra and `a` in the extension field.
plonky2/plonky2/src/gadgets/arithmetic_extension.rs:397
↓ 5 callersMethodsum
(iter: I)
plonky2/field/src/secp256k1_base.rs:186
↓ 5 callersFunctiontest_memory_with_asm_file_name
(file_name: String, call_data: Option<Vec<GoldilocksField>>)
circuits/src/memory/memory_stark.rs:416
↓ 5 callersFunctiontest_serialization
Test serialization and print some size info.
plonky2/plonky2/src/plonk/recursive_verifier.rs:434
↓ 5 callersMethodto_target_array
(&self)
plonky2/plonky2/src/iop/ext_target.rs:16
↓ 5 callersFunctionu8_arr_to_field_arr
(value: &Vec<u8>)
core/src/types/storage/mod.rs:60
↓ 5 callersMethodverify_proof
Recursively verifies an inner proof.
plonky2/plonky2/src/plonk/recursive_verifier.rs:18
↓ 5 callersMethodwire_access_index
For each copy, a wire containing the claimed index of the element.
plonky2/plonky2/src/gates/random_access.rs:76
↓ 5 callersMethodwire_bit
An intermediate wire where the prover gives the (purported) binary decomposition of the index.
plonky2/plonky2/src/gates/random_access.rs:110
↓ 5 callersMethodwire_claimed_element
For each copy, a wire containing the element claimed to be at the index.
plonky2/plonky2/src/gates/random_access.rs:82
↓ 5 callersMethodwire_intermediate_value
(&self, i: usize)
plonky2/plonky2/src/gates/exponentiation.rs:65
↓ 5 callersMethodwrite
(&self, batch: WriteBatch)
core/src/storage/db.rs:202
↓ 5 callersMethodzs_range
Range of the `z`s polynomials in the `zs_partial_products_commitment`.
plonky2/plonky2/src/plonk/circuit_data.rs:386
↓ 4 callersMethodadd_canonical_u64
(&self, rhs: u64)
plonky2/field/src/types.rs:543
↓ 4 callersMethodadd_expr
(&mut self)
interpreter/src/parser/mod.rs:575
↓ 4 callersMethodadd_virtual_extension_target
(&mut self)
plonky2/plonky2/src/plonk/circuit_builder.rs:234
↓ 4 callersMethodbinary_bit_mask_as_dst
(&self)
core/src/vm/hardware.rs:108
↓ 4 callersMethodbinary_bit_mask_as_op0
(&self)
core/src/vm/hardware.rs:100
↓ 4 callersFunctionbytes_to_u64s
(bytes: Vec<u8>)
mini-ola/src/utils.rs:105
↓ 4 callersFunctioncalculate_poseidon
( full_input: [GoldilocksField; POSEIDON_INPUT_NUM], )
core/src/crypto/poseidon_trace.rs:30
↓ 4 callersMethodconst_input
(&self, i: usize)
plonky2/plonky2/src/gates/constant.rs:23
↓ 4 callersMethodcoset_ifft
Returns the polynomial whose evaluation on the coset `shift*H` is `self`.
plonky2/field/src/polynomial/mod.rs:71
↓ 4 callersFunctionctl_filter_with_cpu
()
circuits/src/builtins/cmp/cmp_stark.rs:97
↓ 4 callersMethodcube
Computes `x^3`.
plonky2/plonky2/src/gadgets/arithmetic.rs:27
↓ 4 callersFunctiondecode_addr
(addr: String)
core/src/types/merkle_tree/mod.rs:187
↓ 4 callersMethoddefault_root_hash
(&self)
core/src/merkle_tree/tree_config.rs:74
↓ 4 callersMethoddiv_extension
Computes `x / y`. Results in an unsatisfiable instance if `y = 0`.
plonky2/plonky2/src/gadgets/arithmetic_extension.rs:462
↓ 4 callersMethodenqueue_caller
(&mut self, env_idx: usize, env: OlaContractExecutor)
executor/src/tx_exe_manager.rs:377
↓ 4 callersMethodeval_base
(&self, x: F::BaseField)
plonky2/field/src/polynomial/mod.rs:230
↓ 4 callersMethodeval_circuit
( &self, builder: &mut CircuitBuilder<F, D>, v: &[ExtensionTarget<D>], )
circuits/src/stark/cross_table_lookup.rs:224
↓ 4 callersMethodeval_packed_generic
( &self, vars: StarkEvaluationVars<FE, P, NUM_CPU_COLS>, yield_constr: &mut Constraint
circuits/src/cpu/cpu_stark.rs:873
↓ 4 callersMethodeval_table
Evaluate on an row of a table given in column-major form.
circuits/src/stark/cross_table_lookup.rs:216
↓ 4 callersMethodexp_u64_extension
Exponentiate `base` to the power of a known `exponent`. TODO: Test
plonky2/plonky2/src/gadgets/arithmetic_extension.rs:435
↓ 4 callersFunctionfe_4
(nums: [u64; 4])
circuits/src/generation/pre_process.rs:481
↓ 4 callersMethodfft
(self)
plonky2/field/src/polynomial/mod.rs:323
↓ 4 callersMethodfrobenius
FrobeniusField automorphisms: x -> x^p, where p is the order of BaseField.
plonky2/field/src/extension/mod.rs:32
↓ 4 callersFunctiongenerate_traces
( mut program: Program, ola_stark: &mut OlaStark<F, D>, inputs: GenerationInputs, )
circuits/src/generation/mod.rs:101
↓ 4 callersMethodget_block_number
(&self)
zk-vm/src/vm_manager.rs:26
↓ 4 callersMethodget_chain_id
(&self)
zk-vm/src/vm_manager.rs:36
↓ 4 callersMethodget_clk
(&self)
executor/src/contract_executor.rs:100
↓ 4 callersMethodget_code_addr
(&self)
executor/src/contract_executor.rs:116
↓ 4 callersMethodget_extension_challenge
(&mut self)
plonky2/plonky2/src/iop/challenger.rs:117
↓ 4 callersMethodget_fp
(&self)
executor/src/contract_executor.rs:1433
↓ 4 callersFunctionget_grand_product_challenge_set
( challenger: &mut Challenger<F, H>, num_challenges: usize, )
circuits/src/stark/permutation.rs:198
↓ 4 callersFunctionget_index
(data: u64)
executor/src/decode.rs:18
↓ 4 callersFunctionget_memory_col_name_map
()
circuits/src/memory/columns.rs:48
↓ 4 callersFunctionget_poseidon_chunk_col_name_map
()
circuits/src/builtins/poseidon/columns.rs:149
↓ 4 callersMethodget_public_inputs_hash
( &self, )
plonky2/plonky2/src/plonk/proof.rs:95
↓ 4 callersMethodget_state_diff_only_dst_reg
( &self, inst_len: u8, dst_reg: OlaRegister, value: u64, )
executor/src/contract_executor.rs:1437
↓ 4 callersMethodget_timestamp
(&self)
zk-vm/src/vm_manager.rs:29
↓ 4 callersMethodget_tree_key
( &self, storage_addr: ContractAddress, storage_key: OlaStorageKey, )
executor/src/ola_storage.rs:334
↓ 4 callersMethodident_declaration_assignment
( &mut self, type_node: &TypeNode, function_param_flag: bool, )
interpreter/src/parser/mod.rs:80
↓ 4 callersFunctioninit_logger
()
plonky2/plonky2/src/gates/lookup.rs:929
↓ 4 callersFunctioninit_logger
()
plonky2/plonky2/src/plonk/recursive_verifier.rs:471
↓ 4 callersMethodinner_product_extension
Returns `sum_{(a,b) in vecs} constant * a * b`.
plonky2/plonky2/src/gadgets/arithmetic_extension.rs:176
↓ 4 callersMethodinsert_rangecheck
( &mut self, input: GoldilocksField, //tuple.0 for memory_sort, tuple.1 for cpu, tuple
core/src/trace/trace.rs:405
↓ 4 callersMethodinsert_step
( &mut self, clk: u32, pc: u64, tp: GoldilocksField, instruction: Gold
core/src/trace/trace.rs:431
↓ 4 callersFunctioninterpolant
Computes the unique degree < n interpolant of an arbitrary list of n (point, value) pairs. Note that the implementation assumes that `F` is two-adic,
plonky2/field/src/interpolation.rs:13
↓ 4 callersMethodis_return
(&mut self, ret: &NumberRet)
interpreter/src/interpreter/executor.rs:284
↓ 4 callersMethodle_sum
Takes an iterator of bits `(b_i)` and returns `sum b_i * 2^i`, i.e., the number with little-endian bit representation given by `bits`.
plonky2/plonky2/src/gadgets/split_base.rs:35
↓ 4 callersMethodlen
(&self)
circuits/src/stark/cross_table_lookup.rs:529
↓ 4 callersFunctionload_state
(state: &[GoldilocksField; 12])
plonky2/plonky2/src/hash/arch/x86_64/poseidon_goldilocks_avx2_bmi2.rs:922
↓ 4 callersMethodlookup_range
Range of lookup polynomials in the `zs_partial_products_lookup_commitment`.
plonky2/plonky2/src/plonk/circuit_data.rs:398
↓ 4 callersFunctionmultiply
(x: u64, y: u64)
plonky2/plonky2/src/hash/arch/aarch64/poseidon_goldilocks_neon.rs:143
↓ 4 callersMethodnot
(&mut self, b: BoolTarget)
plonky2/plonky2/src/gadgets/arithmetic.rs:333
↓ 4 callersMethodnum_all_lookup_polys
Returns the total number of lookup polynomials.
plonky2/plonky2/src/plonk/circuit_data.rs:505
↓ 4 callersMethodnum_routed_wires
All above wires are routed.
plonky2/plonky2/src/gates/random_access.rs:104
↓ 4 callersMethodon_tx_success
(&mut self, tx_result: TxResult)
executor/src/batch_exe_manager.rs:75
↓ 4 callersFunctionpermute
(v: &mut [F])
plonky2/field/src/cfft/concurrent.rs:74
↓ 4 callersFunctionposeidon_hash_bytes
(input: &[u8])
plonky2/plonky2/src/hash/utils.rs:8
↓ 4 callersMethodpowers_shift
`powers_shift(i)` is the wire index of `wire_shift^i`.
plonky2/plonky2/src/gates/low_degree_interpolation.rs:50
↓ 4 callersMethodprove
Create a Merkle proof from a leaf index.
plonky2/plonky2/src/hash/merkle_tree/mod.rs:273
↓ 4 callersMethodquotient_degree_factor
The maximum constraint degree.
circuits/src/stark/stark.rs:78
↓ 4 callersMethodread_field
(&mut self)
plonky2/plonky2/src/util/serialization.rs:60
↓ 4 callersMethodrecover_degree_bits
Recover the length of the trace from a STARK proof and a STARK config.
circuits/src/stark/proof.rs:123
↓ 4 callersFunctionreduce3
( (lo0, hi0): ((__m256i, __m256i, __m256i), (__m256i, __m256i, __m256i)), )
plonky2/plonky2/src/hash/arch/x86_64/poseidon_goldilocks_avx2_bmi2.rs:327
↓ 4 callersFunctionreverse_bits
(n: usize, num_bits: usize)
plonky2/plonky2/src/util/mod.rs:72
↓ 4 callersFunctionsalt_size
(salted: bool)
plonky2/plonky2/src/plonk/plonk_common.rs:40
↓ 4 callersMethodsave
(&mut self)
core/src/merkle_tree/tree.rs:499
↓ 4 callersMethodscalar_mul_ext_algebra
Returns `a * b`, where `b` is in the extension algebra and `a` in the extension field.
plonky2/plonky2/src/gadgets/arithmetic_extension.rs:411
↓ 4 callersFunctionselect
( builder: &mut CircuitBuilder<F, D>, filter: ExtensionTarget<D>, x: Exten
circuits/src/stark/cross_table_lookup.rs:840
← previousnext →301–400 of 2,921, ranked by callers