List of all items[−]
Structs
- ahp::ahp::AHPForR1CS
- constraints::ahp::AHPForR1CS
- constraints::ahp::VerifierFirstMsgVar
- constraints::ahp::VerifierSecondMsgVar
- constraints::ahp::VerifierStateVar
- constraints::ahp::VerifierThirdMsgVar
- constraints::error::MarlinConstraintsError
- constraints::lagrange_interpolation::LagrangeInterpolationVar
- constraints::lagrange_interpolation::LagrangeInterpolator
- constraints::lagrange_interpolation::VanishingPolynomial
- constraints::polynomial::AlgebraForAHP
- constraints::proof::ProofVar
- constraints::proof::ProverMessageVar
- constraints::snark::MarlinBound
- constraints::snark::MarlinBoundCircuit
- constraints::snark::MarlinSNARK
- constraints::snark::MarlinSNARKGadget
- constraints::verifier::MarlinVerificationGadget
- constraints::verifier_key::circuit_verifier_key::CircuitVerifyingKeyVar
- constraints::verifier_key::prepared_circuit_verifier_key::PreparedCircuitVerifyingKeyVar
- fiat_shamir::FiatShamirAlgebraicSpongeRng
- fiat_shamir::FiatShamirAlgebraicSpongeRngVar
- fiat_shamir::FiatShamirChaChaRng
- fiat_shamir::PoseidonSponge
- fiat_shamir::PoseidonSpongeVar
- marlin::CircuitProvingKey
- marlin::CircuitVerifyingKey
- marlin::MarlinRecursiveMode
- marlin::MarlinSNARK
- marlin::MarlinTestnet1Mode
- marlin::PreparedCircuitVerifyingKey
- marlin::Proof
- parameters::MultiPC
- parameters::Parameters
- snark::MarlinSystem
- snark::MultiPC
Enums
Traits
- ahp::ahp::EvaluationsProvider
- ahp::ahp::UnnormalizedBivariateLagrangePoly
- fiat_shamir::traits::AlgebraicSponge
- fiat_shamir::traits::AlgebraicSpongeVar
- fiat_shamir::traits::FiatShamirRng
- fiat_shamir::traits::FiatShamirRngVar
- marlin::MarlinMode
- parameters::PCCommitment
- snark::PolynomialCommitment