MCPcopy Create free account

hub / github.com/DoHoonKim8/halo2-lasso / functions

Functions587 in github.com/DoHoonKim8/halo2-lasso

⨍ Functions 587◇ Types & classes 104
↓ 240 callersMethoditer
(&self)
plonkish_backend/src/poly/univariate.rs:51
↓ 63 callersMethodclone
(&self)
plonkish_backend/src/pcs/multilinear/brakedown.rs:28
↓ 42 callersFunctionparallelize
(v: &mut [T], f: F)
plonkish_backend/src/util/parallel.rs:27
↓ 39 callersMethoditer
(&self)
plonkish_backend/src/util/arithmetic/bh.rs:122
↓ 35 callersFunctionstart_timer
(_msg: impl Fn() -> T)
plonkish_backend/src/util/timer.rs:19
↓ 34 callersMethodsqueeze_challenge
(&mut self)
plonkish_backend/src/util/transcript.rs:127
↓ 30 callersMethoditer
()
benchmark/src/bin/plotter.rs:102
↓ 27 callersMethodpoly
(&self)
plonkish_backend/src/util/expression.rs:51
↓ 26 callersFunctionend_timer
(mut info: TimerInfo)
plonkish_backend/src/util/timer.rs:39
↓ 26 callersMethodevals
(&self)
plonkish_backend/src/poly/univariate.rs:77
↓ 25 callersMethodrotation
(&self)
plonkish_backend/src/util/expression.rs:55
↓ 24 callersMethoditer
(&self)
plonkish_backend/src/poly/multilinear.rs:60
↓ 21 callersFunctionvariable_base_msm
Copy from https://github.com/zcash/halo2/blob/main/halo2_proofs/src/arithmetic.rs
plonkish_backend/src/util/arithmetic/msm.rs:84
↓ 20 callersFunctiondiv_ceil
(dividend: usize, divisor: usize)
plonkish_backend/src/util/arithmetic.rs:193
↓ 19 callersMethoddegree
(&self)
plonkish_backend/src/poly/univariate.rs:61
↓ 16 callersMethodas_ref
(&self)
plonkish_backend/src/frontend/halo2.rs:94
↓ 16 callersMethodnum_vars
(&self)
plonkish_backend/src/pcs/multilinear/ipa.rs:33
↓ 16 callersFunctionvalidate_input
( function: &str, param_num_vars: usize, polys: impl IntoIterator<Item = &'a MultilinearPolynomial
plonkish_backend/src/pcs/multilinear.rs:26
↓ 15 callersMethodcoeffs
(&self)
plonkish_backend/src/poly/univariate.rs:57
↓ 15 callersFunctionevaluate
( expression: &Expression<F>, num_vars: usize, evals: &HashMap<Query, F>, challenges: &[F],
plonkish_backend/src/piop/sum_check.rs:60
↓ 14 callersFunctionparallelize_iter
(iter: I, f: F)
plonkish_backend/src/util/parallel.rs:9
↓ 14 callersMethodsqueeze_challenges
(&mut self, n: usize)
plonkish_backend/src/util/transcript.rs:18
↓ 13 callersFunctioninner_product
( lhs: impl IntoIterator<Item = &'a F>, rhs: impl IntoIterator<Item = &'b F>, )
plonkish_backend/src/util/arithmetic.rs:97
↓ 13 callersFunctionnum_threads
()
plonkish_backend/src/util/parallel.rs:1
↓ 11 callersMethodevaluate
( &self, constant: &impl Fn(F) -> T, common_poly: &impl Fn(CommonPolynomial) -> T,
plonkish_backend/src/util/expression.rs:109
↓ 11 callersMethodnext
()
plonkish_backend/src/util/expression.rs:25
↓ 11 callersMethodpoint
(&self)
plonkish_backend/src/pcs.rs:148
↓ 11 callersFunctionpowers
(scalar: F)
plonkish_backend/src/util/arithmetic.rs:77
↓ 11 callersMethodread_field_elements
(&mut self, n: usize)
plonkish_backend/src/util/transcript.rs:34
↓ 10 callersFunctionceil
(v: f64)
plonkish_backend/src/util/code/brakedown.rs:339
↓ 10 callersMethodnth_bit
(&self, nth: usize)
plonkish_backend/src/util.rs:39
↓ 10 callersMethodnum_vars
(&self)
plonkish_backend/src/pcs/multilinear/kzg.rs:34
↓ 10 callersMethodwrite_field_elements
( &mut self, fes: impl IntoIterator<Item = &'a F>, )
plonkish_backend/src/util/transcript.rs:42
↓ 9 callersMethodregister_calculation
(&mut self, calculation: Calculation<ValueSource>)
plonkish_backend/src/util/expression/evaluator.rs:131
↓ 9 callersFunctionstd_rng
()
plonkish_backend/src/util.rs:92
↓ 8 callersMethodevaluate
(&self, point: &Self::Point)
plonkish_backend/src/poly/univariate.rs:81
↓ 8 callersMethodinto_proof
(self)
plonkish_backend/src/util/transcript.rs:114
↓ 8 callersFunctionopen
(group: &mut BenchmarkGroup<impl Measurement>)
plonkish_backend/benches/pcs.rs:77
↓ 7 callersMethodcommon_field_element
(&mut self, fe: &F)
plonkish_backend/src/util/transcript.rs:133
↓ 7 callersMethoddistance
(&self)
plonkish_backend/src/util/expression.rs:29
↓ 7 callersMethodpermutation_polys
(&self)
plonkish_backend/src/backend.rs:114
↓ 7 callersFunctionrand_vec
(n: usize, mut rng: impl RngCore)
plonkish_backend/src/util.rs:108
↓ 7 callersMethodread_commitment
(&mut self)
plonkish_backend/src/util/transcript.rs:248
↓ 7 callersFunctionseeded_std_rng
()
plonkish_backend/src/util.rs:96
↓ 6 callersFunctioncommit
(group: &mut BenchmarkGroup<impl Measurement>)
plonkish_backend/benches/pcs.rs:63
↓ 6 callersMethodcopy
(&mut self, lhs: (usize, usize), rhs: (usize, usize))
plonkish_backend/src/backend/hyperplonk/util.rs:383
↓ 6 callersMethoddegree
(&self)
plonkish_backend/src/pcs/univariate/kzg.rs:44
↓ 6 callersMethodinstances
(&self)
plonkish_backend/src/frontend/halo2.rs:218
↓ 6 callersMethodis_zero
(&self)
plonkish_backend/src/poly/multilinear.rs:52
↓ 6 callersFunctionmerge_into
( target: &mut Vec<F>, evals: &[F], x_i: &F, distance: usize, skip: usize, )
plonkish_backend/src/poly/multilinear.rs:599
↓ 6 callersMethodregister_constant
(&mut self, constant: &F)
plonkish_backend/src/util/expression/evaluator.rs:105
↓ 6 callersMethodregister_value
( &mut self, field: impl FnOnce(&mut Self) -> &mut Vec<T>, item: &T, )
plonkish_backend/src/util/expression/evaluator.rs:90
↓ 6 callersMethodrow_len
(&self)
plonkish_backend/src/pcs/multilinear/hyrax.rs:47
↓ 6 callersMethodsum
( mut iter: I, )
plonkish_backend/src/poly/univariate.rs:341
↓ 6 callersFunctionwindow_size
(num_scalars: usize)
plonkish_backend/src/util/arithmetic/msm.rs:8
↓ 5 callersMethodevals
(&self)
plonkish_backend/src/poly/multilinear.rs:76
↓ 5 callersMethodevaluate
(&self, (weights, points): &Self::Auxiliary, challenge: &F)
plonkish_backend/src/piop/sum_check/classic/eval.rs:54
↓ 5 callersFunctionfixed_base_msm
( window_size: usize, window_table: &[Vec<C>], scalars: impl IntoIterator<Item = &'a C::Scalar>, )
plonkish_backend/src/util/arithmetic/msm.rs:67
↓ 5 callersFunctioninstance_polys
( num_vars: usize, instances: impl IntoIterator<Item = impl IntoIterator<Item = &'a F>>, )
plonkish_backend/src/backend/hyperplonk/prover.rs:32
↓ 5 callersMethodinto_evals
(self)
plonkish_backend/src/poly/univariate.rs:73
↓ 5 callersMethodnum_vars
(&self)
plonkish_backend/src/pcs/multilinear/hyrax.rs:35
↓ 5 callersMethodpolys
(&self)
plonkish_backend/src/piop/gkr/fractional_sum_check.rs:53
↓ 5 callersFunctionproduct
(values: impl IntoIterator<Item = impl Borrow<F>>)
plonkish_backend/src/util/arithmetic.rs:85
↓ 5 callersFunctionrand_idx
(range: Range<usize>, mut rng: impl RngCore)
plonkish_backend/src/util.rs:100
↓ 5 callersMethodread_field_element
(&mut self)
plonkish_backend/src/util/transcript.rs:140
↓ 5 callersMethodsize
(&self)
plonkish_backend/src/piop/sum_check/classic.rs:86
↓ 5 callersMethodtruncate_leading_zeros
(&mut self)
plonkish_backend/src/poly/univariate.rs:170
↓ 5 callersFunctionwindow_table
(window_size: usize, generator: C)
plonkish_backend/src/util/arithmetic/msm.rs:16
↓ 5 callersMethodwrite_commitment
(&mut self, hash: &Output<Keccak256>)
plonkish_backend/src/util/transcript.rs:258
↓ 5 callersMethodwrite_field_element
(&mut self, fe: &F)
plonkish_backend/src/util/transcript.rs:158
↓ 4 callersFunctionbatch_open
( pp: &Pcs::ProverParam, num_vars: usize, polys: Vec<&Pcs::Polynomial>, comms:
plonkish_backend/src/pcs/multilinear.rs:134
↓ 4 callersFunctionbatch_verify
( vp: &Pcs::VerifierParam, num_vars: usize, comms: Vec<&Pcs::Commitment>, poin
plonkish_backend/src/pcs/multilinear.rs:237
↓ 4 callersMethoddegree
(&self)
plonkish_backend/src/pcs/multilinear/zeromorph.rs:36
↓ 4 callersFunctionerr_too_many_variates
(function: &str, upto: usize, got: usize)
plonkish_backend/src/pcs/multilinear.rs:60
↓ 4 callersFunctionh
H(p) = -p \log_2(p) - (1 - p) \log_2(1 - p)
plonkish_backend/src/util/code/brakedown.rs:333
↓ 4 callersFunctionhorner
(coeffs: &[F], x: &F)
plonkish_backend/src/util/arithmetic.rs:62
↓ 4 callersMethodis_zero
(&self)
plonkish_backend/src/poly/univariate.rs:47
↓ 4 callersFunctionnext
(mut b: usize, num_vars: usize, primitive: usize)
plonkish_backend/src/util/arithmetic/bh.rs:144
↓ 4 callersFunctionnum_by_phase
(phases: &[u8])
plonkish_backend/src/frontend/halo2.rs:605
↓ 4 callersMethodnum_vars
(&self)
plonkish_backend/src/poly/multilinear.rs:56
↓ 4 callersFunctionpar_map_collect
( v: impl rayon::prelude::IntoParallelIterator<Item = T>, f: impl Fn(T) -> R + Send + Sync, )
plonkish_backend/src/util/parallel.rs:63
↓ 4 callersFunctionrand_array
(mut rng: impl RngCore)
plonkish_backend/src/util.rs:104
↓ 4 callersMethodrotate
(&self, mut b: usize, Rotation(rotation): Rotation)
plonkish_backend/src/util/arithmetic/bh.rs:105
↓ 4 callersMethodrow_num_vars
(&self)
plonkish_backend/src/pcs/multilinear/hyrax.rs:43
↓ 4 callersMethodused_primitive
( &self, common_poly: &impl Fn(CommonPolynomial) -> Option<T>, poly: &impl Fn(Query) -
plonkish_backend/src/util/expression.rs:228
↓ 4 callersMethodused_query
(&self)
plonkish_backend/src/util/expression.rs:194
↓ 3 callersMethodcodeword_len
(&self)
plonkish_backend/src/util/code/brakedown.rs:76
↓ 3 callersFunctioncompose
( circuit_info: &PlonkishCircuitInfo<F>, )
plonkish_backend/src/backend/hyperplonk/preprocessor.rs:25
↓ 3 callersMethoddot_into
(&self, array: &[F], mut target: impl AsMut<[F]>)
plonkish_backend/src/util/code/brakedown.rs:305
↓ 3 callersMethodencode
(&self, mut target: impl AsMut<[F]>)
plonkish_backend/src/util/code/brakedown.rs:88
↓ 3 callersMethodeq
(&self, num_vars: usize)
plonkish_backend/src/pcs/multilinear/kzg.rs:74
↓ 3 callersFunctioneq_xy_eval
(x: &[F], y: &[F])
plonkish_backend/src/piop/sum_check.rs:112
↓ 3 callersMethodeq_xys
(&self)
plonkish_backend/src/util/expression/evaluator.rs:64
↓ 3 callersMethodfix_var_in_place
(&mut self, x_i: &F, buf: &mut Self)
plonkish_backend/src/poly/multilinear.rs:185
↓ 3 callersMethodg
(&self)
plonkish_backend/src/pcs/multilinear/ipa.rs:37
↓ 3 callersMethodinstances
(&self)
benchmark/src/halo2/circuit.rs:383
↓ 3 callersMethodinto_expression
(self)
plonkish_backend/src/util/expression.rs:352
↓ 3 callersMethodinto_simplified
(self)
plonkish_backend/src/util/expression.rs:335
↓ 3 callersMethodlagranges
(&self)
plonkish_backend/src/util/expression/evaluator.rs:60
↓ 3 callersMethodnum_poly
(&self)
plonkish_backend/src/backend.rs:108
next →1–100 of 587, ranked by callers