Functions — github.com/andrewmilson/ministark

hub / github.com/andrewmilson/ministark / functions

Functions407 in github.com/andrewmilson/ministark

⨍ Functions 407◇ Types & classes 131

Functiongpu_rpo_from_rows

()

gpu/tests/rpo.rs:72

Methodhash_chunks

(slices: impl IntoIterator<Item = &'a [u8]>)

src/hash.rs:71

Methodhash_elements

(elements: impl IntoIterator<Item = F>)

src/hash.rs:93

Methodhash_leaves

(_: u32, l0: &H::Digest, l1: &H::Digest)

src/merkle.rs:399

Methodhash_nodes

(_: u32, n0: &Self::Digest, n1: &Self::Digest)

src/constraints.rs:352

Functionif_instr

( instr: OpCode, indeterminate: impl Borrow<Expr<AlgebraicItem<FieldVariant<Fp, Fq>>>>, )

examples/brainfuck/constraints.rs:507

Functionifft

()

gpu/tests/shaders.rs:94

(&self, challenge: C)

Functioninstr_zerofier

( instr: impl Borrow<Expr<AlgebraicItem<FieldVariant<Fp, Fq>>>>, )

examples/brainfuck/constraints.rs:479

Functionis_page_aligned

(v: &[T])

gpu/src/utils.rs:193

Methodjoin

(mut matrices: Vec<Self>)

examples/fib/main.rs:227

Functionmain

()

examples/rescue/main.rs:33

Functionmain

()

examples/brainfuck/main.rs:107

Methodmds_matrix

Generates the maximum distance separable (MDS) matrix Algorithm 4: https://eprint.iacr.org/2020/1143.pdf

examples/rescue/rescue.rs:166

Methodmerge

(v0: &SerdeOutput<Sha256>, v1: &SerdeOutput<Sha256>)

src/hash.rs:77

Methodmerge_with_int

(seed: &SerdeOutput<Sha256>, value: u64)

src/hash.rs:84

Methodmul

(mut self, rhs: &Fp)

gpu/src/fields.rs:170

src/expression.rs:251

src/constraints.rs:63

Methodmul_assign

(&mut self, rhs: &Fp)

gpu/src/fields.rs:100

Methodmul_assign

(&mut self, other: Self)

src/expression.rs:693

Functionmul_pow_fp

()

gpu/tests/fields.rs:18

Functionmul_pow_fq3

()

gpu/tests/fields.rs:84

Functionmul_pow_fq3_by_fp

()

gpu/tests/fields.rs:51

src/constraints.rs:186

Methodnew

(n: usize, requires_padding: bool)

gpu/src/plan.rs:43

Methodnew

( library: &metal::LibraryRef, n: usize, num_boxes: usize, variant: FftVariant

gpu/src/stage.rs:47

Methodnew

(mut hints: Vec<(usize, F)>)

( air: &'a Air<A>, z: A::Fq, base_trace_polys: Matrix<A::Fp>, extension_trace_

(air: &'a Air<S::AirConfig>, public_coin: S::PublicCoin)

src/channel.rs:31

Methodnew

( base_trace_lde: &Matrix<C::Fp>, extension_trace_lde: Option<&Matrix<C::Fq>>, composi

src/trace.rs:115

Methodnew

( blowup_factor: usize, folding_factor: usize, max_remainder_coeffs: usize, )

src/fri.rs:37

Methodnew

( num_queries: u8, lde_blowup_factor: u8, grinding_factor: u8, fri_folding_fac

src/lib.rs:102

Methodnew

(trace_len: usize, public_inputs: C::PublicInputs, options: ProofOptions)

src/air.rs:145

Methodnew

(cols: Vec<GpuVec<F>>)

src/matrix.rs:29

Methodnew

# Errors This function will return an error if: there are less than two leaves the number of leaves is not a power of two

src/merkle.rs:112

Methodnew

(library: &metal::LibraryRef, lde_size: usize)

# Panics Panics if the number of coefficients or the interval size is not a power of two.

src/constraints.rs:116

Methodnew

( state_width: usize, capacity: usize, rounds: usize, security_level: usize,

examples/rescue/rescue.rs:26

Methodnew

( processor_base_trace: Matrix<Fp>, memory_base_trace: Matrix<Fp>, instruction_base_tr

examples/brainfuck/trace.rs:39

Methodnew_constant

( calculator: &'a GpuLdeCalculator<Fp, Fq>, cache: &'a RefCell<LdeCache<Fp, Fq>>, comm

src/eval_gpu.rs:280

Methodnew_lde

( calculator: &'a GpuLdeCalculator<Fp, Fq>, cache: &'a RefCell<LdeCache<Fp, Fq>>, comm

src/eval_gpu.rs:294

Methodnew_leaf

(leaf: &T, seen: SeenSet<T>)

src/expression.rs:200

Functionood_constraint_evaluation

( composition_coefficients: &[A::Fq], challenges: &Challenges<A::Fq>, hints: &Hints<A::Fq>, tr

src/verifier.rs:205

Methodpartial_cmp

(&self, other: &Self)

src/expression.rs:459

Methodpow

(self, rhs: usize)

src/constraints.rs:95

Methodproduct

(mut iter: I)

src/constraints.rs:53

Methodprove

( &self, options: ProofOptions, witness: Self::Witness, )

src/stark.rs:57

Functionprove_all_leaves

()

src/merkle.rs:541

Functionquery_layer

( layer: &FriLayer<F, M>, positions: &[usize], )

src/fri.rs:650

Functionreduce_lde_blowup_factor

TODO: docs

src/utils.rs:185

Methodremainder_size

(&self, mut domain_size: usize)

src/fri.rs:58

Methodround_constants

Generates the round constants

examples/rescue/rescue.rs:132

Methodrows

(&self)

src/matrix.rs:302

Methodsecurity_level_bits

()

src/random.rs:142

Methodsecurity_level_bits

()

src/merkle.rs:290

Methodserialize_with_mode

( &self, writer: W, compress: ark_serialize::Compress, )

src/utils.rs:213

Methodserialize_with_mode

( &self, mut writer: W, compress: ark_serialize::Compress, )

src/trace.rs:48

Methodserialize_with_mode

( &self, mut writer: W, compress: ark_serialize::Compress, )

src/proof.rs:44

Methodserialized_size

(&self, _compress: ark_serialize::Compress)

src/utils.rs:221

Methodserialized_size

(&self, compress: ark_serialize::Compress)

src/trace.rs:68

Methodserialized_size

(&self, compress: ark_serialize::Compress)

src/proof.rs:68

Methodsub

(self, rhs: &Fp)

gpu/src/fields.rs:154

Methodsub

(self, rhs: &Expr<T>)

src/expression.rs:568

Methodsub

(self, rhs: Self)

src/constraints.rs:87

Methodsub_assign

(&mut self, rhs: Fp)

gpu/src/fields.rs:140

Methodsub_assign

(&mut self, other: Self)

src/expression.rs:729

Methodsum

(mut iter: I)

src/constraints.rs:45

Functionsymbolic_evaluation_with_challenges

()

tests/constraint.rs:87

Methodterminal_constraints

( )

examples/brainfuck/constraints.rs:136

Functionthreadgroup_fft_size

( max_threadgroup_mem_length: usize, max_threads_per_threadgroup: usize, )

gpu/src/utils.rs:160

Methodtrace_arguments

Adapted from https://github.com/0xProject/OpenZKP

src/constraints.rs:252

Functiontrace_domain

(trace_len: usize)

src/air.rs:131

Methodtransition_constraints

( )

examples/brainfuck/constraints.rs:39

Methodtraverse_mut

Applies a bottom-up traversal. The closure is given mutable access to the nodes.

src/expression.rs:99

Methodtry_fill_bytes

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

( &self, proof: Proof<Self>, required_security_bits: u32, )

src/stark.rs:78

← previous next →301–400 of 407, ranked by callers