Module septic_digest 

Elliptic Curve digests with a starting point to avoid weierstrass addition exceptions.

Structs

SepticDigest

A global cumulative sum digest, a point on the elliptic curve that SepticCurve<F> represents. As these digests start with the CURVE_CUMULATIVE_SUM_START point, they require special summing logic.

Constants

CURVE_CUMULATIVE_SUM_START_X

The x-coordinate for a curve point used as a starting cumulative sum for global permutation trace generation, derived from sqrt(2).

CURVE_CUMULATIVE_SUM_START_Y

The y-coordinate for a curve point used as a starting cumulative sum for global permutation trace generation, derived from sqrt(2).

DIGEST_SUM_START_X

The x-coordinate for a curve point used as a starting random point for digest accumulation, derived from sqrt(3).

DIGEST_SUM_START_Y

The y-coordinate for a curve point used as a starting random point for digest accumulation, derived from sqrt(3).