MCPcopy Create free account

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

Types & classes45 in github.com/arkworks-rs/ripp

⨍ Functions 109◇ Types & classes 45
↓ 7 callersClassIdentityOutput
dh_commitments/src/identity/mod.rs:33
ClassAFGHOCommitment
dh_commitments/src/afgho16/mod.rs:10
ClassAFGHOCommitmentG1
dh_commitments/src/afgho16/mod.rs:15
ClassAFGHOCommitmentG2
dh_commitments/src/afgho16/mod.rs:18
ClassAggregateBlake2SCircuitVerificationCircuit
benches/benches/groth16_aggregation/bench.rs:78
ClassAggregateBlake2SCircuitVerificationCircuitInput
benches/benches/groth16_aggregation/bench.rs:163
ClassAggregateProof
ip_proofs/src/applications/groth16_aggregation.rs:58
ClassBivariatePolynomial
ip_proofs/src/applications/poly_commit/mod.rs:120
ClassBivariatePolynomial
ip_proofs/src/applications/poly_commit/transparent.rs:58
ClassBivariatePolynomialCommitment
ip_proofs/src/applications/poly_commit/mod.rs:147
ClassBivariatePolynomialCommitment
ip_proofs/src/applications/poly_commit/transparent.rs:85
InterfaceDoublyHomomorphicCommitment
dh_commitments/src/lib.rs:20
ClassFiatShamirRng
A `SeedableRng` that refreshes its seed by hashing together the previous seed and the new seed material. TODO: later: re-evaluate decision about ChaCh
sipp/src/rng.rs:12
ClassGIPA
ip_proofs/src/gipa.rs:16
ClassGIPAAux
ip_proofs/src/gipa.rs:54
ClassGIPAProof
ip_proofs/src/gipa.rs:25
ClassGIPAWithSSM
ip_proofs/src/tipa/structured_scalar_message.rs:49
ClassHomomorphicPlaceholderValue
dh_commitments/src/identity/mod.rs:18
ClassIdentityCommitment
dh_commitments/src/identity/mod.rs:12
InterfaceInnerProduct
inner_products/src/lib.rs:40
EnumInnerProductArgumentError
ip_proofs/src/lib.rs:22
EnumInnerProductError
inner_products/src/lib.rs:19
ClassKZG
ip_proofs/src/applications/poly_commit/mod.rs:50
ClassManyBlake2SCircuit
benches/benches/groth16_aggregation/bench.rs:53
ClassMultiexponentiationInnerProduct
inner_products/src/lib.rs:119
ClassOpeningProof
ip_proofs/src/applications/poly_commit/mod.rs:141
ClassOpeningProof
ip_proofs/src/applications/poly_commit/transparent.rs:79
ClassPairingInnerProduct
inner_products/src/lib.rs:52
ClassPedersenCommitment
dh_commitments/src/pedersen/mod.rs:10
ClassProfileData
sipp/examples/scaling-ipp.rs:14
ClassProof
`Proof` contains the GT elements produced by the prover. TODO(psi): why not just make Proof an alias since there's only one field?
sipp/src/lib.rs:32
ClassSIPP
SIPP is a inner-pairing product proof that allows a verifier to check an inner-pairing product over `n` elements with only a single pairing.
sipp/src/lib.rs:25
ClassSRS
ip_proofs/src/tipa/mod.rs:97
ClassSSMPlaceholderCommitment
ip_proofs/src/tipa/structured_scalar_message.rs:29
ClassScalarInnerProduct
inner_products/src/lib.rs:145
ClassSingleBlake2SCircuit
benches/benches/groth16_aggregation/bench.rs:31
ClassTIPA
TODO: May need to add "reverse" MultiexponentiationInnerProduct to allow for MIP with G2 messages (because TIP hard-coded G1 left and G2 right)
ip_proofs/src/tipa/mod.rs:32
InterfaceTIPACompatibleSetup
TODO: Could generalize: Don't need TIPA over G1 and G2, would work with G1 and G1 or over different pairing engines
ip_proofs/src/tipa/mod.rs:25
ClassTIPAProof
ip_proofs/src/tipa/mod.rs:42
ClassTIPAWithSSM
ip_proofs/src/tipa/structured_scalar_message.rs:130
ClassTIPAWithSSMProof
ip_proofs/src/tipa/structured_scalar_message.rs:139
ClassTestCircuit
benches/examples/groth16_aggregation.rs:18
ClassUnivariatePolynomialCommitment
ip_proofs/src/applications/poly_commit/mod.rs:286
ClassUnivariatePolynomialCommitment
ip_proofs/src/applications/poly_commit/transparent.rs:215
ClassVerifierSRS
ip_proofs/src/tipa/mod.rs:105