MCPcopy Create free account

hub / github.com/alex-ozdemir/collaborative-zksnark / functions

Functions2,749 in github.com/alex-ozdemir/collaborative-zksnark

⨍ Functions 2,749◇ Types & classes 579
↓ 558 callersMethodclone
(&self)
marlin/benches/bench.rs:33
↓ 487 callersFunctionrand
Yields a t-share of a random r. Stubbed b/c it can be pre-processed. Protocol 3.
mpc-algebra/src/share/gsz20/mod.rs:383
↓ 430 callersMethoditer
Iterate over the polynomials output by the prover in the first round.
marlin/src/ahp/prover.rs:174
↓ 430 callersMethodpush
Add a term to the linear combination.
poly-commit/src/data_structures.rs:341
↓ 330 callersFunctiontest_rng
Should be used only for tests, not for any real world usage.
algebra/ff/src/rand.rs:6
↓ 252 callersMethodinto
(self)
algebra/poly/src/polynomial/univariate/mod.rs:72
↓ 235 callersMethodgen
(&mut self)
mpc-plonk/src/util.rs:105
↓ 203 callersMethodinto_iter
(self)
crypto-primitives/src/snark/constraints.rs:140
↓ 117 callersMethodsquare
(&self)
algebra/ff/src/fields/models/cubic_extension.rs:199
↓ 112 callersMethodclone
(&self)
crypto-primitives/src/snark/constraints.rs:414
↓ 111 callersMethodinto_affine
Converts self into the affine representation.
algebra/ec/src/lib.rs:199
↓ 106 callersMethoditer
Returns an iterator that iterates over the evaluations over {0,1}^`num_vars`
algebra/poly/src/evaluations/multivariate/multilinear/dense.rs:72
↓ 88 callersMethodinto_repr
(&self)
mpc-algebra/src/wire/field.rs:526
↓ 87 callersMethodscalar_mul
(&self, other: S)
algebra/ec/src/lib.rs:312
↓ 78 callersMethodborrow
(&self)
snark/relations/src/r1cs/constraint_system.rs:775
↓ 76 callersMethodappend
(&mut self, other: &str)
algebra/ff-asm/src/context.rs:31
↓ 72 callersMethoditer_mut
Returns a mutable iterator that iterates over the evaluations over {0,1}^`num_vars`
algebra/poly/src/evaluations/multivariate/multilinear/dense.rs:77
↓ 71 callersMethodmul_assign
(&mut self, other: S)
mpc-algebra/src/group.rs:140
↓ 71 callersMethodsquare
(&self)
r1cs-std/src/fields/fp/mod.rs:238
↓ 68 callersMethodadd_assign
(&mut self, (coeff, other): (F, &'a LinearCombination<F>))
poly-commit/src/data_structures.rs:348
↓ 68 callersMethoddouble
(&self)
r1cs-std/src/fields/fp/mod.rs:206
↓ 65 callersMethodpow
(&self, exp: S)
algebra/ff/src/fields/mod.rs:185
↓ 58 callersMethodenforce_constraint
( &mut self, a: LinearCombination<F>, b: LinearCombination<F>, c: LinearCombin
snark/relations/src/r1cs/constraint_system.rs:254
↓ 55 callersFunctionfield_test
()
curves/curve-constraint-tests/src/lib.rs:11
↓ 54 callersMethodinsert
(&self, col: &mut Vec<T>)
poly-commit/src/marlin/marlin_pst13_pc/combinations.rs:36
↓ 53 callersMethodenforce_equal
(&self, other: &Self)
r1cs-std/src/eq.rs:48
↓ 49 callersMethodinto_projective
(&self)
r1cs-std/src/groups/curves/short_weierstrass/non_zero_affine.rs:37
↓ 47 callersMethodget
(self, id: &str)
algebra/ff-asm/src/context.rs:39
↓ 43 callersMethodis_empty
Returns `true` if the linear combination has no terms.
poly-commit/src/data_structures.rs:336
↓ 42 callersMethodinverse
(&self)
r1cs-std/src/fields/fp/mod.rs:246
↓ 41 callersMethodclone
(&self)
marlin/src/data_structures.rs:48
↓ 41 callersMethodclone
(&self)
groth16/benches/bench.rs:31
↓ 40 callersFunctionsetup
( srs: &PC::UniversalParams, circ: &relations::flat::CircuitLayout<F>, )
mpc-plonk/src/lib.rs:42
↓ 39 callersMethodclone
(&self)
nonnative/src/allocated_nonnative_field_var.rs:861
↓ 39 callersMethoddouble_in_place
(&mut self)
r1cs-std/src/groups/curves/short_weierstrass/non_zero_affine.rs:122
↓ 39 callersMethodreveal
(self)
mpc-algebra/src/reveal.rs:48
↓ 37 callersMethoddegree_bound
Retrieve the degree bound in `self`.
poly-commit/src/data_structures.rs:174
↓ 37 callersMethodinverse
(&self)
algebra/ff/src/fields/models/cubic_extension.rs:227
↓ 37 callersMethodsize
The number of powers in `self`.
poly-commit/src/kzg10/data_structures.rs:167
↓ 36 callersMethodlabel
Return the label for `self`.
poly-commit/src/data_structures.rs:154
↓ 36 callersFunctionopen
Open a t-share.
mpc-algebra/src/share/gsz20/mod.rs:434
↓ 36 callersMethodsum
(iter: I)
mpc-algebra/src/group.rs:100
↓ 35 callersMethodborrow_mut
(&self)
snark/relations/src/r1cs/constraint_system.rs:784
↓ 35 callersFunctionsqrt_field_test
(elem: F)
algebra/test-templates/src/fields.rs:347
↓ 34 callersMethoddouble
(&self)
algebra/ec/src/models/twisted_edwards_extended.rs:284
↓ 33 callersMethodnew_witness_variable
(&mut self, f: Func)
snark/relations/src/r1cs/constraint_system.rs:227
↓ 30 callersMethodconjugate
This is only to be used when the element is *known* to be in the cyclotomic subgroup.
algebra/ff/src/fields/models/quadratic_extension.rs:154
↓ 30 callersMethodlc
Constructs a `LinearCombination` from `Self`'s variables according to the following map. `Boolean::Constant(true) => lc!() + Variable::One` `Boolean:
r1cs-std/src/bits/boolean.rs:267
↓ 30 callersMethodnot
Negates `self`. This *does not* create any new variables or constraints. ``` # fn main() -> Result<(), ark_relations::r1cs::SynthesisError> { // We'l
r1cs-std/src/bits/boolean.rs:355
↓ 30 callersMethodparse
(input: ParseStream<'_>)
algebra/ff-asm/src/lib.rs:54
↓ 30 callersMethodpublicize
(&mut self)
mpc-trait/src/lib.rs:37
↓ 29 callersMethodadd_assign_mixed
(&mut self, other: &GroupAffine<P>)
algebra/ec/src/models/twisted_edwards_extended.rs:514
↓ 29 callersMethodcs
Return cs
nonnative/src/allocated_nonnative_field_var.rs:37
↓ 29 callersMethodnum_constraints
(&self)
snark/relations/src/r1cs/constraint_system.rs:802
↓ 29 callersMethodor
(&self, b: &Self)
r1cs-std/src/bits/boolean.rs:111
↓ 28 callersMethodpolynomial
Retrieve the polynomial from `self`
poly-commit/src/data_structures.rs:159
↓ 26 callersMethodfrobenius_map
(&mut self, power: usize)
algebra/ff/src/fields/models/cubic_extension.rs:269
↓ 26 callersMethodmul_assign_by_fp
(&mut self, other: &P::Fp)
algebra/ff/src/fields/models/fp2.rs:97
↓ 25 callersMethodmul
(&self, other: &Self)
r1cs-std/src/fields/fp/mod.rs:148
↓ 25 callersMethodmul_assign
(&mut self, other: &Self)
algebra/ff/src/fields/models/cubic_extension.rs:465
↓ 25 callersMethodselect
( &self, first: &T, second: &T, )
r1cs-std/src/bits/boolean.rs:766
↓ 25 callersFunctiontest_serialize
( data: T, )
algebra/serialize/src/lib.rs:879
↓ 24 callersMethodto_bits_le
(&self)
r1cs-std/src/bits/mod.rs:56
↓ 23 callersMethodinterpolate
Interpolate a polynomial from a list of evaluations
algebra/poly/src/evaluations/univariate/mod.rs:46
↓ 22 callersMethodevaluate
Evaluate the polynomial in `self`.
poly-commit/src/data_structures.rs:164
↓ 22 callersMethodvalue
Obtain the value of a nonnative field element
nonnative/src/allocated_nonnative_field_var.rs:82
↓ 22 callersMethodvariable
Get the R1CS variable for `self`.
r1cs-std/src/bits/boolean.rs:44
↓ 21 callersMethodand
(&self, b: &Self)
r1cs-std/src/bits/boolean.rs:92
↓ 21 callersMethodinner
(&self)
snark/relations/src/r1cs/constraint_system.rs:763
↓ 21 callersMethodis_constant
Returns `true` if `self` is a circuit-generation-time constant.
r1cs-std/src/lib.rs:86
↓ 21 callersMethodvalue
(&self)
r1cs-std/src/groups/curves/twisted_edwards/mod.rs:55
↓ 20 callersFunctiongroup_test
()
curves/curve-constraint-tests/src/lib.rs:244
↓ 20 callersMethodis_zero
Checks if the given polynomial is zero.
algebra/poly/src/polynomial/univariate/dense.rs:503
↓ 19 callersFunctionevaluate
Test if sparse multilinear polynomial evaluates correctly. This function assumes dense multilinear polynomial functions correctly.
algebra/poly/src/evaluations/multivariate/multilinear/sparse.rs:427
↓ 19 callersMethodget
(self)
r1cs-std/src/lib.rs:134
↓ 19 callersMethodis_zero
(&self)
algebra/ec/src/models/short_weierstrass_jacobian.rs:154
↓ 19 callersMethodxor
(&self, other: &Self)
r1cs-std/src/bits/uint8.rs:241
↓ 18 callersFunctionget_params
( target_field_size: usize, base_field_size: usize, optimization_type: OptimizationType, )
nonnative/src/params.rs:5
↓ 18 callersMethodsquare_in_place
(&mut self)
mpc-algebra/src/wire/field.rs:338
↓ 18 callersMethodwrite_all
(&mut self, buf: &[u8])
utils/src/io/mod.rs:295
↓ 17 callersMethodis_zero
(&self)
algebra/ff/src/fields/mod.rs:508
↓ 17 callersMethodnew_input_variable
(&mut self, f: Func)
snark/relations/src/r1cs/constraint_system.rs:212
↓ 17 callersMethodnew_lc
(&mut self, lc: LinearCombination<F>)
snark/relations/src/r1cs/constraint_system.rs:242
↓ 16 callersMethodcheck
(&self, cmt: &LabeledCommitment<PC::Commitment>, x: F, open: &(F, PC::Proof))
mpc-plonk/src/lib.rs:492
↓ 16 callersMethodcoset_fft_in_place
(&self, coeffs: &mut Vec<T>)
algebra/poly/src/domain/general.rs:214
↓ 16 callersMethoddegree
Retrieve the degree of the polynomial in `self`.
poly-commit/src/data_structures.rs:169
↓ 16 callersMethoddouble
(&self)
r1cs-std/src/groups/curves/short_weierstrass/non_zero_affine.rs:67
↓ 16 callersMethodeval
Evaluate polynomial `p` at `x`, producing a proof of the evaluation as well. With respect to a commitment `p_c` under randomness `p_r`.
mpc-plonk/src/lib.rs:343
↓ 16 callersMethodis_none
Returns `true` is `self == ConstraintSystemRef::None`.
snark/relations/src/r1cs/constraint_system.rs:753
↓ 16 callersMethodsample
(&self, rng: &mut R)
algebra/ff/src/fields/models/cubic_extension.rs:391
↓ 16 callersMethodvalue
Get the assigned value for `self`.
r1cs-std/src/bits/boolean.rs:32
↓ 16 callersMethodvalue
(&self)
r1cs-std/src/fields/fp/mod.rs:61
↓ 15 callersMethodnext
(&mut self)
algebra/ff/src/fields/mod.rs:544
↓ 15 callersMethodserialize
(&self, mut writer: W)
algebra/serialize/src/lib.rs:177
↓ 15 callersMethodserialize
(&self, _writer: W)
mpc-algebra/src/group.rs:53
↓ 14 callersMethodcoeffs
Returns the coefficients of `self`
algebra/poly/src/polynomial/univariate/dense.rs:143
↓ 14 callersMethodcs
(&self)
r1cs-std/src/groups/curves/short_weierstrass/mod.rs:122
↓ 14 callersMethodifft_in_place
(&self, evals: &mut Vec<T>)
algebra/poly/src/domain/general.rs:209
↓ 14 callersMethodinto_projective
Converts self into the projective representation.
algebra/ec/src/lib.rs:270
↓ 14 callersMethodinverse
(&self)
mpc-algebra/src/wire/field.rs:343
next →1–100 of 2,749, ranked by callers