Functions — github.com/andrewmilson/ministark

hub / github.com/andrewmilson/ministark / functions

Functions407 in github.com/andrewmilson/ministark

⨍ Functions 407◇ Types & classes 131

↓ 2 callersMethodinto_evaluations

Evaluates the columns of the matrix

src/matrix.rs:211

↓ 2 callersMethodinto_fri_options

(self)

src/lib.rs:124

↓ 2 callersMethodinto_polynomials

Interpolates the columns of the polynomials over the domain

src/matrix.rs:142

↓ 2 callersFunctionio_terminal_helper

Computes the evaluation terminal for the input and output table output is of the form `(evaluatoin_argument, evaluation_offset)`

examples/brainfuck/air.rs:151

↓ 2 callersFunctionmatrix_mul

(a: &Vec<Vec<F>>, b: &Vec<Vec<F>>)

examples/rescue/rescue.rs:293

↓ 2 callersMethodnum_challenges

(&self)

src/air.rs:183

↓ 2 callersMethodnum_composition_constraint_coeffs

(&self)

src/air.rs:199

↓ 2 callersMethodnum_layers

(&self, mut domain_size: usize)

src/fri.rs:49

↓ 2 callersMethodoffset

(&self, offset: isize)

src/constraints.rs:396

↓ 2 callersMethodpermute

(&self, state: &mut Vec<Vec<F>>)

examples/rescue/rescue.rs:100

↓ 2 callersMethodproduct

(mut iter: I)

src/expression.rs:510

↓ 2 callersMethodread_row

(&self, row_idx: usize, row: &mut [F])

src/matrix.rs:296

↓ 2 callersMethodreseed_with_field_element_vector

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

src/random.rs:37

↓ 2 callersMethodreseed_with_int

(&mut self, val: u64)

src/random.rs:123

↓ 2 callersMethodsecurity_level_bits

adapted from Winterfell also https://github.com/starkware-libs/ethSTARK/blob/master/README.md#7-Measuring-Security https://eprint.iacr.org/2020/654.pd

src/proof.rs:126

↓ 2 callersMethodsum

(mut iter: I)

src/expression.rs:502

↓ 2 callersFunctionvec_to_gpu_vec

(v: Vec<T>)

src/utils.rs:467

↓ 1 callersMethodappend

(&mut self, other: Self)

src/matrix.rs:79

↓ 1 callersFunctionapply_drp

Performs a degree respecting projection (drp) on polynomial evaluations. Example for `folding_factor = 2`: ```text 1. interpolate evals over the evalu

src/fri.rs:526

↓ 1 callersMethodbit_reverse_rows

(&mut self)

src/matrix.rs:352

↓ 1 callersMethodbuild_extension_columns

Builds and returns the extension trace columns These columns require auxiliary random elements to be constructed. Returns None if there are no columns

src/trace.rs:30

↓ 1 callersMethodbuild_layers

( &mut self, channel: &mut impl ProverChannel<Field = F, Digest = D>, mut evaluations:

src/fri.rs:179

↓ 1 callersFunctionbuild_periodic_column_evals_map

( expr: &Expr<AlgebraicItem<FieldVariant<Fp, Fq>>>, domain_offset: Fp, trace_len: usize, blowu

src/eval_cpu.rs:178

↓ 1 callersMethodbuild_proof

( self, trace_queries: Queries<S>, fri_proof: FriProof<S::Fq, S::Digest, S::MerkleTree

src/channel.rs:102

↓ 1 callersFunctionceil_power_of_two

Rounds the input value up the the nearest power of two

examples/brainfuck/vm.rs:384

↓ 1 callersMethodcommit_base_trace

(&mut self, commitment: S::Digest)

src/channel.rs:46

↓ 1 callersMethodcommit_composition_trace

(&mut self, commitment: S::Digest)

src/channel.rs:56

↓ 1 callersMethodcommit_extension_trace

(&mut self, commitment: S::Digest)

src/channel.rs:51

↓ 1 callersMethodcommit_fri_layer

(&mut self, commitment: S::Digest)

src/channel.rs:128

↓ 1 callersMethodcommit_remainder

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

src/channel.rs:133

↓ 1 callersFunctioncompute_instruction_evaluation_argument

Computes the evaluation terminal for the instruction table

examples/brainfuck/air.rs:129

↓ 1 callersFunctiondeep_composition_evaluations

( air: &Air<A>, query_positions: &[usize], composition_coeffs: &DeepCompositionCoeffs<A::Fq>,

src/verifier.rs:238

↓ 1 callersFunctiondefault_prove

( this: &S, options: ProofOptions, witness: S::Witness, )

src/prover.rs:25

↓ 1 callersFunctiondefault_validate_constraints

Checks AIR constraints are valid

src/debug.rs:10

↓ 1 callersFunctiondefault_verify

( this: &S, proof: Proof<S>, required_security_bits: u32, )

src/verifier.rs:27

↓ 1 callersFunctionderive_memory_rows

( processor_rows: &[[Fp; ProcessorBaseColumn::NUM_TRACE_COLUMNS]], )

examples/brainfuck/vm.rs:338

↓ 1 callersFunctiondistribute_powers

(coeffs: &mut [F], g: F)

gpu/src/utils.rs:139

↓ 1 callersFunctiondivide_out_point_into

Calculates `c * (P(X) - P(z)) / (X - z)` using synthetic division <https://en.wikipedia.org/wiki/Synthetic_division> adapted from OpenZKP <https://git

src/utils.rs:154

↓ 1 callersMethoddraw_fri_alpha

(&mut self)

src/channel.rs:139

↓ 1 callersFunctionechelon_form

Computes the Reduced Row Echelon Form Computed by Gauss–Jordan elimination https://en.wikipedia.org/wiki/Row_echelon_form

examples/rescue/rescue.rs:219

↓ 1 callersFunctionfft

( coeffs: GpuVec<F>, domain: Radix2EvaluationDomain<F::FftField>, )

src/fri.rs:593

↓ 1 callersFunctionfill_twiddles

(dst: &mut [F], root: F)

gpu/src/utils.rs:13

↓ 1 callersMethodfinish

(&self)

examples/rescue/rescue.rs:54

↓ 1 callersFunctiongen_input_ext_matrix

(challenges: &Challenges<Fq3>, base_matrix: &Matrix<Fp>)

examples/brainfuck/trace.rs:247

↓ 1 callersFunctiongen_instruction_ext_matrix

( instruction_permutation_initial: Fq3, challenges: &Challenges<Fq3>, base_matrix: &Matrix<Fp>, )

examples/brainfuck/trace.rs:196

↓ 1 callersFunctiongen_memory_ext_matrix

( memory_permutation_initial: Fq3, challenges: &Challenges<Fq3>, base_matrix: &Matrix<Fp>, )

examples/brainfuck/trace.rs:166

↓ 1 callersMethodgen_next

Updates the state by incrementing the counter and returns hash(seed || counter)

src/random.rs:91

↓ 1 callersFunctiongen_output_ext_matrix

(challenges: &Challenges<Fq3>, base_matrix: &Matrix<Fp>)

examples/brainfuck/trace.rs:269

↓ 1 callersFunctiongen_processor_ext_matrix

( instruction_permutation_initial: Fq3, memory_permutation_initial: Fq3, challenges: &Challenges<F

examples/brainfuck/trace.rs:108

↓ 1 callersFunctiongen_trace

(n: usize)

examples/fib/main.rs:175

↓ 1 callersMethodgenerate_trace

(&self, witness: FibTrace)

examples/fib/main.rs:162

↓ 1 callersMethodget_fri_query_positions

(&mut self)

src/channel.rs:95

↓ 1 callersMethodget_ood_evals

Output is of the form `(execution_trace_evals, composition_trace_evals)`

src/composer.rs:43

↓ 1 callersMethodget_ood_point

(&mut self)

src/channel.rs:61

↓ 1 callersFunctionget_query_values

from winterfell

src/fri.rs:633

↓ 1 callersMethodgrind_fri_commitments

(&mut self)

src/channel.rs:76

↓ 1 callersMethodgrind_proof_of_work

(&self, proof_of_work_bits: u8)

src/random.rs:48

↓ 1 callersMethodheight

Returns the height of the merkle tree i.e. for the merkle tree below `height=1` ```text + / \ + + ```

src/merkle.rs:136

↓ 1 callersFunctionif_not_instr

returns a polynomial in X that evaluates to 0 in all instructions except for one provided

examples/brainfuck/constraints.rs:490

↓ 1 callersFunctionifft

( evals: GpuVec<F>, domain: Radix2EvaluationDomain<F::FftField>, )

src/fri.rs:571

↓ 1 callersMethodindex

(&self, col: C)

src/matrix.rs:434

↓ 1 callersMethodinto_deep_poly

<https://medium.com/starkware/starkdex-deep-dive-the-stark-core-engine-497942d0f0ab>

src/composer.rs:89

↓ 1 callersMethodinto_evaluations_cpu

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

src/matrix.rs:166

↓ 1 callersMethodinto_evaluations_gpu

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

src/matrix.rs:193

↓ 1 callersMethodinto_fq_array

(self)

src/eval_cpu.rs:266

↓ 1 callersMethodinto_polynomials_cpu

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

src/matrix.rs:119

↓ 1 callersMethodinto_polynomials_gpu

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

src/matrix.rs:102

↓ 1 callersMethodinto_proof

(self, positions: &[usize])

src/fri.rs:148

↓ 1 callersMethodinverse

(self)

src/eval_gpu.rs:309

↓ 1 callersMethodinverse

(self)

src/eval_cpu.rs:280

↓ 1 callersMethodlast_value

(&self)

examples/fib/main.rs:32

↓ 1 callersFunctionleading_zeros

(hash: &[u8])

src/random.rs:181

↓ 1 callersFunctionlex

Lexer turns the source code into a sequence of opcodes

examples/brainfuck/vm.rs:43

↓ 1 callersMethodneg

(self)

src/expression.rs:303

↓ 1 callersFunctionpad_input_rows

(rows: &mut Vec<[Fp; InputBaseColumn::NUM_TRACE_COLUMNS]>, n: usize)

examples/brainfuck/vm.rs:324

↓ 1 callersFunctionpad_instruction_rows

(rows: &mut Vec<[Fp; InstructionBaseColumn::NUM_TRACE_COLUMNS]>, n: usize)

examples/brainfuck/vm.rs:312

↓ 1 callersFunctionpad_memory_rows

(rows: &mut Vec<[Fp; MemoryBaseColumn::NUM_TRACE_COLUMNS]>, n: usize)

examples/brainfuck/vm.rs:299

↓ 1 callersFunctionpad_output_rows

(rows: &mut Vec<[Fp; OutputBaseColumn::NUM_TRACE_COLUMNS]>, n: usize)

examples/brainfuck/vm.rs:331

↓ 1 callersFunctionpad_processor_rows

(rows: &mut Vec<[Fp; ProcessorBaseColumn::NUM_TRACE_COLUMNS]>, n: usize)

examples/brainfuck/vm.rs:282

↓ 1 callersMethodplan_fft

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

gpu/src/plan.rs:353

↓ 1 callersMethodplan_ifft

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

↓ 1 callersFunctionprove

(source_code_path: PathBuf, input: String, output_path: PathBuf)

examples/brainfuck/main.rs:120

↓ 1 callersMethodprove_rows

(&self, row_ids: &[usize])

src/merkle.rs:302

↓ 1 callersMethodreseed_with_field_element

(&mut self, val: &F)

src/random.rs:70

↓ 1 callersMethodsend_ood_evals

( &mut self, execution_trace_oods: Vec<S::Fq>, composition_trace_oods: Vec<S::Fq>,

src/channel.rs:65

↓ 1 callersMethodset_remainder

( &mut self, channel: &mut impl ProverChannel<Field = F, Digest = D>, mut evaluations:

src/fri.rs:233

↓ 1 callersFunctionsimulate

Outputs base execution trace

examples/brainfuck/vm.rs:109

↓ 1 callersMethodsum_columns

Sums columns into a single column matrix

src/matrix.rs:386

↓ 1 callersMethodsum_columns_cpu

(&self)

src/matrix.rs:323

↓ 1 callersMethodsum_columns_gpu

(&self)

src/matrix.rs:357

↓ 1 callersFunctiontranspose

Transposes a matrix

examples/rescue/rescue.rs:272

↓ 1 callersMethodvalidate_constraints

Check the AIR constraints are valid

src/stark.rs:66

↓ 1 callersFunctionverify

(source_code_path: PathBuf, input: String, output: String, proof_path: PathBuf)

examples/brainfuck/main.rs:160

Method_graph_eval

(this: &P<Expr<Option<U>>>)

src/expression.rs:384

Method_map_leaves

TODO: change this to self

src/expression.rs:115

Methodadd

(self, rhs: &Fp)

gpu/src/fields.rs:126

src/expression.rs:225

Methodadd

(self, rhs: Self)

src/eval_cpu.rs:306

← previous next →101–200 of 407, ranked by callers