Types & classes — github.com/arkworks-rs/gemini

CodeHub MCPcopy Create free account

hub / github.com/arkworks-rs/gemini / types & classes

Types & classes125 in github.com/arkworks-rs/gemini

⨍ Functions 388◇ Types & classes 125

↓ 19 callersClassReverse

src/iterable/slice.rs:7

↓ 15 callersClassMat

src/iterable/dummy.rs:267

↓ 11 callersClassSumcheckMsg

src/herring/prover.rs:12

↓ 8 callersClassEvaluationProof

src/kzg/mod.rs:112

↓ 6 callersClassRoundMsg

src/subprotocols/sumcheck/prover.rs:10

↓ 4 callersClassTensor

src/psnark/streams/tensor_stream.rs:93

↓ 3 callersClassCommitment

src/kzg/mod.rs:108

↓ 3 callersClassIterableRange

src/iterable/slice.rs:32

↓ 2 callersClassFoldedPolynomialStream

src/subprotocols/sumcheck/streams.rs:143

↓ 1 callersClassHadamardIter

src/psnark/streams/hadamard_stream.rs:26

↓ 1 callersClassProverMsgs

src/subprotocols/sumcheck/prover.rs:14

↓ 1 callersClassRightRotationStreamer

Given a stream for F(X), produce a stream for XF(X) + 1

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

↓ 1 callersClassSumcheckMsgs

src/herring/subclaim.rs:16

↓ 1 callersClassTrimColIter

src/psnark/streams/val_stream.rs:285

↓ 1 callersClassTrimRowIter

src/psnark/streams/val_stream.rs:266

↓ 1 callersClassTrimValIter

src/psnark/streams/val_stream.rs:248

ClassAlgebraicHash

src/psnark/streams/algebraic_hash.rs:6

ClassAlgebraicHashIterator

src/psnark/streams/algebraic_hash.rs:12

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

ClassAuditStream

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

InterfaceBilinearModule

src/herring/module.rs:11

ClassChunkedPippenger

Struct for the chunked Pippenger algorithm.

src/kzg/msm/stream_pippenger.rs:209

src/circuit.rs:19

ClassCommitterKey

The SRS for the polynomial commitment scheme for a max The SRS consists of the `max_degree` powers of \\(\tau\\) in \\(\GG_1\\) plus the `max_eval_de

src/kzg/time.rs:24

ClassCommitterKeyStream

src/kzg/space.rs:59

src/herring/ipa.rs:63

src/herring/ipa.rs:73

ClassDiagonalMatrixIter

Iterator for the diagonal matrix.

src/iterable/dummy.rs:131

ClassDiagonalMatrixStreamer

src/iterable/dummy.rs:24

ClassDummyStreamer

src/iterable/dummy.rs:10

EnumElasticProver

Specifier of the prover type (time-efficient or space-efficient).

src/subprotocols/sumcheck/elastic_prover.rs:10

ClassEntryProduct

The entryproduct transcript and subclaims.

src/subprotocols/entryproduct/mod.rs:55

src/herring/module.rs:41

src/iterable/mmap.rs:8

ClassFoldedPolynomialStream

src/herring/streams.rs:153

ClassFoldedPolynomialStreamIter

Iterator implementation of foleded polynomial.

src/subprotocols/sumcheck/streams.rs:145

ClassFoldedPolynomialStreamIter

Iterator implementation of foleded polynomial.

src/herring/streams.rs:159

ClassFoldedPolynomialTree

src/subprotocols/sumcheck/streams.rs:13

ClassFoldedPolynomialTree

src/herring/streams.rs:13

ClassFoldedPolynomialTreeIter

Iterator of the polynomial tree.

src/subprotocols/sumcheck/streams.rs:63

ClassFoldedPolynomialTreeIter

Iterator of the polynomial tree.

src/herring/streams.rs:68

ClassG1Commitment

src/herring/snark.rs:14

src/herring/module.rs:33

src/herring/module.rs:37

InterfaceGeminiTranscript

A Transcript with some shorthands for feeding scalars, group elements, and obtaining challenges as field elements.

src/transcript.rs:8

ClassGtCommitment

src/herring/snark.rs:13

src/herring/module.rs:30

ClassHadamardStreamer

src/psnark/streams/hadamard_stream.rs:12

ClassHashMapPippenger

Hash map struct for Pippenger algorithm.

src/kzg/msm/stream_pippenger.rs:143

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

ClassInitStream

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

ClassInnerProductProof

src/herring/ipa.rs:54

src/psnark/streams/intofield_stream.rs:9

ClassIntoFieldIter

src/psnark/streams/intofield_stream.rs:14

ClassJointColStream

src/psnark/streams/val_stream.rs:383

src/psnark/streams/val_stream.rs:88

ClassJointRowStream

src/psnark/streams/val_stream.rs:303

ClassJointValStream

src/psnark/streams/val_stream.rs:151

ClassLinCombIter

The iterator struct for linear combination of streams.

src/subprotocols/tensorcheck/streams.rs:7

ClassLinCombStream

src/subprotocols/tensorcheck/streams.rs:15

ClassLookupIter

src/psnark/streams/lookup_stream.rs:17

ClassLookupSetStreamer

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

ClassLookupSortedStreamer

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

ClassLookupStreamer

src/psnark/streams/lookup_stream.rs:8

ClassLookupSubsetIterator

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

ClassLookupSubsetStreamer

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

ClassLookupTensorStreamer

src/psnark/streams/tensor_stream.rs:114

ClassMatrixArithmetization

src/psnark/constraint_system.rs:129

EnumMatrixElement

ClassMatrixTensor

src/snark/streams.rs:11

ClassMatrixTensorIter

src/snark/streams.rs:62

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

ClassOutlineTestCircuit

Define a constraint system that would trigger outlining.

src/circuit.rs:92

src/herring/module.rs:45

ClassPlookupSetIterator

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

ClassProductIter

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

ClassProductStream

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

src/psnark/mod.rs:29

src/snark/mod.rs:76

src/herring/snark.rs:8

InterfaceProver

Prover trait interface for both time-efficient and space-efficient prover.

src/subprotocols/sumcheck/prover.rs:30

InterfaceProver

Prover trait interface for both time-efficient and space-efficient prover.

src/herring/prover.rs:55

ClassProverMsgs

src/subprotocols/entryproduct/mod.rs:49

ClassProverMsgs

src/herring/prover.rs:16

ClassProvingKey

src/herring/snark.rs:24

src/circuit.rs:45

ClassR1csStream

src/circuit.rs:26

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

ClassReadStream

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

ClassRepeatMatrixIterator

src/iterable/dummy.rs:100

ClassRepeatMatrixStreamer

src/iterable/dummy.rs:63

ClassRepeatStreamer

src/iterable/dummy.rs:29

ClassRightRotationIter

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

ClassSingleEntryStream

src/iterable/dummy.rs:138

ClassSnarkConfig

examples/psnark.rs:45

ClassSnarkConfig

examples/snark.rs:46

ClassSortedIterator

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

ClassSortedStreamer

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

ClassSpaceProver

The space-efficient prover.

src/subprotocols/sumcheck/space_prover.rs:38

ClassSpaceProver

The space-efficient prover.

src/herring/space_prover.rs:39

next →1–100 of 125, ranked by callers