MCPcopy Create free account

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

Functions587 in github.com/DoHoonKim8/halo2-lasso

⨍ Functions 587◇ Types & classes 104
↓ 3 callersMethodnum_vars
(&self)
plonkish_backend/src/piop/gkr/fractional_sum_check.rs:49
↓ 3 callersMethodnum_vars
(&self)
plonkish_backend/src/pcs/multilinear/brakedown.rs:41
↓ 3 callersMethodparse
(logs: &[String])
benchmark/src/bin/plotter.rs:338
↓ 3 callersFunctionpermutation_polys
( num_vars: usize, permutation_polys: &[usize], cycles: &[Vec<(usize, usize)>], )
plonkish_backend/src/backend/hyperplonk/preprocessor.rs:172
↓ 3 callersFunctionpermutation_z_polys
( num_chunks: usize, permutation_polys: &[(usize, MultilinearPolynomial<F>)], polys: &[&Multilinea
plonkish_backend/src/backend/hyperplonk/prover.rs:252
↓ 3 callersFunctionpoints
(pcs_query: &BTreeSet<Query>, x: &[F])
plonkish_backend/src/backend/hyperplonk/verifier.rs:156
↓ 3 callersFunctionpoly
( state: &'a ProverState<F>, expr: &Expression<F>, )
plonkish_backend/src/piop/sum_check/classic/coeff.rs:205
↓ 3 callersMethodpowers_of_s_g1
(&self)
plonkish_backend/src/pcs/univariate/kzg.rs:52
↓ 3 callersFunctionsample
(system: System, k: usize, prove: impl Fn() -> T)
benchmark/benches/proof_system.rs:306
↓ 3 callersFunctionsteps
(start: F)
plonkish_backend/src/util/arithmetic.rs:69
↓ 3 callersMethodsynthesize
(&self, phase: usize, challenges: &[F])
plonkish_backend/src/frontend/halo2.rs:222
↓ 3 callersMethodupdate_field_element
(&mut self, field: &impl PrimeField)
plonkish_backend/src/util/hash.rs:19
↓ 3 callersMethodused_langrange
(&self)
plonkish_backend/src/util/expression.rs:184
↓ 3 callersMethodvalue
(&self)
plonkish_backend/src/pcs.rs:152
↓ 3 callersFunctionvanilla_plonk_with_lookup_circuit_info
( num_vars: usize, num_instances: usize, preprocess_polys: [Vec<F>; 9], permutations: Vec<Vec<
plonkish_backend/src/backend/hyperplonk/util.rs:63
↓ 3 callersMethodwrite_commitments
(&mut self, comms: impl IntoIterator<Item = &'a C>)
plonkish_backend/src/util/transcript.rs:78
↓ 2 callersFunctionadvice_idx
(cs: &ConstraintSystem<F>)
plonkish_backend/src/frontend/halo2.rs:585
↓ 2 callersFunctionbarycentric_interpolate
(weights: &[F], points: &[F], evals: &[F], x: &F)
plonkish_backend/src/util/arithmetic.rs:125
↓ 2 callersFunctionbarycentric_weights
(points: &[F])
plonkish_backend/src/util/arithmetic.rs:108
↓ 2 callersFunctionbatch_invert_assigned
(assigneds: Vec<Vec<Assigned<F>>>)
plonkish_backend/src/frontend/halo2.rs:679
↓ 2 callersFunctionbatch_size
(circuit_info: &PlonkishCircuitInfo<F>)
plonkish_backend/src/backend/hyperplonk/preprocessor.rs:13
↓ 2 callersFunctionbit_to_field
(bit: bool)
plonkish_backend/src/poly/multilinear.rs:576
↓ 2 callersMethodcache
(&self, state: &ProverState<F>)
plonkish_backend/src/piop/sum_check/classic/eval.rs:198
↓ 2 callersMethodcalculations
(&self)
plonkish_backend/src/util/expression/evaluator.rs:265
↓ 2 callersMethodcircuit_info
(&self)
plonkish_backend/src/frontend/halo2.rs:163
↓ 2 callersFunctioncolumn_idx
(cs: &ConstraintSystem<F>)
plonkish_backend/src/frontend/halo2.rs:590
↓ 2 callersFunctioncomm_scalars
( num_polys: usize, sets: &[EvaluationSet<F>], powers_of_beta: &[F], normalized_scalars: &[F],
plonkish_backend/src/pcs/univariate/kzg.rs:541
↓ 2 callersFunctionconvert_expression
( cs: &ConstraintSystem<F>, advice_idx: &[usize], challenge_idx: &[usize], expression: &plonk:
plonkish_backend/src/frontend/halo2.rs:650
↓ 2 callersMethoddiv_rem
(&self, divisor: &Self)
plonkish_backend/src/poly/univariate.rs:144
↓ 2 callersMethodduration
(&self, names: &[&'static str])
benchmark/src/bin/plotter.rs:467
↓ 2 callersFunctionend_timer_inner
(info: &mut TimerInfo)
plonkish_backend/src/util/timer.rs:49
↓ 2 callersMethodeq_xy_iter_mut
(&mut self)
plonkish_backend/src/piop/sum_check/classic/eval.rs:343
↓ 2 callersFunctionerr_unmatched_sum_check_output
()
plonkish_backend/src/piop/gkr/fractional_sum_check.rs:306
↓ 2 callersFunctioneval_and_quotient_scalars
(y: F, x: F, z: F, u: &[F])
plonkish_backend/src/pcs/multilinear/zeromorph.rs:263
↓ 2 callersFunctioneval_sets
(evals: &[Evaluation<F>])
plonkish_backend/src/pcs/univariate/kzg.rs:454
↓ 2 callersMethodevals
(&self, state: &ProverState<F>)
plonkish_backend/src/piop/sum_check/classic/eval.rs:102
↓ 2 callersMethodevaluate_for_rotation
(&self, x: &[F], rotation: Rotation)
plonkish_backend/src/poly/multilinear.rs:191
↓ 2 callersMethodexpressions
(&self)
plonkish_backend/src/backend.rs:123
↓ 2 callersFunctionfe_from_le_bytes
(bytes: impl AsRef<[u8]>)
plonkish_backend/src/util/arithmetic.rs:160
↓ 2 callersFunctionfolding_degree
(products: &[Product<F>])
plonkish_backend/src/util/expression/relaxed.rs:269
↓ 2 callersMethodfolding_degree
(&self)
plonkish_backend/src/util/expression/relaxed.rs:257
↓ 2 callersMethodg
(&self)
plonkish_backend/src/pcs/multilinear/hyrax.rs:55
↓ 2 callersMethodg2
(&self)
plonkish_backend/src/pcs/univariate/kzg.rs:56
↓ 2 callersMethodidentity
()
plonkish_backend/src/util/expression.rs:81
↓ 2 callersFunctionidx_order_by_phase
(phases: &[u8], offset: usize)
plonkish_backend/src/frontend/halo2.rs:627
↓ 2 callersMethodindexed
(&self, offsets: &Offsets)
plonkish_backend/src/util/expression/evaluator.rs:281
↓ 2 callersMethodinto_cycles
(self)
plonkish_backend/src/backend/hyperplonk/util.rs:399
↓ 2 callersFunctionlagrange_eval
(x: &[F], b: usize)
plonkish_backend/src/piop/sum_check.rs:98
↓ 2 callersMethodlagrange_iter_mut
(&mut self)
plonkish_backend/src/piop/sum_check/classic/eval.rs:337
↓ 2 callersFunctionlayer_down_claim
(evals: &[F], mu: F)
plonkish_backend/src/piop/gkr/fractional_sum_check.rs:290
↓ 2 callersFunctionlookup_compressed_polys
( lookups: &[Vec<(Expression<F>, Expression<F>)>], polys: &[&MultilinearPolynomial<F>], challenges
plonkish_backend/src/backend/hyperplonk/prover.rs:50
↓ 2 callersFunctionlookup_constraints
( circuit_info: &PlonkishCircuitInfo<F>, beta: &Expression<F>, gamma: &Expression<F>, )
plonkish_backend/src/backend/hyperplonk/preprocessor.rs:79
↓ 2 callersFunctionlookup_h_polys
( compressed_polys: &[[MultilinearPolynomial<F>; 2]], m_polys: &[MultilinearPolynomial<F>], gamma:
plonkish_backend/src/backend/hyperplonk/prover.rs:194
↓ 2 callersFunctionlookup_m_polys
( compressed_polys: &[[MultilinearPolynomial<F>; 2]], )
plonkish_backend/src/backend/hyperplonk/prover.rs:139
↓ 2 callersFunctionmerge_in_place
( evals: &mut Cow<[F]>, x_i: &F, distance: usize, skip: usize, buf: &mut Vec<F>, )
plonkish_backend/src/poly/multilinear.rs:584
↓ 2 callersMethodnum_chunks
(&self)
plonkish_backend/src/pcs/multilinear/hyrax.rs:51
↓ 2 callersMethodnum_column_opening
(&self)
plonkish_backend/src/util/code/brakedown.rs:80
↓ 2 callersMethodnum_proximity_testing
(&self)
plonkish_backend/src/util/code/brakedown.rs:84
↓ 2 callersMethodoffsets
(&self)
plonkish_backend/src/util/expression/evaluator.rs:52
↓ 2 callersMethodoutput_path
(&self)
benchmark/benches/proof_system.rs:166
↓ 2 callersFunctionpcs_query
( expression: &Expression<F>, num_instance_poly: usize, )
plonkish_backend/src/backend/hyperplonk/verifier.rs:147
↓ 2 callersFunctionpoint_offset
(pcs_query: &BTreeSet<Query>)
plonkish_backend/src/backend/hyperplonk/verifier.rs:166
↓ 2 callersFunctionpoint_to_tensor
(num_rows: usize, point: &[F])
plonkish_backend/src/pcs/multilinear/brakedown.rs:419
↓ 2 callersMethodpoly_iter_mut
(&mut self)
plonkish_backend/src/piop/sum_check/classic/eval.rs:349
↓ 2 callersMethodprimitive
(&self)
plonkish_backend/src/util/arithmetic/bh.rs:97
↓ 2 callersFunctionquotients
( poly: &MultilinearPolynomial<F>, point: &[F], f: impl Fn(usize, Vec<F>) -> T, )
plonkish_backend/src/pcs/multilinear.rs:72
↓ 2 callersFunctionrotation_eval
(x: &[F], rotation: Rotation, evals_for_rotation: &[F])
plonkish_backend/src/poly/multilinear.rs:433
↓ 2 callersFunctionsave
(mut fg: Figure, name: impl AsRef<str>)
benchmark/src/bin/plotter.rs:658
↓ 2 callersFunctionset_scalars
( sets: &[EvaluationSet<F>], powers_of_gamma: &[F], points: &[F], z: &F, )
plonkish_backend/src/pcs/univariate/kzg.rs:514
↓ 2 callersFunctionsquares
(scalar: F)
plonkish_backend/src/util/arithmetic.rs:81
↓ 2 callersFunctionsqueeze_challenge_idx
( transcript: &mut impl FieldTranscript<F>, cap: usize, )
plonkish_backend/src/pcs/multilinear/brakedown.rs:427
↓ 2 callersFunctionsteps_by
(start: F, step: F)
plonkish_backend/src/util/arithmetic.rs:73
↓ 2 callersFunctionsum
(values: impl IntoIterator<Item = impl Borrow<F>>)
plonkish_backend/src/util/arithmetic.rs:91
↓ 2 callersMethodsum
(iter: I)
plonkish_backend/src/util/expression.rs:537
↓ 2 callersFunctionsum_check_claim
(claimed_p_ys: &[F], claimed_q_ys: &[F], gamma: F)
plonkish_backend/src/piop/gkr/fractional_sum_check.rs:283
↓ 2 callersFunctionsum_check_expression
(num_batching: usize)
plonkish_backend/src/piop/gkr/fractional_sum_check.rs:272
↓ 2 callersMethodused_rotation
(&self)
plonkish_backend/src/util/expression.rs:202
↓ 2 callersFunctionusize_from_bits_le
(bits: &[bool])
plonkish_backend/src/util/arithmetic.rs:183
↓ 2 callersFunctionvanilla_plonk_circuit_info
( num_vars: usize, num_instances: usize, preprocess_polys: [Vec<F>; 5], permutations: Vec<Vec<
plonkish_backend/src/backend/hyperplonk/util.rs:30
↓ 2 callersFunctionvanilla_plonk_expression
(num_vars: usize)
plonkish_backend/src/backend/hyperplonk/util.rs:51
↓ 2 callersFunctionvanishing_eval
(points: impl IntoIterator<Item = &'a F>, z: &F)
plonkish_backend/src/pcs/univariate/kzg.rs:535
↓ 2 callersFunctionvariable_base_msm_serial
( scalars: &[&C::Scalar], bases: &[&C], result: &mut C::Curve, )
plonkish_backend/src/util/arithmetic/msm.rs:117
↓ 2 callersFunctionwindowed_scalar
( window_size: usize, window_mask: usize, idx: usize, repr: impl AsRef<[u8]>, )
plonkish_backend/src/util/arithmetic/msm.rs:33
↓ 2 callersMethodx_inv
(&self)
plonkish_backend/src/util/arithmetic/bh.rs:101
↓ 1 callersMethodadd
(self, mut rhs: C::Curve)
plonkish_backend/src/util/arithmetic/msm.rs:141
↓ 1 callersMethodadd_assign
(&mut self, rhs: &C)
plonkish_backend/src/util/arithmetic/msm.rs:130
↓ 1 callersFunctionaggregate
( param: &ParamsKZG<M>, snarks: impl IntoIterator<Item = &'a Snark<M::G1Affine>>, )
benchmark/src/halo2/circuit.rs:243
↓ 1 callersMethodas_ref
(&self)
plonkish_backend/src/pcs/univariate/kzg.rs:131
↓ 1 callersMethodas_ref
(&self)
plonkish_backend/src/pcs/multilinear/brakedown.rs:84
↓ 1 callersMethodassign_advice
( &mut self, _: A, _: Column<Advice>, _: usize, _: V, )
plonkish_backend/src/frontend/halo2.rs:295
↓ 1 callersMethodassign_fixed
( &mut self, _: A, column: Column<Fixed>, row: usize, to: V, )
plonkish_backend/src/frontend/halo2.rs:311
↓ 1 callersMethodbench
(&self, k: usize, circuit: Circuit)
benchmark/benches/proof_system.rs:189
↓ 1 callersFunctionbench_espresso_hyperplonk
(circuit: MockCircuit<ark_bn254::Fr>)
benchmark/benches/proof_system.rs:117
↓ 1 callersMethodcalculate
(&self, cache: &mut [F], idx: usize)
plonkish_backend/src/util/expression/evaluator.rs:315
↓ 1 callersMethodcircuit_info
(&self)
plonkish_backend/src/backend.rs:172
↓ 1 callersMethodcircuit_info_without_preprocess
(&self)
plonkish_backend/src/frontend/halo2.rs:100
↓ 1 callersMethodcommon_commitment
(&mut self, comm: &Output<Keccak256>)
plonkish_backend/src/util/transcript.rs:241
↓ 1 callersMethodcost_breakdown
(&self, log: &Log)
benchmark/src/bin/plotter.rs:136
↓ 1 callersFunctioncreate_output
(systems: &[System])
benchmark/benches/proof_system.rs:297
↓ 1 callersFunctiondiv_rem
(dividend: usize, divisor: usize)
plonkish_backend/src/util/arithmetic.rs:189
← previousnext →101–200 of 587, ranked by callers