BasicProtocol

Git Source

State Variables

POLYS_OPENED_AT_ZETA

uint256 internal constant POLYS_OPENED_AT_ZETA = 5;

Functions

restore_commitment_to_linearization_polynomial

Restore commitment to linearization polynomial.

function restore_commitment_to_linearization_polynomial(
    AffineAdditionEvaluations memory self,
    Bw6Fr memory phi,
    Bw6Fr memory zeta_minus_omega_inv,
    Bw6G1[2] memory commitments
) internal view returns (Bw6G1 memory);

evaluate_constraint_polynomials

Evaluate constraint polynomials.

function evaluate_constraint_polynomials(
    AffineAdditionEvaluations memory self,
    Bls12G1 memory apk,
    LagrangeEvaluations memory evals_at_zeta
) internal view returns (Bw6Fr[] memory);

evaluate_conditional_affine_addition_constraints_linearized

Evaluate conditional affine addition constraints linearized.

function evaluate_conditional_affine_addition_constraints_linearized(
    Bw6Fr memory zeta_minus_omega_inv,
    Bw6Fr memory b,
    Bw6Fr memory x1,
    Bw6Fr memory y1,
    Bw6Fr memory x2,
    Bw6Fr memory y2
) internal view returns (Bw6Fr memory, Bw6Fr memory);

evaluate_bitmask_booleanity_constraint

Evaluate bitmask booleanity constraint.

function evaluate_bitmask_booleanity_constraint(Bw6Fr memory bitmask_at_zeta) internal view returns (Bw6Fr memory);

evaluate_public_inputs_constraints

Evaluate public inputs constraints.

function evaluate_public_inputs_constraints(
    Bls12G1 memory apk,
    LagrangeEvaluations memory evals_at_zeta,
    Bw6Fr memory x1,
    Bw6Fr memory y1
) internal view returns (Bw6Fr memory, Bw6Fr memory);

serialize

Serialize AffineAdditionEvaluations.

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

Parameters

Returns