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

Prove function for the scalar product. The input contains a randomness generator and a prover struct. The prover struct can be either time-efficient o

src/subprotocols/sumcheck/proof.rs:36

Prove function for the scalar product. The input contains a randomness generator and a prover struct. The prover struct can be either time-efficient o

src/herring/proof.rs:37

Methodprove_batch

Prove function for a batch of scalar product instances.

src/subprotocols/sumcheck/proof.rs:69

Methodprove_batch

Prove function for a batch of scalar product instances.

src/herring/proof.rs:70

src/subprotocols/sumcheck/space_prover.rs:256

src/subprotocols/sumcheck/time_prover.rs:131

src/subprotocols/sumcheck/prover.rs:60

src/herring/space_prover.rs:266

src/herring/time_prover.rs:131

src/subprotocols/sumcheck/space_prover.rs:252

src/subprotocols/sumcheck/time_prover.rs:127

src/herring/space_prover.rs:262

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

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

Functiontest_batch_sumcheck_correctness

src/subprotocols/sumcheck/tests.rs:227

Functiontest_batch_sumcheck_correctness

src/herring/tests.rs:226

Functiontest_chunked_pippenger

src/kzg/msm/stream_pippenger.rs:392

Functiontest_commitment

src/kzg/time.rs:194

Functiontest_commitment_consistency

src/kzg/tests.rs:16

Functiontest_consistency

src/psnark/tests.rs:14

Functiontest_consistency

src/subprotocols/plookup/tests.rs:11

Functiontest_consistency

src/subprotocols/plookup/streams/mod.rs:50

Functiontest_consistency_elastic

src/subprotocols/sumcheck/tests.rs:90

Functiontest_consistency_elastic

src/herring/tests.rs:89

Functiontest_consistent_batch

src/herring/ipa.rs:710

Functiontest_correctness

src/herring/ipa.rs:689

Functiontest_dummy_matrix_streamer

src/iterable/dummy.rs:251

Functiontest_dummy_streamer

src/iterable/dummy.rs:241

Functiontest_entry_product_consistency

src/subprotocols/entryproduct/tests.rs:38

Functiontest_entry_product_relation

src/subprotocols/entryproduct/tests.rs:15

Functiontest_evaluate_index_poly

src/misc.rs:425

Functiontest_folded_polynomial

src/subprotocols/sumcheck/streams.rs:233

Functiontest_folded_polynomial_tree

src/subprotocols/sumcheck/streams.rs:260

Functiontest_folding_consistency

src/subprotocols/sumcheck/tests.rs:141

Functiontest_folding_consistency

src/herring/tests.rs:140

Functiontest_foldings_polynomial

src/subprotocols/tensorcheck/mod.rs:388

Functiontest_hadamard_stream

src/psnark/streams/hadamard_stream.rs:88

Functiontest_index

src/psnark/streams/lookup_stream.rs:98

Functiontest_init_stream

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

Functiontest_joint_val

src/psnark/streams/val_stream.rs:463

Functiontest_lincomb

src/subprotocols/tensorcheck/streams.rs:249

Functiontest_linear_combination

src/misc.rs:402

Functiontest_matrix

src/psnark/streams/val_stream.rs:499

Functiontest_matrix_tensor

src/snark/streams.rs:177

Functiontest_matrix_tensor_len

src/snark/streams.rs:137

Functiontest_matrix_tensor_stream

src/snark/streams.rs:106

Functiontest_messages_consistency

src/subprotocols/sumcheck/tests.rs:42

Functiontest_messages_consistency

src/herring/tests.rs:41

Functiontest_messages_consistency_with_different_lengths

src/subprotocols/sumcheck/tests.rs:114

Functiontest_messages_consistency_with_different_lengths

src/herring/tests.rs:113

Functiontest_open_consistency

src/kzg/tests.rs:43

Functiontest_open_multi_points

src/kzg/space.rs:322

Functiontest_open_multipoints_correctness

src/kzg/tests.rs:62

Functiontest_plookup_relation

src/subprotocols/plookup/time_prover.rs:115

Functiontest_plookup_relation

src/subprotocols/plookup/streams/mod.rs:75

Functiontest_plookup_set_correct

src/subprotocols/plookup/time_prover.rs:37

Functiontest_product_stream

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

Functiontest_psnark_correctness

src/psnark/tests.rs:128

Functiontest_radix

src/kzg/msm/variable_base.rs:64

Functiontest_read_stream

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

Functiontest_repeated_r1cs

src/circuit.rs:305

Functiontest_rounds

src/subprotocols/sumcheck/time_prover.rs:141

Functiontest_rounds

src/subprotocols/sumcheck/tests.rs:25

Functiontest_rounds

src/herring/tests.rs:24

Functiontest_rrot

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

Functiontest_snark_consistency

src/snark/tests.rs:14

Functiontest_snark_correctness

src/snark/tests.rs:60

Functiontest_sorted_iterator

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

Functiontest_srs

src/kzg/time.rs:163

Functiontest_srs

src/kzg/tests.rs:32

Functiontest_subset_stream

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

Functiontest_sumcheck_correctness

src/subprotocols/sumcheck/tests.rs:203

Functiontest_sumcheck_correctness

src/herring/tests.rs:202

Functiontest_sumcheck_inputs_consistency

src/subprotocols/entryproduct/tests.rs:56

Functiontest_tensor

src/psnark/streams/tensor_stream.rs:193

Functiontest_tensor_check

src/subprotocols/tensorcheck/tests.rs:16

Functiontest_tensoriter

src/psnark/streams/tensor_stream.rs:79

Functiontest_trivial_commitment

src/kzg/time.rs:175

Functiontest_trivial_prover

src/subprotocols/sumcheck/time_prover.rs:162

Functiontest_vanishing_polynomial

src/kzg/mod.rs:271

Functiontest_var_base_msm

src/kzg/msm/variable_base.rs:180

Functiontest_var_base_msm

src/kzg/msm/stream_pippenger.rs:366

Functiontest_var_base_msm_bls12

src/kzg/msm/stream_pippenger.rs:421

Functionunformat_public_input

Takes in a previously formatted public input and removes the formatting imposed by the constraint system.

src/psnark/constraint_system.rs:309

Verification function for Preprocsessing SNARK proof. The input contains the R1CS instance and the verification key of polynomial commitment.

src/psnark/verifier.rs:88

Verification function for SNARK proof. The input contains the R1CS instance and the verification key of polynomial commitment.

src/snark/verifier.rs:19

The function for verifying tensor check proof. It takes as input the randomness generator `transcript`, the verifying key `vk`, the asserted result `

src/subprotocols/tensorcheck/mod.rs:286

Methodwith_size

Initialize a chunked Pippenger instance with the given buffer size.

src/kzg/msm/stream_pippenger.rs:230

← previous301–388 of 388, ranked by callers