PackedProtocol

Git Source

State Variables

POLYS_OPENED_AT_ZETA

uint256 internal constant POLYS_OPENED_AT_ZETA = 8;

Functions

restore_commitment_to_linearization_polynomial

Restore commitment to linearization polynomial.

function restore_commitment_to_linearization_polynomial(
    SuccinctAccountableRegisterEvaluations memory self,
    Bw6Fr memory phi,
    Bw6Fr memory zeta_minus_omega_inv,
    PartialSumsAndBitmaskCommitments memory commitments,
    BitmaskPackingCommitments memory extra_commitments
) internal view returns (Bw6G1 memory);

evaluate_constraint_polynomials

Evaluate constraint polynomials.

function evaluate_constraint_polynomials(
    SuccinctAccountableRegisterEvaluations memory self,
    Bls12G1 memory apk,
    LagrangeEvaluations memory evals_at_zeta,
    Bw6Fr memory r,
    Bitmask memory bitmask,
    uint64 domain_size
) internal view returns (Bw6Fr[] memory constraint_polynomial_evals);

evaluate_inner_product_constraint_linearized

Evaluate inner product constraint linearized.

function evaluate_inner_product_constraint_linearized(
    Bw6Fr memory bitmask_chunks_aggregated,
    LagrangeEvaluations memory evals_at_zeta,
    Bw6Fr memory b_zeta,
    Bw6Fr memory c_zeta,
    Bw6Fr memory acc_zeta
) internal view returns (Bw6Fr memory);

evaluate_multipacking_mask_constraint_linearized

Evaluate multipacking mask constraint linearized.

function evaluate_multipacking_mask_constraint_linearized(
    Bw6Fr memory a,
    Bw6Fr memory r_pow_m,
    LagrangeEvaluations memory evals_at_zeta,
    Bw6Fr memory c_zeta
) internal view returns (Bw6Fr memory);

serialize

Serialize PartialSumsAndBitmaskCommitments.

function serialize(PartialSumsAndBitmaskCommitments memory self) internal pure returns (bytes memory);

Parameters

Returns

serialize

Serialize BitmaskPackingCommitments.

function serialize(BitmaskPackingCommitments memory self) internal pure returns (bytes memory);

Parameters

Returns

serialize

Serialize SuccinctAccountableRegisterEvaluations.

function serialize(SuccinctAccountableRegisterEvaluations memory self) internal pure returns (bytes memory);

Parameters

Returns