|
| using | Transcript = NativeTranscript |
| |
| using | VKAndHash = MegaFlavor::VKAndHash |
| |
| using | CircuitBuilder = MegaCircuitBuilder |
| |
| 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 | Codec = FrCodec |
| |
| using | HashFunction = crypto::Poseidon2< crypto::Poseidon2Bn254ScalarFieldParams > |
| |
| using | Transcript = BaseTranscript< Codec, HashFunction > |
| |
| template<typename FF > |
| using | Relations_ = std::tuple< bb::ArithmeticRelation< FF >, bb::UltraPermutationRelation< FF >, bb::LogDerivLookupRelation< FF >, bb::DeltaRangeConstraintRelation< FF >, bb::EllipticRelation< FF >, bb::MemoryRelation< FF >, bb::NonNativeFieldRelation< FF >, bb::EccOpQueueRelation< FF >, bb::DatabusLookupRelation< FF >, bb::Poseidon2ExternalRelation< FF >, bb::Poseidon2InitialExternalRelation< FF >, bb::Poseidon2QuadInternalRelation< FF >, bb::Poseidon2QuadInternalTerminalRelation< FF >, bb::Poseidon2TransitionEntryRelation< FF > > |
| |
| using | Relations = Relations_< FF > |
| |
| using | SubrelationSeparator = FF |
| |
| template<typename DataType > |
| using | WitnessEntities = WitnessEntities_< DataType > |
| |
| template<typename DataType > |
| using | AllEntities = AllEntities_< DataType > |
| |
| using | AllValues = AllEntities_< FF > |
| | A field element for each entity of the flavor. These entities represent the prover polynomials evaluated at one point.
|
| |
| using | ProverPolynomials = ProverPolynomialsBase< AllEntities_< Polynomial >, AllValues, Polynomial > |
| | A container for the prover polynomials handles.
|
| |
| using | PrecomputedData = PrecomputedData_< Polynomial, NUM_PRECOMPUTED_ENTITIES > |
| |
| using | VerificationKey = NativeVerificationKey_< PrecomputedEntities< Commitment >, Codec, HashFunction, CommitmentKey > |
| | The verification key stores commitments to the precomputed (non-witness) polynomials used by the verifier.
|
| |
| using | VKAndHash = VKAndHash_< FF, VerificationKey > |
| |
| using | PartiallyEvaluatedMultivariates = PartiallyEvaluatedMultivariatesBase< AllEntities_< Polynomial >, ProverPolynomials, Polynomial > |
| | A container for storing the partially evaluated multivariates produced by sumcheck.
|
| |
| template<size_t LENGTH> |
| using | ProverUnivariates = AllEntities< bb::Univariate< FF, LENGTH > > |
| | A container for univariates used in 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 MegaFlavor that runs with ZK Sumcheck.
MegaZKFlavor enables ZK sumcheck (Libra masking, row-disabling, extended relation degree) but does NOT include a Gemini masking polynomial in its entities. In the batched Chonk context, the translator's masking polynomial (sized at 2^17 = joint circuit size) serves as the single Gemini masking polynomial for the joint PCS.
Definition at line 22 of file mega_zk_flavor.hpp.
Static Public Member Functions inherited from bb::MegaFlavor