MCPcopy Create free account

hub / github.com/Sin7Y/olavm / functions

Functions2,921 in github.com/Sin7Y/olavm

⨍ Functions 2,921◇ Types & classes 499
↓ 2 callersMethodread_without_trace
(&mut self, addr: u64)
executor/src/tape.rs:57
↓ 2 callersFunctionreduce128
(x: (__m256i, __m256i))
plonky2/field/src/arch/x86_64/avx2_goldilocks_field.rs:469
↓ 2 callersFunctionreduce128
(x: (__m512i, __m512i))
plonky2/field/src/arch/x86_64/avx512_goldilocks_field.rs:358
↓ 2 callersMethodreduce_arithmetic
Reduces a vector of `ExtensionTarget`s using `ArithmeticGate`s.
plonky2/plonky2/src/util/reducing.rs:233
↓ 2 callersMethodreduce_ext
( &mut self, iter: impl DoubleEndedIterator<Item = impl Borrow<P>>, )
plonky2/plonky2/src/util/reducing.rs:60
↓ 2 callersFunctionreduce_with_powers_multi
For each alpha in alphas, compute a reduction of the given terms using powers of alpha. T can be any type convertible to a double-ended iterator.
plonky2/plonky2/src/plonk/plonk_common.rs:97
↓ 2 callersMethodrel_expr
(&mut self)
interpreter/src/parser/mod.rs:590
↓ 2 callersMethodresume
( &mut self, tape: &mut OlaTape, tx_event_manager: &mut TxEventManager, storag
executor/src/contract_executor.rs:124
↓ 2 callersFunctionreverse_index_bits_in_place_chunks
Split `arr` chunks and bit-reverse the order of the chunks. There are `1 << lb_num_chunks` chunks, each of length `1 << lb_chunk_size`. SAFETY: ensure
plonky2/util/src/lib.rs:167
↓ 2 callersFunctionsafe_iteration
(f: &mut u64, g: &mut u64, c: &mut i128, d: &mut i128, k: &mut u32)
plonky2/field/src/inversion.rs:7
↓ 2 callersMethodsave_program
( &mut self, code_hash: &Vec<u8>, contract: &Vec<u8>, )
zk-vm/src/lib.rs:132
↓ 2 callersFunctionsbox_layer_full
(state: (__m256i, __m256i, __m256i))
plonky2/plonky2/src/hash/arch/x86_64/poseidon_goldilocks_avx2_bmi2.rs:342
↓ 2 callersMethodscalar_mul_ext
Returns `a * b`, where `b` is in the extension field and `a` is in the base field.
plonky2/plonky2/src/gadgets/arithmetic_extension.rs:390
↓ 2 callersFunctionscope
(op: OP)
plonky2/maybe_rayon/src/lib.rs:291
↓ 2 callersMethodselect_cap
( &mut self, b: BoolTarget, cap0: &MerkleCapTarget, cap1: &MerkleCapTarget,
plonky2/plonky2/src/plonk/conditional_recursive_verifier.rs:198
↓ 2 callersMethodselect_merkle_proof
( &mut self, b: BoolTarget, proof0: &MerkleProofTarget, proof1: &MerkleProofTa
plonky2/plonky2/src/plonk/conditional_recursive_verifier.rs:332
↓ 2 callersFunctionserialize_leaf_index
(leaf_index: u64)
core/src/merkle_tree/storage.rs:237
↓ 2 callersMethodset
Inserts a builtin type into the Symbol Table.
interpreter/src/sema/symbol.rs:52
↓ 2 callersMethodset_hash_target
(&mut self, ht: HashOutTarget, value: HashOut<F>)
plonky2/plonky2/src/iop/witness.rs:85
↓ 2 callersMethodset_target_returning_rep
Set a `Target`. On success, returns the representative index of the newly-set target. If the target was already set, returns `None`.
plonky2/plonky2/src/iop/witness.rs:307
↓ 2 callersMethodshift
(&mut self, x: F)
plonky2/plonky2/src/util/reducing.rs:97
↓ 2 callersFunctionsplit_ola_asm_pieces
disassemble into opcode, op0, op1, dst
assembler/src/asm.rs:90
↓ 2 callersMethodsqrt
(&self)
plonky2/field/src/types.rs:465
↓ 2 callersMethodsquare
(&self)
plonky2/field/src/arch/x86_64/avx2_goldilocks_field.rs:203
↓ 2 callersMethodsquare
(&self)
plonky2/field/src/arch/x86_64/avx512_goldilocks_field.rs:204
↓ 2 callersFunctionsquare3
( x: (__m256i, __m256i, __m256i), )
plonky2/plonky2/src/hash/arch/x86_64/poseidon_goldilocks_avx2_bmi2.rs:199
↓ 2 callersMethodstart_accs
(&self)
plonky2/plonky2/src/gates/reducing.rs:45
↓ 2 callersMethodstart_accs
(&self)
plonky2/plonky2/src/gates/reducing_extension.rs:48
↓ 2 callersMethodstart_evaluation_point
(&self)
plonky2/plonky2/src/gates/interpolation.rs:38
↓ 2 callersMethodstart_evaluation_value
(&self)
plonky2/plonky2/src/gates/interpolation.rs:48
↓ 2 callersMethodstart_extra_constants
(&self)
plonky2/plonky2/src/gates/random_access.rs:94
↓ 2 callersMethodstart_values
(&self)
plonky2/plonky2/src/gates/interpolation.rs:27
↓ 2 callersFunctionsub_no_double_overflow_64_64
(x: __m512i, y: __m512i)
plonky2/field/src/arch/x86_64/avx512_goldilocks_field.rs:268
↓ 2 callersMethodtarget_index
(&self, target: Target)
plonky2/plonky2/src/iop/witness.rs:324
↓ 2 callersFunctiontest_inputs
Generates a series of non-negative integers less than `modulus` which cover a range of interesting test values.
plonky2/field/src/prime_field_testing.rs:5
↓ 2 callersFunctiontest_poseidon_with_asm_file_name
( file_name: String, call_data: Option<Vec<GoldilocksField>>, )
circuits/src/builtins/poseidon/poseidon_stark.rs:223
↓ 2 callersFunctiontest_rc_stark
(file_name: String)
circuits/src/builtins/rangecheck/rangecheck_stark.rs:170
↓ 2 callersFunctiontest_tape_with_asm_file_name
(file_name: String, call_data: Option<Vec<GoldilocksField>>)
circuits/src/builtins/tape/tape_stark.rs:185
↓ 2 callersMethodto_canonical
(&self)
plonky2/field/src/types.rs:568
↓ 2 callersMethodto_ext_target
Conversion to an `ExtensionTarget`.
plonky2/plonky2/src/iop/target.rs:43
↓ 2 callersMethodto_extension
(&self)
plonky2/field/src/polynomial/mod.rs:358
↓ 2 callersMethodtoken
(&self)
core/src/vm/opcodes.rs:46
↓ 2 callersFunctiontranspose_in_place_square
Transpose square matrix in-place The matrix is of size `1 << lb_size` by `1 << lb_size`. It occupies `M[i, j] == arr[(i + x << lb_stride) + j + x]` fo
plonky2/util/src/transpose_util.rs:101
↓ 2 callersFunctiontranspose_square_stretch
(matrix: &mut [T], size: usize, stretch: usize)
plonky2/field/src/cfft/concurrent.rs:142
↓ 2 callersMethodtrimmed
Removes any leading zero coefficients.
plonky2/field/src/polynomial/mod.rs:294
↓ 2 callersMethodtry_inverse
(&self)
plonky2/field/src/secp256k1_base.rs:100
↓ 2 callersMethodtwo
Returns a routable target with a value of 2.
plonky2/plonky2/src/plonk/circuit_builder.rs:384
↓ 2 callersFunctionunflatten
Batch every D-sized chunks into extension field elements.
plonky2/field/src/extension/mod.rs:142
↓ 2 callersFunctionuninit_vector
(length: usize)
plonky2/field/src/cfft/mod.rs:291
↓ 2 callersMethodunsalted_eval
(&self, oracle_index: usize, poly_index: usize, salted: bool)
plonky2/plonky2/src/fri/proof.rs:44
↓ 2 callersMethodunsalted_evals
(&self, oracle_index: usize, salted: bool)
plonky2/plonky2/src/fri/proof.rs:48
↓ 2 callersFunctionunwrap_state
(state: [GoldilocksField; 12])
plonky2/plonky2/src/hash/arch/aarch64/poseidon_goldilocks_neon.rs:927
↓ 2 callersMethoduses_permutation_args
(&self)
circuits/src/stark/stark.rs:220
↓ 2 callersMethodverify
(&self, proof_with_pis: ProofWithPublicInputs<F, C, D>)
plonky2/plonky2/src/plonk/circuit_data.rs:132
↓ 2 callersFunctionverify_merkle_proof_to_cap
Verifies that the given leaf data is present at the given index in the Merkle tree with the given cap.
plonky2/plonky2/src/hash/merkle_proofs.rs:51
↓ 2 callersFunctionverify_with_challenges
( proof: Proof<F, C, D>, public_inputs_hash: <<C as GenericConfig<D>>::InnerHasher as Hasher<F>>::Hash
plonky2/plonky2/src/plonk/verifier.rs:41
↓ 2 callersFunctionwrap_state
(state: [u64; 12])
plonky2/plonky2/src/hash/arch/aarch64/poseidon_goldilocks_neon.rs:932
↓ 2 callersMethodwrite
(&mut self, addr: u64, val: u64)
core/src/vm/hardware.rs:240
↓ 2 callersMethodwrite_field_vec
(&mut self, v: &[F])
circuits/src/stark/serialization.rs:82
↓ 2 callersMethodwrite_merkle_proof
( &mut self, p: &MerkleProof<F, H>, )
plonky2/plonky2/src/util/serialization.rs:196
↓ 2 callersMethodwrite_merkle_proof
( &mut self, p: &MerkleProof<F, H>, )
circuits/src/stark/serialization.rs:195
↓ 2 callersMethodwrite_opening_set
( &mut self, os: &OpeningSet<F, D>, )
plonky2/plonky2/src/util/serialization.rs:150
↓ 2 callersMethodz_polys
(&self)
circuits/src/stark/cross_table_lookup.rs:537
↓ 1 callersFunctionadd
(x: __m256i, y: __m256i)
plonky2/field/src/arch/x86_64/avx2_goldilocks_field.rs:334
↓ 1 callersFunctionadd
(x: __m512i, y: __m512i)
plonky2/field/src/arch/x86_64/avx512_goldilocks_field.rs:276
↓ 1 callersMethodadd_all_lookups
We call this function at the end of circuit building right before the PI gate to add all `LookupTableGate` and `LookupGate`. It also updates `self.loo
plonky2/plonky2/src/gadgets/lookup.rs:89
↓ 1 callersMethodadd_base_arithmetic_operation
(&mut self, operation: BaseArithmeticOperation<F>)
plonky2/plonky2/src/gadgets/arithmetic.rs:84
↓ 1 callersMethodadd_gate_to_gate_set
(&mut self, gate: GateRef<F, D>)
plonky2/plonky2/src/plonk/circuit_builder.rs:325
↓ 1 callersMethodadd_generators
(&mut self, generators: Vec<Box<dyn WitnessGenerator<F>>>)
plonky2/plonky2/src/plonk/circuit_builder.rs:365
↓ 1 callersMethodadd_lookup_rows
Adds lookup rows for a lookup table.
plonky2/plonky2/src/plonk/circuit_builder.rs:571
↓ 1 callersFunctionadd_no_double_overflow_64_64s_s
(x: __m256i, y_s: __m256i)
plonky2/field/src/arch/x86_64/avx2_goldilocks_field.rs:325
↓ 1 callersMethodadd_opening_set
( &mut self, common_data: &CommonCircuitData<F, InnerC, D>, )
plonky2/plonky2/src/plonk/recursive_verifier.rs:172
↓ 1 callersFunctionadd_small
( x_s: (__m256i, __m256i, __m256i), y: (__m256i, __m256i, __m256i), )
plonky2/plonky2/src/hash/arch/x86_64/poseidon_goldilocks_avx2_bmi2.rs:284
↓ 1 callersFunctionadd_small_64s_64_s
(x_s: __m256i, y: __m256i)
plonky2/field/src/arch/x86_64/avx2_goldilocks_field.rs:431
↓ 1 callersFunctionadd_treekey_poseidon
(trace: &mut Trace, storage: Vec<StorageExePiece>)
circuits/src/generation/pre_process.rs:416
↓ 1 callersMethodadd_virtual_bool_target
TODO: Unsafe
plonky2/plonky2/src/plonk/circuit_builder.rs:253
↓ 1 callersMethodadd_virtual_fri_initial_trees_proof
( &mut self, num_leaves_per_oracle: &[usize], initial_merkle_proof_len: usize, )
plonky2/plonky2/src/fri/recursive_verifier.rs:458
↓ 1 callersMethodadd_virtual_fri_proof
( &mut self, num_leaves_per_oracle: &[usize], params: &FriParams, )
plonky2/plonky2/src/fri/recursive_verifier.rs:410
↓ 1 callersMethodadd_virtual_fri_query
( &mut self, num_leaves_per_oracle: &[usize], params: &FriParams, )
plonky2/plonky2/src/fri/recursive_verifier.rs:433
↓ 1 callersMethodadd_virtual_fri_query_step
( &mut self, arity_bits: usize, merkle_proof_len: usize, )
plonky2/plonky2/src/fri/recursive_verifier.rs:474
↓ 1 callersMethodadd_virtual_poly_coeff_ext
( &mut self, num_coeffs: usize, )
plonky2/plonky2/src/plonk/circuit_builder.rs:244
↓ 1 callersMethodadd_virtual_proof
( &mut self, common_data: &CommonCircuitData<F, InnerC, D>, )
plonky2/plonky2/src/plonk/recursive_verifier.rs:147
↓ 1 callersMethodadd_virtual_public_input
Add a virtual target and register it as a public input.
plonky2/plonky2/src/plonk/circuit_builder.rs:264
↓ 1 callersFunctionadd_with_wraparound
(a: u64, b: u64)
plonky2/plonky2/src/hash/arch/aarch64/poseidon_goldilocks_neon.rs:81
↓ 1 callersMethodaddress
(&self)
core/src/types/storage/mod.rs:33
↓ 1 callersFunctionall_cross_table_lookups
()
circuits/src/stark/ola_stark.rs:390
↓ 1 callersFunctionall_partial_rounds
( mut state: (__m256i, __m256i, __m256i), start_round: usize, )
plonky2/plonky2/src/hash/arch/x86_64/poseidon_goldilocks_avx2_bmi2.rs:907
↓ 1 callersMethodapply_patch
Applies each change from the given patch to the tree.
core/src/merkle_tree/tree.rs:409
↓ 1 callersMethodapply_updates_batch
( &mut self, updates_batch: Vec<Vec<(TreeKey, TreeOperation)>>, )
core/src/merkle_tree/tree.rs:160
↓ 1 callersMethodarithmetic_extension_special_cases
Checks for special cases where the value of `const_0 * multiplicand_0 * multiplicand_1 + const_1 * addend` can be determined without adding an `Arithm
plonky2/plonky2/src/gadgets/arithmetic_extension.rs:108
↓ 1 callersMethodarithmetic_special_cases
Checks for special cases where the value of `const_0 * multiplicand_0 * multiplicand_1 + const_1 * addend` can be determined without adding an `Arithm
plonky2/plonky2/src/gadgets/arithmetic.rs:102
↓ 1 callersMethodarray_const
(&mut self)
interpreter/src/parser/mod.rs:639
↓ 1 callersMethodassert_bool
(&mut self, b: BoolTarget)
plonky2/plonky2/src/gadgets/range_check.rs:45
↓ 1 callersFunctionbatch_add_inplace
Elementwise inplace addition of two slices of field elements. Implementation be faster than the trivial for loop.
plonky2/field/src/batch_util.rs:49
↓ 1 callersFunctionbenchmark
()
plonky2/plonky2/examples/bench_recursion_aggregate_verifier.rs:100
↓ 1 callersFunctionbenchmark
(config: &CircuitConfig, log2_inner_size: usize)
plonky2/plonky2/examples/bench_recursion.rs:186
↓ 1 callersFunctionbenchmark
(config: &CircuitConfig, log2_inner_size: usize)
plonky2/plonky2/examples/bench_recursion2.rs:186
↓ 1 callersFunctionbiguint_from_array
(arr: [u64; 4])
plonky2/field/src/secp256k1_base.rs:23
↓ 1 callersFunctionbiguint_from_array
(arr: [u64; 4])
plonky2/field/src/secp256k1_scalar.rs:26
↓ 1 callersMethodbin_key
(&self)
core/src/types/merkle_tree/mod.rs:25
← previousnext →701–800 of 2,921, ranked by callers