Functions — github.com/arkworks-rs/gemini

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

Functions388 in github.com/arkworks-rs/gemini

⨍ Functions 388◇ Types & classes 125

↓ 2 callersFunctiondummy_r1cs_stream

Output a stream for the dummy R1CS instance.

src/iterable/dummy.rs:220

↓ 2 callersFunctioneval_shift

(oracle: impl FnOnce(F) -> F)

src/psnark/verifier.rs:32

↓ 2 callersFunctionevaluate_tensor_poly

(elements: &[F], x: F)

src/misc.rs:373

↓ 2 callersFunctionexpand_tensor

Partially expand the tensor product \\(\otimes (1, \rho_j)\\) XXX TODO: This function is pub(crate) as in a previous version of this library, Iterable

src/misc.rs:158

↓ 2 callersFunctionextend_frequency

(frequency: &[usize])

src/subprotocols/plookup/time_prover.rs:71

↓ 2 callersMethodfinal_foldings

(&self)

src/subprotocols/sumcheck/prover.rs:64

↓ 2 callersMethodfold

(&mut self, challenge: F)

src/subprotocols/sumcheck/prover.rs:52

↓ 2 callersFunctionfoldings_polynomial

The function for folding polynomials using given challenges for each round. It skips the last challenge since the result can be obtained from asserted

src/subprotocols/tensorcheck/mod.rs:124

↓ 2 callersFunctionhadamard_unsafe

(lhs: I, rhs: J)

src/misc.rs:220

↓ 2 callersFunctioninit_stack

(n: usize, challenges_len: usize)

src/subprotocols/sumcheck/streams.rs:69

↓ 2 callersFunctioninit_stack

(n: usize, challenges_len: usize)

src/herring/streams.rs:79

↓ 2 callersMethodis_eol

Return `true` is the current element is indicating a new line, `false` otherwise.

src/misc.rs:91

↓ 2 callersMethoditer

(&self)

src/iterable/dummy.rs:45

↓ 2 callersMethodlen

(&self)

src/psnark/streams/tensor_stream.rs:108

↓ 2 callersMethodlen

(&self)

src/subprotocols/entryproduct/streams/mod.rs:36

↓ 2 callersMethodlen

(&self)

src/subprotocols/memcheck/streams/audit_stream.rs:61

↓ 2 callersMethodlen

(&self)

src/iterable/dummy.rs:49

↓ 2 callersFunctionmake_matrices_square

( cs: ConstraintSystemRef<F>, num_formatted_variables: usize, )

src/psnark/constraint_system.rs:91

↓ 2 callersMethodnext_message

(&mut self, verifier_message: Option<F>)

src/subprotocols/sumcheck/prover.rs:48

↓ 2 callersFunctionpo_from_g1

(p: &P::G1)

src/herring/ipa.rs:29

↓ 2 callersFunctionpo_from_g2

(q: &P::G2)

src/herring/ipa.rs:33

↓ 2 callersFunctionsplit_fold

(f: &[M], r: M::Scalar)

src/herring/time_prover.rs:72

src/subprotocols/sumcheck/prover.rs:17

↓ 1 callersMethodadd

(self, rhs: Self)

src/kzg/mod.rs:117

↓ 1 callersMethodadd_chunk

Add a chunk of bases and scalars into the multiscalar multiplication state.

src/kzg/msm/stream_pippenger.rs:317

↓ 1 callersMethodadvance_by

(&mut self, n: usize)

src/psnark/streams/lookup_stream.rs:92

↓ 1 callersMethodas_committer_key

Turn a streaming SRS into a normal SRS.

src/kzg/space.rs:78

↓ 1 callersMethodcommit

The commitment procedures, that takes as input a committer key and the streaming coefficients of polynomial, and produces the desired commitment.

src/kzg/space.rs:169

↓ 1 callersMethodcommit_g2

(&self, scalars: SF)

src/herring/ipa.rs:107

↓ 1 callersFunctionelastic_snark_main

(rng: &mut impl Rng, instance_logsize: usize)

examples/psnark.rs:54

↓ 1 callersFunctionelastic_snark_main

(rng: &mut impl Rng, instance_logsize: usize)

examples/snark.rs:55

↓ 1 callersFunctioneval_plookup_set

(oracle: impl Fn(F) -> F, y: F, z: F, n: usize)

src/psnark/verifier.rs:68

↓ 1 callersFunctioneval_plookup_subset

( oracle: impl FnOnce(F) -> F, index_oracle: impl Fn(F) -> F, y: F, zeta: F, n: usize, )

src/psnark/verifier.rs:40

↓ 1 callersFunctionevaluate_sq_fp

( eval_parent_pos: &F, eval_parent_neg: &F, sp_randomness: &F, two_inv: &F, two_beta_inv:

src/subprotocols/tensorcheck/mod.rs:98

↓ 1 callersMethodfold

Fold the current instance with the randomness r. For the space prover, this simply means storing the randomness aside. Twist the randomness, to avoid

src/subprotocols/sumcheck/space_prover.rs:245

↓ 1 callersMethodfold

Fold the sumcheck instance (inplace).

src/subprotocols/sumcheck/time_prover.rs:75

↓ 1 callersMethodfold

Fold the current instance with the randomness r. For the space prover, this simply means storing the randomness aside. Twist the randomness, to avoid

src/herring/space_prover.rs:255

↓ 1 callersMethodfold

Fold the sumcheck instance (inplace).

src/herring/time_prover.rs:83

↓ 1 callersMethodgenerate_constraints

( self, cs: ConstraintSystemRef<ConstraintF>, )

src/circuit.rs:55

↓ 1 callersMethoditer

(&self)

src/psnark/streams/lookup_stream.rs:52

↓ 1 callersMethoditer

(&self)

src/subprotocols/plookup/streams/subset_stream.rs:32

↓ 1 callersMethoditer

(&self)

src/subprotocols/entryproduct/streams/product_stream.rs:39

↓ 1 callersMethoditer

(&self)

src/subprotocols/entryproduct/streams/rrot_stream.rs:34

↓ 1 callersMethodlen

(&self)

src/psnark/streams/lookup_stream.rs:61

↓ 1 callersMethodlen

(&self)

src/subprotocols/memcheck/streams/write_stream.rs:62

↓ 1 callersMethodlen

(&self)

src/subprotocols/memcheck/streams/read_stream.rs:67

↓ 1 callersMethodlen

(&self)

src/iterable/mmap.rs:44

↓ 1 callersFunctionln_without_floats

The result of this function is only approximately `ln(a)` [`Explanation of usage`] [`Explanation of usage`]: https://github.com/scipr-lab/zexe/issues

src/kzg/msm/variable_base.rs:16

↓ 1 callersMethodmax_eval_points

(&self)

src/kzg/time.rs:76

↓ 1 callersFunctionmemory_traces

Start a watcher thread that will print the memory (stack+heap) currently allocated at regular intervals. Informations are going to be printed only wit

examples/psnark.rs:16

↓ 1 callersFunctionmemory_traces

Start a watcher thread that will print the memory (stack+heap) currently allocated at regular intervals. Informations are going to be printed only wit

examples/snark.rs:17

↓ 1 callersFunctionmsm_chunks

Steaming multi-scalar multiplication algorithm with hard-coded chunk size.

src/kzg/space.rs:22

↓ 1 callersFunctionmsm_internal

Add a chunk of bases and scalars into the multiscalar multiplication state. XXX. Rust sometimes gets confused if I use G::ScalarField instead of F, so

src/kzg/msm/stream_pippenger.rs:77

↓ 1 callersFunctionnaive_var_base_msm

( bases: &[G], scalars: &[<G::ScalarField as PrimeField>::BigInt], )

src/kzg/msm/variable_base.rs:184

↓ 1 callersMethodnext

(&mut self)

src/subprotocols/plookup/streams/sorted_stream.rs:137

↓ 1 callersMethodnext_message

Time-efficient, next-message function.

src/subprotocols/sumcheck/time_prover.rs:83

↓ 1 callersMethodopen

Evaluate a single polynomial at the point `alpha`, and provide an evaluation proof along with the evaluation.

src/kzg/space.rs:95

↓ 1 callersFunctionpad_input_for_indexer_and_prover

(cs: ConstraintSystemRef<F>)

src/circuit.rs:269

↓ 1 callersFunctionpadded_matrix_dim

This must *always* be in sync with `make_matrices_square`.

src/psnark/constraint_system.rs:67

↓ 1 callersFunctionpartially_foldtree

( stream: &'a S, challenges: &'a [F], )

src/subprotocols/tensorcheck/mod.rs:160

↓ 1 callersFunctionplookup_subset

(v: &[F], y: &F)

src/subprotocols/plookup/time_prover.rs:61

↓ 1 callersFunctionrepeat_r1cs

( r1cs: &'a R1cs<F>, repeat: usize, [z_a, z_b, z_c]: [&'a [F]; 3], )

src/circuit.rs:220

↓ 1 callersMethodrequired_rounds

Output the number of rounds required for the given scalar product.

src/subprotocols/sumcheck/space_prover.rs:76

↓ 1 callersMethodrequired_rounds

Output the number of rounds required for the given scalar product.

src/subprotocols/sumcheck/time_prover.rs:35

↓ 1 callersMethodrequired_rounds

Output the number of rounds required for the given scalar product.

src/herring/space_prover.rs:77

↓ 1 callersMethodrequired_rounds

Output the number of rounds required for the given scalar product.

src/herring/time_prover.rs:36

↓ 1 callersMethodround

(&self)

src/subprotocols/sumcheck/elastic_prover.rs:66

↓ 1 callersMethodrounds

(&self)

src/subprotocols/sumcheck/elastic_prover.rs:59

↓ 1 callersMethodstream

(&self)

src/subprotocols/memcheck/streams/init_stream.rs:38

↓ 1 callersMethodstream

(&self)

src/subprotocols/memcheck/streams/read_stream.rs:47

↓ 1 callersFunctiontensorcheck

Streaming function for producing the tensor check proof.

src/snark/elastic_prover.rs:105

↓ 1 callersFunctiontime_snark_main

(rng: &mut impl Rng, instance_logsize: usize)

examples/psnark.rs:70

↓ 1 callersFunctiontime_snark_main

(rng: &mut impl Rng, instance_logsize: usize)

examples/snark.rs:69

↓ 1 callersFunctiontranscribe_foldings

Store in memory all polynomial foldings after `threshold_level`

src/subprotocols/tensorcheck/mod.rs:136

↓ 1 callersMethodverify

The verification procedure for the EvaluationProof with a single polynomial evaluated at a single evaluation point. The polynomial are evaluated at th

src/kzg/mod.rs:155

↓ 1 callersMethodverify_transcript

( &self, vrs: &Vrs<P>, comm_a: P::G1, comm_b: P::G2, y: P::ScalarField

src/herring/ipa.rs:250

Function_features_enabled

Return a string will all the feature tags enabled so far.

src/misc.rs:13

Methodadvance_by

(&mut self, n: usize)

src/psnark/streams/intofield_stream.rs:33

Functionarithmetize_matrix

( matrix_name: &str, matrix: &Matrix<F>, )

src/psnark/constraint_system.rs:187

Functionbalance_matrices

(a_matrix: &mut Matrix<F>, b_matrix: &mut Matrix<F>)

src/psnark/constraint_system.rs:20

Methodbatch_commit

( &self, polynomials: &[&'a dyn Iterable<Item = F, Iter = &mut dyn Iterator<Item = F>>], )

src/kzg/space.rs:179

Functionbatch_verify_bench

(c: &mut Criterion)

benches/verifier_bench.rs:15

Functionbench_add

(c: &mut Criterion)

benches/coreops_bench.rs:15

Functionbench_commit

(c: &mut Criterion)

benches/commit_bench.rs:12

Functionbench_exp

(c: &mut Criterion)

benches/coreops_bench.rs:53

Functionbench_msm

(c: &mut Criterion)

benches/msm_bench.rs:17

Functionbench_mul

(c: &mut Criterion)

benches/coreops_bench.rs:34

Functionbench_sumcheck

(c: &mut Criterion)

benches/proofs_bench.rs:14

Functionelastic_tensorcheck

( transcript: &mut Transcript, ck: CommitterKeyStream<E, SG>, base_polynomial: &SB, body_polyn

src/snark/elastic_prover.rs:23

Functioneval_entryprod

(oracle: impl FnOnce(F) -> F, psi: F, n: usize)

src/psnark/verifier.rs:23

Functionevaluate_base_polynomial

( transcript: &mut Transcript, base_polynomial: &I, eval_points: &[F; 3], )

src/psnark/elastic_prover.rs:35

Methodfinal_foldings

(&self)

src/subprotocols/sumcheck/elastic_prover.rs:73

Methodfinal_foldings

(&self)

src/subprotocols/sumcheck/space_prover.rs:260

Methodfinal_foldings

(&self)

src/subprotocols/sumcheck/time_prover.rs:135

Methodfinal_foldings

(&self)

src/herring/space_prover.rs:270

Methodfmt

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

src/errors.rs:10

Methodfmt

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

src/kzg/mod.rs:133

Methodfmt

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

src/snark/mod.rs:85

Methodfold

(&mut self, challenge: F)

src/subprotocols/sumcheck/elastic_prover.rs:44

← previous next →101–200 of 388, ranked by callers