Functions — github.com/andrewmilson/ministark

hub / github.com/andrewmilson/ministark / functions

Functions407 in github.com/andrewmilson/ministark

⨍ Functions 407◇ Types & classes 131

Adapted from https://github.com/0xProject/OpenZKP Applies a mapped bottom-up traversal. The function applies to each node after application to its des

src/expression.rs:66

↓ 70 callersMethodencode

(&mut self, buffer: &mut [F])

gpu/src/plan.rs:254

↓ 55 callersMethodcurr

Create a constraint element for the current cycle

src/constraints.rs:387

↓ 49 callersMethodlen

Returns the number of rows in this execution trace.

src/trace.rs:20

↓ 37 callersMethodnext

(&mut self)

src/random.rs:150

↓ 33 callersMethodinto_iter

(self)

src/matrix.rs:412

↓ 32 callersMethodclone

(&self)

src/utils.rs:548

↓ 32 callersFunctionpage_aligned_uninit_vector

(length: usize)

gpu/src/utils.rs:208

↓ 30 callersMethodindex

(&self)

examples/brainfuck/tables.rs:23

↓ 27 callersMethodlen

(&self)

examples/fib/main.rs:41

↓ 27 callersMethodpow

(&self, exp: S)

src/utils.rs:279

↓ 27 callersFunctionvoid_ptr

(v: &T)

gpu/src/utils.rs:183

↓ 21 callersMethodget_buffer

(&mut self, ty: FieldType)

src/eval_gpu.rs:857

↓ 20 callersFunctionbuffer_no_copy

(device: &metal::DeviceRef, v: &[T])

gpu/src/utils.rs:106

↓ 18 callersFunctionget_planner

()

gpu/src/plan.rs:329

↓ 16 callersMethodnum_rows

TODO: perhaps bring naming of rows and cols in line with how the trace is names i.e. len and width.

src/matrix.rs:67

↓ 12 callersFunctionbuffer_mut_no_copy

(device: &metal::DeviceRef, v: &mut [T])

gpu/src/utils.rs:123

↓ 12 callersMethodexecute

TODO: change to &mut

gpu/src/plan.rs:229

↓ 12 callersMethodinterpolate

Interpolates the columns of the matrix over the domain

src/matrix.rs:157

↓ 12 callersMethodis_zero

(&self)

src/utils.rs:312

↓ 11 callersMethodfinish

(mut self)

gpu/src/plan.rs:67

↓ 11 callersMethodget_row

(&self, row: usize)

src/matrix.rs:288

↓ 11 callersMethodis_empty

(&self)

src/matrix.rs:97

↓ 10 callersFunctioninto_columns

(rows: Vec<[F; N]>)

examples/brainfuck/trace.rs:291

↓ 10 callersMethodtrace_len

(&self)

src/air.rs:161

↓ 9 callersFunctionbit_reverse

(v: &mut [T])

gpu/src/utils.rs:44

↓ 9 callersMethodroot

(&self)

src/merkle.rs:145

↓ 8 callersMethodreseed_with_digest

(&mut self, val: &H::Digest)

src/random.rs:111

↓ 8 callersMethodupdate

(&mut self, col: &'a [F])

gpu/src/plan.rs:53

↓ 7 callersMethodce_blowup_factor

(&self)

src/air.rs:173

↓ 7 callersMethoddegree

Returns an upper bound on the item's degree in `x`

src/constraints.rs:32

↓ 7 callersMethoddraw

(&mut self)

src/random.rs:134

↓ 7 callersMethodevaluate

Evaluates the columns of the matrix

src/matrix.rs:237

↓ 6 callersFunctiondraw_multiple

(public_coin: &mut P, n: usize)

src/random.rs:194

↓ 6 callersMethodeval

Adapted from https://github.com/0xProject/OpenZKP NOTE: evaluates the expression as a tree not a DAG Evaluates an expression bottom up as a tree Use `

src/expression.rs:363

↓ 6 callersMethodhash

(bytes: impl IntoIterator<Item = u8>)

src/hash.rs:65

↓ 6 callersFunctionhorner_evaluate

( poly_coeffs: &[F], point: &T, )

src/utils.rs:124

↓ 6 callersMethodprove

(&self, indices: &[usize])

src/merkle.rs:149

↓ 6 callersMethodreuse_shared_nodes

(&self)

src/expression.rs:186

↓ 5 callersFunctionassert_valid_over_transition_domain

( domain: Radix2EvaluationDomain<F::FftField>, poly_matrix: Matrix<F>, )

tests/constraint.rs:332

↓ 5 callersFunctionbit_reverse_index

(n: usize, i: usize)

gpu/src/utils.rs:4

↓ 5 callersMethodchallenge

Symbolic representation of a challenge TODO: terrible name. Needs refactoring

src/constraints.rs:369

↓ 5 callersMethodclone

(&self)

src/merkle.rs:98

↓ 5 callersFunctionevaluate_symbolic

TODO: consider merging with ConstraintComposer::evaluate_constraint_cpu

tests/constraint.rs:352

↓ 5 callersFunctionextract_lde_chunk

( lde: &'_ [F], offset: usize, )

src/eval_cpu.rs:154

↓ 5 callersMethodnum_cols

(&self)

src/matrix.rs:93

↓ 5 callersMethodoptions

(&self)

src/air.rs:165

↓ 4 callersMethodas_bytes

(&self)

src/utils.rs:505

↓ 4 callersFunctionbit_reverse_ce_trace

Bit reverses the first ce_domain_size many values of the matrix columns. Returns a slice to the portion of the columns that were bit reversed

src/prover.rs:185

↓ 4 callersMethodcmp

(&self, other: &Self)

src/expression.rs:465

↓ 4 callersMethodtrace_domain

(&self)

src/air.rs:209

↓ 4 callersMethodtraverse

Adapted from https://github.com/0xProject/OpenZKP Applies a bottom-up traversal.

src/expression.rs:48

↓ 4 callersFunctionverify

()

src/merkle.rs:529

↓ 3 callersMethodbit_reversed_evaluate

(&self, domain: Radix2EvaluationDomain<F::FftField>)

src/matrix.rs:245

↓ 3 callersFunctionceil_power_of_two

Rounds the input value up the the nearest power of two

src/utils.rs:76

↓ 3 callersMethodclone

(&self)

src/matrix.rs:398

↓ 3 callersMethodcoeffs

(&self)

src/constraints.rs:130

↓ 3 callersMethodfill_bytes

(&mut self, dest: &mut [u8])

src/random.rs:171

↓ 3 callersMethodgraph_eval

Evaluates an expression graph bottom up Intermediate results are cached to prevent re-evaluation

src/expression.rs:409

↓ 3 callersMethodindex

(&self)

src/constraints.rs:358

↓ 3 callersMethodinterval_size

(&self)

src/constraints.rs:126

↓ 3 callersMethodinverse

(&self)

src/utils.rs:269

↓ 3 callersMethodlde_blowup_factor

(&self)

src/air.rs:231

↓ 3 callersMethodlde_domain

Low degree extension domain

src/air.rs:214

↓ 3 callersMethodmap_leaves

(&self, f: &mut impl FnMut(&T) -> U)

src/expression.rs:164

↓ 3 callersMethodnext

Create a constraint element for the next cycle

src/constraints.rs:392

↓ 3 callersMethodpow

(self, exp: usize)

src/expression.rs:329

↓ 3 callersMethodpow

(self, rhs: usize)

src/eval_gpu.rs:720

↓ 3 callersMethodpublic_inputs

(&self)

src/air.rs:169

↓ 3 callersMethodreseed_with_field_elements

(&mut self, vals: &[Self::Field])

src/random.rs:117

↓ 3 callersMethodtrace_arguments

(&self)

src/air.rs:241

↓ 3 callersMethodupdate

(&mut self, input: F)

examples/rescue/rescue.rs:49

↓ 3 callersMethodverify

(self, positions: &[usize])

src/fri.rs:117

↓ 3 callersMethodverify_proof_of_work

(&self, proof_of_work_bits: u8, nonce: u64)

↓ 2 callersMethodas_fq

(&self)

src/utils.rs:284

↓ 2 callersMethodbase_columns

(&self)

examples/fib/main.rs:45

↓ 2 callersFunctionbit_reverse_serial

(v: &mut [T])

gpu/src/utils.rs:32

↓ 2 callersFunctionblowup_factor

Returns the power-of-2 degree blowup observed by evaluating constraints over the trace polynomials.

src/constraints.rs:340

↓ 2 callersMethodblowup_factor

Returns the power-of-2 degree blowup observed by evaluating constraints over the trace polynomials.

src/constraints.rs:162

↓ 2 callersMethodce_domain

Constraint evaluation domain

src/air.rs:222

↓ 2 callersFunctioncompile

(source: &str)

examples/brainfuck/vm.rs:68

↓ 2 callersMethodcomposition_constraint

( &self, )

src/air.rs:235

↓ 2 callersMethodcreate_fft_encoder

( &self, direction: FftDirection, domain: Radix2EvaluationDomain<F::FftField>, )

gpu/src/plan.rs:378

↓ 2 callersFunctiondivide_out_points_into

Calculates `sum(c_i * (P(X) - P(z_i)) / (X - z_i)` using synthetic division <https://en.wikipedia.org/wiki/Synthetic_division> adapted from OpenZKP <h

src/utils.rs:166

↓ 2 callersMethoddraw_queries

(&mut self, max_n: usize, domain_size: usize)

src/random.rs:138

↓ 2 callersMethodencode_bit_reverse_stage

(&self, input_buffer: &mut metal::Buffer)

gpu/src/plan.rs:217

↓ 2 callersMethodencode_butterfly_stages

(&self, input_buffer: &mut metal::Buffer)

gpu/src/plan.rs:211

↓ 2 callersMethodencode_scale_stage

(&self, input_buffer: &mut metal::Buffer)

gpu/src/plan.rs:222

↓ 2 callersFunctioneval_periodic_column

Generates a preiodic low degree extension of a periodic column of values

src/eval_cpu.rs:235

↓ 2 callersFunctionfold_positions

# Panics Panics is positions are not all unique and sorted

src/fri.rs:615

↓ 2 callersFunctiongen_binary_valued_matrix

Generates a single column matrix consisting of two values i.e. ┌───────┐ │ Col 0 │ ├───────┤ │ 3 │ ├───────┤ │ 7 │ ├───────┤ │ 3 │ ├──────

src/utils.rs:649

↓ 2 callersMethodgen_deep_coeffs

( &self, public_coin: &mut Self::PublicCoin, air: &Air<Self::AirConfig>, )

src/stark.rs:41

↓ 2 callersFunctiongen_fib_matrix

Generates a matrix of fibbonacci sequence across two columns i.e. ┌───────┬───────┐ │ Col 0 | Col 1 │ ├───────┼───────┤ │ 1 │ 1 │ #1 -> #2 ->

src/utils.rs:617

↓ 2 callersMethodgen_hints

(&self, challenges: &Challenges<C::Fq>)

src/air.rs:195

↓ 2 callersMethodgen_public_coin

(&self, air: &ministark::Air<Self::AirConfig>)

examples/fib/main.rs:166

↓ 2 callersFunctiongen_rpo_merkle_tree

(leaves: &[[F; 4]])

gpu/src/plan.rs:150

↓ 2 callersMethodget_public_inputs

(&self)

examples/fib/main.rs:158

↓ 2 callersFunctiongpu_vec_to_vec

(v: GpuVec<T>)

src/utils.rs:462

↓ 2 callersMethodinto_bit_reversed_evaluations

(self, domain: Radix2EvaluationDomain<F::FftField>)

src/matrix.rs:225

next →1–100 of 407, ranked by callers