Functions — github.com/andrewmilson/ministark

hub / github.com/andrewmilson/ministark / functions

Functions407 in github.com/andrewmilson/ministark

⨍ Functions 407◇ Types & classes 131

Methodadd

(self, rhs: Self)

src/constraints.rs:79

Methodadd_assign

(&mut self, rhs: Fp)

gpu/src/fields.rs:112

Methodadd_assign

(&mut self, other: Self)

src/expression.rs:717

Methodallocate

(&self, layout: Layout)

src/utils.rs:447

Methodbase_columns

(&self)

examples/brainfuck/trace.rs:103

Functionbit_reversal_fails_for_non_power_of_two

()

gpu/src/utils.rs:240

Functionbit_reverse_works

()

gpu/src/utils.rs:227

Methodboundary_constraints

( )

examples/brainfuck/constraints.rs:26

Methodbuild_extension_columns

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

examples/brainfuck/trace.rs:68

Methodbuild_layer

Builds a single layer of the FRI protocol Returns the evaluations for the next layer.

src/fri.rs:199

Functionbuild_merkle_nodes

(leaves: &[C::Leaf])

src/merkle.rs:439

Functionbuild_merkle_tree_bench

( c: &mut Criterion, name: &str, )

benches/merkle_tree.rs:19

Functionbuild_merkle_tree_benches

(c: &mut Criterion)

benches/merkle_tree.rs:42

Returns the evaluation result if the numerator is 0 when the denominator is 0 otherwise returns None. This can be used as a heuristic check by the pro

src/constraints.rs:172

Methodcomposition_constraint

Combines multiple constraints into a single constraint (the composition constraint). Constraints are composed with verifiers randomness. This verifier

src/air.rs:50

Methodcomposition_degree

Returns a degree that all constraint polynomials must be normalized to.

src/air.rs:178

Functionconstraint_degree

()

tests/constraint.rs:51

Functionconstraint_multiplication

()

tests/constraint.rs:114

Functionconstraint_with_challenges

()

tests/constraint.rs:64

Methodconstraints

(trace_len: usize)

examples/fib/main.rs:73

Methodconstraints

(_trace_len: usize)

examples/rescue/main.rs:28

Methodconstraints

(trace_len: usize)

examples/brainfuck/air.rs:61

Functioncopy_to_private_buffer

( command_queue: &metal::CommandQueue, v: &[T], )

gpu/src/utils.rs:83

Methoddeallocate

(&self, ptr: NonNull<u8>, layout: Layout)

src/expression.rs:433

src/constraints.rs:272

src/constraints.rs:278

Methoddeserialize_with_mode

( reader: R, compress: ark_serialize::Compress, validate: ark_serialize::Validate,

src/utils.rs:233

Methoddeserialize_with_mode

( mut reader: R, compress: ark_serialize::Compress, validate: ark_serialize::Validate,

src/trace.rs:85

Methoddeserialize_with_mode

( mut reader: R, compress: ark_serialize::Compress, validate: ark_serialize::Validate,

src/expression.rs:277

src/constraints.rs:71

Methoddiv_assign

(&mut self, other: Self)

src/expression.rs:705

Functiondivide_out_point

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

( &self, command_buffer: &metal::CommandBufferRef, input_buffer: &mut metal::BufferRef

gpu/src/stage.rs:94

Methodeq

(&self, other: &Self)

src/utils.rs:515

Methodeq

(&self, other: &Self)

src/expression.rs:441

Functioneval

( expr: &Expr<AlgebraicItem<FieldVariant<Fp, Fq>>>, challenges: &[Fq], hints: &[Fq], lde_step:

src/eval_gpu.rs:46

Functioneval

( expr: &Expr<AlgebraicItem<FieldVariant<Fp, Fq>>>, challenges: &[Fq], hints: &[Fq], lde_step:

src/eval_cpu.rs:33

Methodeval_constraint

( composition_constraint: &CompositionConstraint<FieldVariant<Self::Fp, Self::Fq>>, challenges

src/air.rs:86

Functioneval_impl

( expr: &Expr<AlgebraicItem<FieldVariant<Fp, Fq>>>, challenges: &[Fq], hints: &[Fq], lde_step:

Functionevaluate_binary_constraint

()

tests/constraint.rs:200

Functionevaluate_constant_lde

()

src/eval_gpu.rs:1054

Functionevaluate_fibonacci_constraint

()

tests/constraint.rs:174

Functionevaluate_permutation_constraint

()

tests/constraint.rs:221

Functionevaluate_trace_lde

()

src/eval_gpu.rs:1023

Functionevaluate_vanishing_polynomial

from arkworks This evaluates the vanishing polynomial for this domain at tau.

src/utils.rs:86

Functionevaluate_x_inverse_lde

()

src/eval_gpu.rs:995

Functionevaluate_x_lde

()

src/eval_gpu.rs:918

Functionevaluate_x_lde_with_fp_and_fq

()

src/eval_gpu.rs:948

Functionevaluate_zerofier_constraint

()

tests/constraint.rs:287

Functionfft_bench

(c: &mut Criterion, name: &str)

gpu/benches/fft.rs:20

Functionfft_benches

(c: &mut Criterion)

gpu/benches/fft.rs:81

Functionfft_kernel_name

GPU FFT kernel name as declared at the bottom of `fft.metal`

gpu/src/stage.rs:26

Functionfft_with_256_bit_field

()

gpu/tests/shaders.rs:69

Functionfft_with_64_bit_field

()

gpu/tests/shaders.rs:17

Functionfft_with_extension_field

()

gpu/tests/shaders.rs:43

Functionfill_vanishing_polynomial

Evaluates the vanishing polynomial for `vanish_domain` over `eval_domain` E.g. evaluates `(x - v_0)(x - v_1)...(x - v_n-1)` over `eval_domain`

src/utils.rs:95

Methodfmt

(&self, f: &mut core::fmt::Formatter<'_>)

src/utils.rs:296

Methodfmt

(&self, f: &mut std::fmt::Formatter<'_>)

src/random.rs:79

Methodfrom

(domain: Radix2EvaluationDomain<F::FftField>)

gpu/src/plan.rs:275

Methodfrom

(value: Fp)

gpu/src/fields.rs:186

Methodfrom

(value: SerdeOutput<D>)

src/utils.rs:528

Methodfrom

(value: T)

src/expression.rs:496

Methodfrom

(value: Expr<AlgebraicItem<T>>)

src/constraints.rs:264

Methodfrom_arrays

Creates a matrix from row-major list of arrays

( _trace_len: usize, _public_inputs: &Self::PublicInputs, _challenges: &Challenges<Sel

src/air.rs:34

Methodgen_hints

( _trace_len: usize, claimed_nth_fib_number: &Fp, _: &ministark::challenges::Challenge

examples/fib/main.rs:62

Methodgen_hints

( trace_len: usize, execution_info: &BrainfuckClaim, challenges: &Challenges<Self::Fq>

examples/brainfuck/air.rs:33

Methodgen_public_coin

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

examples/brainfuck/main.rs:72

Functiongen_random_col

(n: usize)

src/eval_gpu.rs:1084

Methodgenerate_trace

(&self, witness: BrainfuckTrace)

examples/brainfuck/main.rs:84

Methodget_alphas

Outputs the alphas in the form `(alpha, alpha_inv)` Algorithm 6 Computing α and α^(-1)

examples/rescue/rescue.rs:187

Methodget_public_inputs

(&self)

examples/brainfuck/main.rs:80

Functiongpu_rpo_from_columns

()

gpu/tests/rpo.rs:14

← previous next →201–300 of 407, ranked by callers