|
| using | Transcript = Transcript_ |
| |
| using | CircuitBuilder = UltraCircuitBuilder |
| |
| using | Curve = curve::BN254 |
| |
| using | FF = Curve::ScalarField |
| |
| using | GroupElement = Curve::Element |
| |
| using | Commitment = Curve::AffineElement |
| |
| using | PCS = KZG< Curve > |
| |
| using | Polynomial = bb::Polynomial< FF > |
| |
| using | CommitmentKey = bb::CommitmentKey< Curve > |
| |
| using | VerifierCommitmentKey = bb::VerifierCommitmentKey< Curve > |
| |
| template<typename FF > |
| using | Relations_ = std::tuple< bb::UltraArithmeticRelation< FF >, bb::UltraPermutationRelation< FF >, bb::LogDerivLookupRelation< FF >, bb::DeltaRangeConstraintRelation< FF >, bb::EllipticRelation< FF >, bb::MemoryRelation< FF >, bb::NonNativeFieldRelation< FF >, bb::Poseidon2ExternalRelation< FF >, bb::Poseidon2InternalRelation< FF > > |
| |
| using | Relations = Relations_< FF > |
| |
| using | SubrelationSeparators = std::array< FF, NUM_SUBRELATIONS - 1 > |
| |
| template<size_t NUM_INSTANCES> |
| using | ProtogalaxyTupleOfTuplesOfUnivariatesNoOptimisticSkipping = decltype(create_protogalaxy_tuple_of_tuples_of_univariates< Relations, NUM_INSTANCES >()) |
| |
| template<size_t NUM_INSTANCES> |
| using | ProtogalaxyTupleOfTuplesOfUnivariates = decltype(create_protogalaxy_tuple_of_tuples_of_univariates< Relations, NUM_INSTANCES, true >()) |
| |
| using | PrecomputedData = PrecomputedData_< Polynomial, NUM_PRECOMPUTED_ENTITIES > |
| |
| using | Transcript = Transcript_< FrCodec, crypto::Poseidon2< crypto::Poseidon2Bn254ScalarFieldParams > > |
| |
| template<size_t LENGTH> |
| using | ProverUnivariates = AllEntities< bb::Univariate< FF, LENGTH > > |
| | A container for univariates used during Protogalaxy folding and sumcheck.
|
| |
| template<size_t LENGTH, size_t SKIP_COUNT> |
| using | ProverUnivariatesWithOptimisticSkipping = AllEntities< bb::Univariate< FF, LENGTH, 0, SKIP_COUNT > > |
| | A container for univariates used during Protogalaxy folding and sumcheck.
|
| |
| using | ExtendedEdges = ProverUnivariates< MAX_PARTIAL_RELATION_LENGTH > |
| | A container for univariates produced during the hot loop in sumcheck.
|
| |
| using | WitnessCommitments = WitnessEntities< Commitment > |
| | A container for the witness commitments.
|
| |
| using | VerifierCommitments = VerifierCommitments_< Commitment, VerificationKey > |
| |
Child class of UltraFlavor that runs with ZK Sumcheck.
Most of the properties of UltraFlavor are inherited without any changes. However, the BATCHED_RELATION_PARTIAL_LENGTH is incremented by 1, as we are using the sumcheck with disabled rows, where the main Honk relation is multiplied by a sum of multilinear Lagranges. Additionally, the transcript contains extra elements, such as commitments and evaluations of Libra polynomials used in Sumcheck to make it ZK, as well as a commitment and an evaluation of a hiding polynomials that turns the PCS stage ZK.
Definition at line 23 of file ultra_zk_flavor.hpp.
Static Public Member Functions inherited from bb::UltraFlavor