Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Sin7Y/olavm
/ functions
Functions
2,921 in github.com/Sin7Y/olavm
⨍
Functions
2,921
◇
Types & classes
499
↓ 573 callers
Method
iter
(&self)
plonky2/plonky2/src/plonk/vars.rs:102
↓ 518 callers
Method
push
(&mut self, ctx: &str, mut level: log::Level)
plonky2/plonky2/src/util/timing.rs:82
↓ 455 callers
Method
to_string
(&self)
interpreter/src/utils/number.rs:118
↓ 365 callers
Method
insert
(&mut self, symbol: Symbol)
interpreter/src/sema/symbol.rs:65
↓ 271 callers
Method
constraint
Add one constraint on all rows.
circuits/src/stark/constraint_consumer.rs:60
↓ 222 callers
Method
to_canonical_u64
(&self)
plonky2/field/src/goldilocks_field.rs:162
↓ 215 callers
Method
into_iter
(self)
plonky2/plonky2/src/util/strided_view.rs:143
↓ 175 callers
Method
binary_bit_mask
(&self)
core/src/vm/opcodes.rs:110
↓ 170 callers
Method
len
(&self)
plonky2/plonky2/src/plonk/vars.rs:85
↓ 163 callers
Method
try_into
(self)
plonky2/plonky2/src/util/strided_view.rs:153
↓ 135 callers
Method
extend
(&mut self, pairs: I)
plonky2/plonky2/src/iop/witness.rs:236
↓ 99 callers
Method
write
( &mut self, addr: u64, clk: u32, op: GoldilocksField, is_init: Goldil
executor/src/tape.rs:75
↓ 95 callers
Method
get_current_token
(&self)
interpreter/src/parser/mod.rs:52
↓ 92 callers
Method
consume
(&mut self, token_type: &Token)
interpreter/src/parser/mod.rs:56
↓ 88 callers
Method
to_vec
(&self)
plonky2/plonky2/src/hash/hash_types.rs:80
↓ 87 callers
Method
len
(&self)
circuits/src/stark/serialization.rs:24
↓ 83 callers
Method
len
The number of values stored.
plonky2/field/src/polynomial/mod.rs:58
↓ 81 callers
Function
fe
(n: u64)
circuits/src/generation/pre_process.rs:477
↓ 74 callers
Method
constraint_transition
Add one constraint valid on all rows except the last.
circuits/src/stark/constraint_consumer.rs:55
↓ 72 callers
Method
sub_extension
( &mut self, a: ExtensionTarget<D>, b: ExtensionTarget<D>, )
plonky2/plonky2/src/gadgets/arithmetic_extension.rs:222
↓ 64 callers
Method
get
(&self, key: K)
core/src/storage/db.rs:214
↓ 59 callers
Method
travel
(&mut self, node: &Arc<RwLock<dyn Node>>)
interpreter/src/parser/traversal.rs:27
↓ 49 callers
Method
is_one
(&self)
plonky2/field/src/types.rs:78
↓ 49 callers
Method
set_target
(&mut self, target: Target, value: F)
plonky2/plonky2/src/iop/generator.rs:170
↓ 48 callers
Method
get_local_ext_algebra
( &self, wire_range: Range<usize>, )
plonky2/plonky2/src/plonk/vars.rs:50
↓ 42 callers
Method
rev
Reverse the order of the coefficients, not taking into account the leading zero coefficients.
plonky2/field/src/polynomial/mod.rs:319
↓ 41 callers
Method
constant_extension
(&mut self, c: F::Extension)
plonky2/plonky2/src/iop/ext_target.rs:80
↓ 41 callers
Function
generate_from_file
(input_file_name: String, output_file_name: String)
assembler/src/test_data_generator.rs:288
↓ 41 callers
Function
log2_strict
Computes `log_2(n)`, panicking if `n` is not a power of two.
plonky2/util/src/lib.rs:32
↓ 39 callers
Method
advance
Advances the lexer position within the input text, setting the `current_char` to value found at that location.
interpreter/src/lexer/mod.rs:57
↓ 39 callers
Method
as_slice
(&self)
plonky2/field/src/packed.rs:125
↓ 38 callers
Method
connect
Uses Plonk's permutation argument to require that two elements be equal. Both elements must be routable, otherwise this method will panic.
plonky2/plonky2/src/plonk/circuit_builder.rs:342
↓ 38 callers
Method
mul_extension
(&self, rhs: F::Extension)
plonky2/field/src/polynomial/mod.rs:365
↓ 36 callers
Method
read
( &mut self, addr: u64, clk: u32, op: GoldilocksField, filter_looked:
executor/src/tape.rs:24
↓ 35 callers
Method
is_empty
(&self)
core/src/merkle_tree/tree.rs:84
↓ 33 callers
Method
add_gate
Adds a gate to the circuit, and returns its index.
plonky2/plonky2/src/plonk/circuit_builder.rs:271
↓ 33 callers
Method
to_basefield_array
(self)
plonky2/field/src/extension/algebra.rs:25
↓ 32 callers
Function
tree_key_default
()
core/src/types/merkle_tree/mod.rs:30
↓ 31 callers
Method
chunks
(&self, chunk_size: usize)
plonky2/field/src/polynomial/mod.rs:205
↓ 30 callers
Method
len
(&self)
plonky2/plonky2/src/gadgets/polynomial.rs:13
↓ 29 callers
Method
constant
Returns a routable target with the given constant value.
plonky2/plonky2/src/plonk/circuit_builder.rs:402
↓ 29 callers
Method
one
Emit one constraint.
plonky2/plonky2/src/gates/util.rs:44
↓ 29 callers
Method
scalar_mul
(&self, scalar: F)
plonky2/field/src/extension/algebra.rs:29
↓ 28 callers
Method
add_extension
( &mut self, a: ExtensionTarget<D>, b: ExtensionTarget<D>, )
plonky2/plonky2/src/gadgets/arithmetic_extension.rs:189
↓ 27 callers
Method
connect_extension
(&mut self, src: ExtensionTarget<D>, dst: ExtensionTarget<D>)
plonky2/plonky2/src/plonk/circuit_builder.rs:329
↓ 27 callers
Function
executor_run_test_program
( bin_file_path: &str, trace_name: &str, print_trace: bool, call_data: Option<Vec<GoldilocksFi
executor/src/tests.rs:25
↓ 27 callers
Method
inverse
(&self)
plonky2/field/src/types.rs:99
↓ 26 callers
Method
add_virtual_extension_targets
(&mut self, n: usize)
plonky2/plonky2/src/plonk/circuit_builder.rs:238
↓ 26 callers
Method
get_reg_index
(&self, reg_str: &str)
executor/src/lib.rs:302
↓ 26 callers
Method
num_points
(&self)
plonky2/plonky2/src/gates/low_degree_interpolation.rs:43
↓ 25 callers
Method
convert_to_ext
(&mut self, t: Target)
plonky2/plonky2/src/iop/ext_target.rs:121
↓ 25 callers
Function
invoke
( writer: &mut DiskStorageWriter, address: ContractAddress, calldata: Vec<u64>,
executor/src/test.rs:594
↓ 25 callers
Method
one_extension
(&mut self)
plonky2/plonky2/src/iop/ext_target.rs:105
↓ 24 callers
Method
get_local_ext
(&self, wire_range: Range<usize>)
plonky2/plonky2/src/plonk/vars.rs:121
↓ 24 callers
Method
mul_add_extension
Like `mul_add`, but for `ExtensionTarget`s.
plonky2/plonky2/src/gadgets/arithmetic_extension.rs:324
↓ 24 callers
Method
mul_extension
( &mut self, multiplicand_0: ExtensionTarget<D>, multiplicand_1: ExtensionTarget<D>,
plonky2/plonky2/src/gadgets/arithmetic_extension.rs:252
↓ 24 callers
Method
prove
(&self, inputs: PartialWitness<F>)
plonky2/plonky2/src/plonk/circuit_data.rs:120
↓ 24 callers
Method
square
Computes `x^2`.
plonky2/plonky2/src/gadgets/arithmetic.rs:22
↓ 23 callers
Method
binary_length
(&self)
assembler/src/asm.rs:17
↓ 23 callers
Method
len
(&self)
plonky2/plonky2/src/hash/merkle_proofs.rs:22
↓ 23 callers
Function
sbox_monomial
(x: P)
core/src/util/poseidon_utils.rs:295
↓ 22 callers
Method
get_wire
(&self, gate: usize, input: usize)
plonky2/plonky2/src/iop/witness.rs:249
↓ 22 callers
Method
inverse
Computes `1 / x`. Results in an unsatisfiable instance if `x = 0`.
plonky2/plonky2/src/gadgets/arithmetic.rs:328
↓ 22 callers
Method
is_zero
(&self)
plonky2/field/src/polynomial/mod.rs:45
↓ 21 callers
Method
add_virtual_target
Adds a new "virtual" target. This is not an actual wire in the witness, but just a target that help facilitate witness generation. In particular, a ge
plonky2/plonky2/src/plonk/circuit_builder.rs:202
↓ 21 callers
Method
get_n_challenges
(&mut self, n: usize)
plonky2/plonky2/src/iop/challenger.rs:102
↓ 21 callers
Method
pop
(&mut self)
plonky2/plonky2/src/util/timing.rs:109
↓ 21 callers
Function
print_title_data
( desc: &str, data_col_to_name: BTreeMap<usize, String>, rows: &Vec<Vec<GoldilocksField>>, col
circuits/src/generation/ctl_test/debug_trace_print.rs:321
↓ 21 callers
Method
zero_extension
(&mut self)
plonky2/plonky2/src/iop/ext_target.rs:101
↓ 20 callers
Method
find
Path compression method, see https://en.wikipedia.org/wiki/Disjoint-set_data_structure#Finding_set_representatives.
plonky2/plonky2/src/plonk/permutation_argument.rs:48
↓ 20 callers
Method
get
Returns the builtin type for the given token reference.
interpreter/src/sema/symbol.rs:57
↓ 20 callers
Method
iter
(&self)
plonky2/plonky2/src/util/strided_view.rs:115
↓ 20 callers
Method
set_wire
(&mut self, wire: Wire, value: F)
plonky2/plonky2/src/iop/generator.rs:198
↓ 20 callers
Function
tree_key_to_u8_arr
(value: &TreeKey)
core/src/types/merkle_tree/mod.rs:176
↓ 19 callers
Method
constraint_first_row
Add one constraint, but first multiply it by a filter such that it will only apply to the first row of the trace.
circuits/src/stark/constraint_consumer.rs:69
↓ 19 callers
Function
eval_lookups
( vars: StarkEvaluationVars<F, P, COLS>, yield_constr: &mut ConstraintConsumer<P>, col_permuted_in
circuits/src/stark/lookup.rs:13
↓ 19 callers
Method
get_challenge
(&mut self)
plonky2/plonky2/src/iop/challenger.rs:89
↓ 19 callers
Method
is_trace_needed
(&self)
executor/src/contract_executor.rs:1729
↓ 19 callers
Method
max
(self, _other: Self)
executor/src/storage.rs:31
↓ 18 callers
Method
batch_read
(&self, from: u64, len: u64)
core/src/vm/hardware.rs:320
↓ 18 callers
Method
clear
(&mut self)
plonky2/plonky2/src/iop/generator.rs:154
↓ 18 callers
Function
eval_lookups_circuit
( builder: &mut CircuitBuilder<F, D>, vars: StarkEvaluationTargets<D, COLS>, yield_constr: &mut Re
circuits/src/stark/lookup.rs:37
↓ 18 callers
Method
get_index_value
( &self, op_str: &str, )
executor/src/lib.rs:314
↓ 18 callers
Method
reduce
(&mut self, iter: impl DoubleEndedIterator<Item = impl Borrow<F>>)
plonky2/plonky2/src/util/reducing.rs:55
↓ 18 callers
Method
sum
(cs: I)
circuits/src/stark/cross_table_lookup.rs:199
↓ 17 callers
Method
get_target
(&self, target: Target)
plonky2/plonky2/src/iop/witness.rs:26
↓ 17 callers
Method
num_permutation_batches
(&self, config: &StarkConfig)
circuits/src/stark/stark.rs:239
↓ 17 callers
Method
permutation_batch_size
The number of permutation argument instances that can be combined into a single constraint.
circuits/src/stark/stark.rs:226
↓ 17 callers
Method
set_extension_target
( &mut self, et: ExtensionTarget<D>, value: F::Extension, )
plonky2/plonky2/src/iop/generator.rs:185
↓ 17 callers
Method
set_extension_targets
( &mut self, ets: &[ExtensionTarget<D>], values: &[F::Extension], )
plonky2/plonky2/src/iop/witness.rs:117
↓ 17 callers
Method
zero
Returns a routable target with a value of 0.
plonky2/plonky2/src/plonk/circuit_builder.rs:374
↓ 16 callers
Method
add_many_extension
Add `n` `ExtensionTarget`s.
plonky2/plonky2/src/gadgets/arithmetic_extension.rs:210
↓ 16 callers
Function
ceil_div_usize
(a: usize, b: usize)
plonky2/util/src/lib.rs:21
↓ 16 callers
Method
get_single
(self)
interpreter/src/utils/number.rs:70
↓ 16 callers
Method
len
(&self)
plonky2/plonky2/src/util/strided_view.rs:126
↓ 16 callers
Method
lookup
(&self, key: &str)
interpreter/src/sema/symbol.rs:72
↓ 16 callers
Method
next
( &mut self, builder: &mut CircuitBuilder<F, D>, )
plonky2/plonky2/src/gadgets/arithmetic_extension.rs:533
↓ 16 callers
Method
product
(iter: I)
plonky2/field/src/secp256k1_base.rs:228
↓ 16 callers
Function
verify
( proof_with_pis: ProofWithPublicInputs<F, C, D>, verifier_data: &VerifierOnlyCircuitData<C, D>, c
plonky2/plonky2/src/plonk/verifier.rs:15
↓ 16 callers
Method
verify
( self, verifier_data: &VerifierOnlyCircuitData<C, D>, common_data: &CommonCircuitData
plonky2/plonky2/src/plonk/proof.rs:198
next →
1–100 of 2,921, ranked by callers