sequence of (sign:bool, g1:G1), where
G1 is point (x:Fq, y:Fq) on alt_bn128,
alt_bn128 is Y^2 = X^3 + 3 curve over Fq.
valueis encoded a as packed, little-endian[((u256, u256), ((u256, u256), (u256, u256)))]` slice.
sum over Fq.
Generated using TypeDoc
Computes sum for signed g1 group elements on alt_bn128 curve \sum_i (-1)^{sign_i} g_{1 i} should be equal result.