Functions — github.com/arkworks-rs/gemini

CodeHub MCPcopy Create free account

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

Functions388 in github.com/arkworks-rs/gemini

⨍ Functions 388◇ Types & classes 125

Functionformat_public_input

Formats the public input according to the requirements of the constraint system

src/psnark/constraint_system.rs:301

(ck: &'a CommitterKey<E>)

src/kzg/space.rs:291

(ck: &CommitterKey<E>)

src/kzg/time.rs:30

(sp: &SpaceProver<F, S1, S2>)

src/subprotocols/sumcheck/space_prover.rs:277

(sp: &SpaceProver<M, S1, S2>)

src/herring/space_prover.rs:287

(pk: &'a ProvingKey<P>)

src/herring/snark.rs:52

(crs: &'a Crs<P>)

src/herring/ipa.rs:216

( transcript: &mut Transcript, crs: &Crs<P>, f_ip: Vec<Witness<FModule<P>>>, g

src/herring/ipa.rs:345

(ck: &CommitterKey<E>, r1cs: &R1cs<E::ScalarField>)

src/psnark/time_prover.rs:49

Functioninterpolate_poly

( eval_points: &[E::ScalarField], evals: &[E::ScalarField], sca_inverse: &[E::ScalarField], la

src/kzg/mod.rs:247

src/herring/module.rs:19

src/herring/module.rs:70

( iter: I, scalars: J, )

src/herring/prover.rs:35

Functionis_in_ascending_order

(x_s: &[T], is_less_than: impl Fn(&T, &T) -> bool)

src/psnark/constraint_system.rs:281

src/psnark/streams/algebraic_hash.rs:48

src/psnark/streams/intofield_stream.rs:63

src/iterable/slice.rs:21

src/iterable/mmap.rs:37

src/herring/streams.rs:54

src/psnark/streams/algebraic_hash.rs:59

src/psnark/streams/intofield_stream.rs:71

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

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

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

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

src/iterable/slice.rs:26

examples/pc.rs:11

examples/psnark.rs:83

examples/snark.rs:81

Functionmake_matrices_square_for_indexer

(cs: ConstraintSystemRef<F>)

src/psnark/constraint_system.rs:49

Functionmake_matrices_square_for_prover

(cs: ConstraintSystemRef<F>)

src/psnark/constraint_system.rs:313

Functionmemcheck_streams

( subset: SUB, set: SET, index: IND, y: F, z: F, )

src/subprotocols/memcheck/streams/mod.rs:22

Functionmsm_chunks

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

src/kzg/msm/stream_pippenger.rs:36

(self, rhs: &M::Scalar)

src/herring/prover.rs:49

Methodmulti_scalar_mul

Multi-scalar multiplciaiton of bases and scalars.

src/kzg/msm/variable_base.rs:99

Create a new Tensoriterator starting from index start_index.

src/psnark/streams/tensor_stream.rs:26

(matrix: &'a S, len: usize)

src/psnark/streams/val_stream.rs:36

(elt_stream: &'a EltS, idx_stream: &'a IdxS, chal: F)

src/psnark/streams/algebraic_hash.rs:26

(s0: &'a S0, s1: &'a S1)

src/psnark/streams/hadamard_stream.rs:22

(items: &'a S, indices: &'a I)

src/psnark/streams/lookup_stream.rs:36

(iterable: &'a S)

src/psnark/streams/intofield_stream.rs:44

The setup algorithm for the commitment scheme. Given a degree bound `max_degree`, an evaluation point bound `max_eval_points`, and a cryptographicall

src/kzg/time.rs:49

Producce a new hash map with the maximum msm buffer size.

src/kzg/msm/stream_pippenger.rs:153

Function for initializing the stream. The input contains the stream of R1CS matrix, a vector of field elements for producing tensor product, and the l

src/snark/streams.rs:31

(base_streamer: &'a S, y: F, z: F)

src/subprotocols/plookup/streams/set_stream.rs:13

(base_streamer: &'a S, y: F)

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

(base_streamer: &'a S, addr_streamer: &'a SA, y: F, z: F)

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

Generate a new subclaim from the non-oracle messages from the prover.

src/subprotocols/sumcheck/subclaim.rs:23

Initialize the elastic prover.

src/subprotocols/sumcheck/elastic_prover.rs:24

Initialize a new polynomial tree.

src/subprotocols/sumcheck/streams.rs:25

Initialize a new witness stream.

src/subprotocols/sumcheck/space_prover.rs:71

Instantiate a new Witness isntance from polynomials f, g. The instance also accepts a `twist`.

src/subprotocols/sumcheck/time_prover.rs:26

(streamer: &'a S)

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

(stream: &'a S, pad: S::Item)

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

(base_streamer: S, addr_streamer: R, x: F, y: F)

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

(stream: S, x: F, y: F)

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

(base_streamer: S, addr_streamer: SA, x: F, y: F)

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

(stream: S, addr: R, x: F, y: F)

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

Initialize a new memory map buffer.

src/iterable/mmap.rs:21

Creates new stream that will repeat `len` times the same element `e`.

src/iterable/dummy.rs:17

Initialize a new polynomial tree.

src/herring/streams.rs:30

Initialize a new witness stream.

src/herring/space_prover.rs:72

Instantiate a new Witness isntance from polynomials f, g. The instance also accepts a `twist`.

src/herring/time_prover.rs:27

(crs: &Crs<P>, r1cs: &R1cs<P::ScalarField>)

src/herring/snark.rs:46

(stream: S, len: usize)

src/herring/ipa.rs:154

Methodnew_batch

( transcript: &mut Transcript, prover_messages: &ProverMsgs<F>, asserted_sums: &[F],

src/subprotocols/sumcheck/subclaim.rs:45

Methodnew_elastic

Given as input the _streaming_ R1CS instance `r1cs` and the _streaming_ committer key `ck`, return a new _preprocessing_ SNARK using the elastic prove

src/psnark/elastic_prover.rs:60

Methodnew_elastic

Given as input the _streaming_ R1CS instance `r1cs` and the _streaming_ committer key `ck`, return a new SNARK using the elastic prover.

src/snark/elastic_prover.rs:174

Methodnew_elastic

Construct a new Proof using the Elastic prover

src/subprotocols/sumcheck/proof.rs:145

Methodnew_elastic

Create a new (single) entry product arugment using the commiter key `ck` and the stream `v`, whose grand product is `claimed_product`.

src/subprotocols/entryproduct/elastic_prover.rs:34

Methodnew_space

Construct a new Proof using the space prover.

src/subprotocols/sumcheck/proof.rs:133

Given as input the R1CS instance `r1cs` and the committer key `ck`, return a new _preprocessing_ SNARK using the elastic prover.

src/psnark/time_prover.rs:69

Given as input the R1CS instance `r1cs` and the committer key `ck` for the polynomial commitment scheme, produce a new SNARK proof using the time-effi

src/snark/time_prover.rs:19

Create a new Proof using the Time prover.

src/subprotocols/sumcheck/proof.rs:125

Creates a new grand product argument using the time prover.

src/subprotocols/entryproduct/time_prover.rs:117

The function for construct tensor check proof in a time-efficient way. It takes as input the randomness generator `transcript`, the committer key `ck

src/subprotocols/tensorcheck/mod.rs:190

Create a new Proof using the Time prover.

src/herring/proof.rs:123

Methodnew_time_batch

Creates a new grand product argument using the time prover. # Panics If the length of the claimed products differs from the length of `vs`.

src/subprotocols/entryproduct/time_prover.rs:61

src/psnark/streams/tensor_stream.rs:53

src/psnark/streams/algebraic_hash.rs:75

src/psnark/streams/hadamard_stream.rs:39

src/psnark/streams/lookup_stream.rs:76

src/psnark/streams/intofield_stream.rs:28

src/subprotocols/plookup/streams/set_stream.rs:76

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

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

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

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

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

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

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

src/iterable/dummy.rs:110

Methodnext_message

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

src/subprotocols/sumcheck/elastic_prover.rs:37

Methodnext_message

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

src/subprotocols/sumcheck/space_prover.rs:117

Methodnext_message

( &mut self, verifier_message: Option<M::ScalarField>, )

src/herring/space_prover.rs:118

Functionnum_non_zero_not_used

(matrices: &ConstraintMatrices<F>)

src/psnark/constraint_system.rs:38

Methodnum_oracles

The number of oracles

src/psnark/constraint_system.rs:174

(a: impl Borrow<Self::Lhs>, b: impl Borrow<Self::Rhs>)

src/herring/module.rs:55

Functionpad_input_for_indexer_and_prover

(cs: ConstraintSystemRef<F>)

src/psnark/constraint_system.rs:76

Functionproduct_vector_matrix

(z: &[F], matrix: &[Vec<(F, usize)>])

src/misc.rs:114

← previous next →201–300 of 388, ranked by callers