Functions — github.com/arkworks-rs/ripp

hub / github.com/arkworks-rs/ripp / functions

Functions109 in github.com/arkworks-rs/ripp

⨍ Functions 109◇ Types & classes 45

↓ 63 callersMethodclone

(&self)

ip_proofs/src/gipa.rs:436

↓ 25 callersMethodclone

(&self)

ip_proofs/src/tipa/mod.rs:86

↓ 14 callersFunctionmul_helper

TODO: helper function for mul because relying on MulAssign

ip_proofs/src/lib.rs:15

↓ 13 callersMethodget_verifier_key

(&self)

ip_proofs/src/tipa/mod.rs:120

↓ 12 callersFunctionrandom_generators

(rng: &mut R, num: usize)

dh_commitments/src/lib.rs:59

↓ 11 callersMethodget_commitment_keys

(&self)

ip_proofs/src/tipa/mod.rs:114

↓ 9 callersFunctionstructured_scalar_power

(num: usize, s: &F)

ip_proofs/src/tipa/structured_scalar_message.rs:334

↓ 7 callersFunctionstructured_generators_scalar_power

( num: usize, g: &G, s: &G::ScalarField, )

ip_proofs/src/tipa/mod.rs:372

↓ 5 callersMethodclone

(&self)

ip_proofs/src/tipa/structured_scalar_message.rs:171

↓ 5 callersMethodevaluate

(&self, point: &(F, F))

ip_proofs/src/applications/poly_commit/mod.rs:125

↓ 5 callersMethodto_field_elements

(&self)

benches/benches/groth16_aggregation/bench.rs:168

↓ 3 callersFunctionpolynomial_evaluation_product_form_from_transcript

( transcript: &Vec<F>, z: &F, r_shift: &F, )

ip_proofs/src/tipa/mod.rs:393

↓ 3 callersFunctionprove_commitment_key_kzg_opening

( srs_powers: &Vec<G>, transcript: &Vec<G::ScalarField>, r_shift: &G::ScalarField, kzg_challen

ip_proofs/src/tipa/mod.rs:304

↓ 2 callersMethodabsorb

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

sipp/src/rng.rs:67

↓ 2 callersMethodevaluate

(&self, point: &(F, F))

ip_proofs/src/applications/poly_commit/transparent.rs:63

↓ 2 callersFunctionverify_aggregate_proof

( ip_verifier_srs: &VerifierSRS, vk: &VerifyingKey, public_inputs: &Vec<Vec<P::ScalarField>>

ip_proofs/src/applications/groth16_aggregation.rs:162

↓ 2 callersFunctionverify_commitment_key_g2_kzg_opening

TODO: Figure out how to avoid needing two separate methods for verification of opposite groups

ip_proofs/src/tipa/mod.rs:340

↓ 1 callersFunctionbatch_verify_proof

( pvk: &PreparedVerifyingKey<E>, public_inputs: &[Vec<E::ScalarField>], proofs: &[Proof<E>], )

benches/benches/groth16_aggregation/bench.rs:528

↓ 1 callersFunctioncfg_multi_pairing

Equivalent to `P::multi_pairing`, but with more parallelism (if enabled)

inner_products/src/lib.rs:77

↓ 1 callersMethodfill_bytes

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

sipp/src/rng.rs:37

↓ 1 callersMethodmul_assign

(&mut self, _rhs: T)

dh_commitments/src/identity/mod.rs:29

↓ 1 callersFunctionpolynomial_coefficients_from_transcript

(transcript: &Vec<F>, r_shift: &F)

ip_proofs/src/tipa/mod.rs:407

↓ 1 callersFunctionverify_commitment_key_g1_kzg_opening

( v_srs: &VerifierSRS, ck_final: &P::G1, ck_opening: &P::G1, transcript: &Vec<P::ScalarFiel

ip_proofs/src/tipa/mod.rs:356

Method_compute_final_commitment_keys

( ck: (&[LMC::Key], &[RMC::Key], &IPC::Key), transcript: &Vec<LMC::Scalar>, )

ip_proofs/src/gipa.rs:365

Method_compute_recursive_challenges

( com: (LMC::Output, RMC::Output, IPC::Output), proof: &GIPAProof<IP, LMC, RMC, IPC, D>, )

ip_proofs/src/gipa.rs:322

Method_prove

Returns vector of recursive commitments and transcripts in reverse order

ip_proofs/src/gipa.rs:181

Method_verify_base_commitment

( base_ck: (&LMC::Key, &RMC::Key, &Vec<IPC::Key>), base_com: (LMC::Output, RMC::Output, IPC::O

ip_proofs/src/gipa.rs:401

Methodadd

(self, _rhs: Self)

dh_commitments/src/identity/mod.rs:23

Functionafgho_g1_test

()

dh_commitments/src/afgho16/mod.rs:62

Functionafgho_g2_test

()

dh_commitments/src/afgho16/mod.rs:79

Functionaggregate_proofs

( ip_srs: &SRS, proofs: &[Proof], )

ip_proofs/src/applications/groth16_aggregation.rs:77

Functionbench_gipa

(rng: &mut R, len: usize)

benches/benches/gipa.rs:19

Functionbench_inner_product

(rng: &mut R, len: usize)

benches/benches/inner_products.rs:10

Functionbench_tipa

(rng: &mut R, len: usize)

benches/benches/tipa.rs:25

Functionbench_tipa_srs_shift

(rng: &mut R, len: usize)

benches/benches/tipa.rs:74

Functionbench_tipa_ssm

(rng: &mut R, len: usize)

benches/benches/tipa.rs:147

Methodbivariate_degrees

(univariate_degree: usize)

ip_proofs/src/applications/poly_commit/mod.rs:292

Methodbivariate_degrees

(univariate_degree: usize)

ip_proofs/src/applications/poly_commit/transparent.rs:221

Methodbivariate_form

( bivariate_degrees: (usize, usize), polynomial: &UnivariatePolynomial<P::ScalarField>, )

ip_proofs/src/applications/poly_commit/mod.rs:306

Methodbivariate_form

( bivariate_degrees: (usize, usize), polynomial: &UnivariatePolynomial<P::ScalarField>, )

ip_proofs/src/applications/poly_commit/transparent.rs:235

Functionbivariate_poly_commit_test

()

ip_proofs/src/applications/poly_commit/mod.rs:396

Methodcommit

TODO: Doesn't include message which means scalar b not included in generating challenges

ip_proofs/src/tipa/structured_scalar_message.rs:44

Methodcommit

( powers: &[P::G1Affine], polynomial: &UnivariatePolynomial<P::ScalarField>, )

ip_proofs/src/applications/poly_commit/mod.rs:76

Methodcommit

( ck: &(Vec<P::G1>, Vec<P::G2>), bivariate_polynomial: &BivariatePolynomial<P::ScalarField>,

ip_proofs/src/applications/poly_commit/transparent.rs:101

Methodcommit

(k: &[Self::Key], m: &[Self::Message])

dh_commitments/src/pedersen/mod.rs:24

Methodcommit

(_k: &[Self::Key], m: &[Self::Message])

dh_commitments/src/identity/mod.rs:86

Methodcommit

(k: &[Self::Key], m: &[Self::Message])

dh_commitments/src/afgho16/mod.rs:30

Methodfmt

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

ip_proofs/src/lib.rs:34

Methodfmt

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

inner_products/src/lib.rs:30

Methodfrom_seed

(seed: &[u8])

sipp/src/rng.rs:54

Methodgenerate_constraints

(self, cs: ConstraintSystemRef<F>)

benches/benches/groth16_aggregation/bench.rs:37

Methodgenerate_constraints

(self, cs: ConstraintSystemRef<Fr>)

benches/examples/groth16_aggregation.rs:25

Functiongipa_ssm_scalar_inner_product_test

()

ip_proofs/src/tipa/structured_scalar_message.rs:393

Methodinner_product

( left: &[Self::LeftMessage], right: &[Self::RightMessage], )

inner_products/src/lib.rs:61

Functionmain

()

benches/benches/inner_products.rs:27

Functionmain

()

benches/benches/gipa.rs:67

Functionmain

()

benches/benches/poly_commit.rs:21

Functionmain

()

benches/benches/tipa.rs:198

Functionmain

()

benches/benches/groth16_aggregation/bench.rs:203

Functionmain

()

benches/examples/groth16_aggregation.rs:42

Functionmain

()

sipp/examples/scaling-ipp.rs:21

Functionmultiexponentiation_inner_product_test

()

ip_proofs/src/gipa.rs:499

Functionmultiexponentiation_inner_product_test

()

ip_proofs/src/tipa/mod.rs:474

( powers: &[P::G1Affine], polynomial: &UnivariatePolynomial<P::ScalarField>, point: &P

ip_proofs/src/applications/poly_commit/mod.rs:88

Methodopen

( ck: &(Vec<P::G1>, Vec<P::G2>), bivariate_polynomial: &BivariatePolynomial<P::ScalarField>,

ip_proofs/src/applications/poly_commit/transparent.rs:129

Functionpairing_inner_product_test

()

ip_proofs/src/gipa.rs:471

Functionpairing_inner_product_test

()

ip_proofs/src/tipa/mod.rs:451

Functionpairing_inner_product_with_srs_shift_test

()

ip_proofs/src/tipa/mod.rs:529

Methodparse_bivariate_degrees_from_ck

(ck: &(Vec<P::G1>, Vec<P::G2>))

ip_proofs/src/applications/poly_commit/transparent.rs:229

Methodparse_bivariate_degrees_from_srs

(srs: &(SRS, Vec<P::G1Affine>))

ip_proofs/src/applications/poly_commit/mod.rs:300

Functionpedersen_test

()

dh_commitments/src/pedersen/mod.rs:40

Functionproduct_of_pairings

(a: &[E::G1Affine], b: &[E::G2Affine])

sipp/src/lib.rs:221

Functionproduct_of_pairings_with_coeffs

Compute the product of pairings of `r_i * a_i` and `b_i`.

sipp/src/lib.rs:184

Methodprove

( values: (&[IP::LeftMessage], &[IP::RightMessage], &IP::Output), ck: (&[LMC::Key], &[RMC::Key

ip_proofs/src/gipa.rs:108

Methodprove

( srs: &SRS, values: (&[IP::LeftMessage], &[IP::RightMessage]), ck: (&[LMC::Key], &

ip_proofs/src/tipa/mod.rs:166

Methodprove

Produce a proof of the inner pairing product.

sipp/src/lib.rs:42

Functionprove_and_verify_base_case

()

sipp/src/lib.rs:233

Methodprove_with_aux

( values: (&[IP::LeftMessage], &[IP::RightMessage]), ck: (&[LMC::Key], &[RMC::Key], &[IPC::Key

ip_proofs/src/gipa.rs:162

Methodprove_with_srs_shift

Shifts KZG proof for left message by scalar r (used for efficient composition with aggregation protocols) LMC commitment key should already be shifted

ip_proofs/src/tipa/mod.rs:176

Methodprove_with_structured_scalar_message

( values: (&[IP::LeftMessage], &[IP::RightMessage]), ck: (&[LMC::Key], &IPC::Key), )

ip_proofs/src/tipa/structured_scalar_message.rs:70

Functionscalar_inner_product_test

()

ip_proofs/src/gipa.rs:530

Functionscalar_inner_product_test

()

ip_proofs/src/tipa/mod.rs:500

Methodsetup

( rng: &mut R, size: usize, )

ip_proofs/src/gipa.rs:97

Methodsetup

(rng: &mut R, size: usize)

ip_proofs/src/tipa/mod.rs:150

Methodsetup

(_rng: &mut R, size: usize)

ip_proofs/src/tipa/structured_scalar_message.rs:39

Methodsetup

( rng: &mut R, degree: usize, )

ip_proofs/src/applications/poly_commit/mod.rs:56

Methodsetup

( rng: &mut R, x_degree: usize, y_degree: usize, )

ip_proofs/src/applications/poly_commit/transparent.rs:91

Methodsetup

(rng: &mut R, size: usize)

dh_commitments/src/pedersen/mod.rs:20

Methodsetup

(_rng: &mut R, size: usize)

dh_commitments/src/identity/mod.rs:82

Methodsetup

(rng: &mut R, size: usize)

dh_commitments/src/afgho16/mod.rs:26

Functionsetup_inner_product

(rng: &mut R, size: usize)

ip_proofs/src/applications/groth16_aggregation.rs:68

Methodsource

(self: &Self)

ip_proofs/src/lib.rs:28

Methodsource

(self: &Self)

inner_products/src/lib.rs:24

Functiontipa_ssm_multiexponentiation_inner_product_test

()

ip_proofs/src/tipa/structured_scalar_message.rs:361

Functiontransparent_bivariate_poly_commit_test

()

ip_proofs/src/applications/poly_commit/transparent.rs:325

Functiontransparent_univariate_poly_commit_test

()

ip_proofs/src/applications/poly_commit/transparent.rs:367

Methodtry_fill_bytes

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

sipp/src/rng.rs:42

Functionunivariate_poly_commit_test

()

ip_proofs/src/applications/poly_commit/mod.rs:439

next →1–100 of 109, ranked by callers