def test_mult_recursive_jac() -> None:
for ec in all_curves.values():
assert ec.jac_equality(mult_recursive_jac(0, ec.GJ, ec), INFJ)
assert ec.jac_equality(mult_recursive_jac(0, INFJ, ec), INFJ)
assert ec.jac_equality(mult_recursive_jac(1, INFJ, ec), INFJ)
assert ec.jac_equality(mult_recursive_jac(1, ec.GJ, ec), ec.GJ)
PJ = ec.add_jac(ec.GJ, ec.GJ)
assert ec.jac_equality(PJ, mult_recursive_jac(2, ec.GJ, ec))
PJ = mult_recursive_jac(ec.n - 1, ec.GJ, ec)
assert ec.jac_equality(ec.negate_jac(ec.GJ), PJ)
assert ec.jac_equality(mult_recursive_jac(ec.n - 1, INFJ, ec), INFJ)
assert ec.jac_equality(ec.add_jac(PJ, ec.GJ), INFJ)
assert ec.jac_equality(mult_recursive_jac(ec.n, ec.GJ, ec), INFJ)
assert ec.jac_equality(mult_recursive_jac(ec.n, INFJ, ec), INFJ)
with pytest.raises(BTClibValueError, match="negative m: "):
mult_recursive_jac(-1, ec.GJ, ec)
ec = ec23_31
for k1 in range(ec.n):
K1 = mult_recursive_jac(k1, ec.GJ, ec)
assert ec.jac_equality(K1, _mult(k1, ec.GJ, ec))
def test_mult_recursive_aff() -> None:
for ec in all_curves.values():
assert mult_recursive_aff(0, ec.G, ec) == INF
assert mult_recursive_aff(0, INF, ec) == INF
assert mult_recursive_aff(1, INF, ec) == INF
assert mult_aff(1, ec.G, ec) == ec.G
Q = ec.add_aff(ec.G, ec.G)
assert Q == mult_recursive_aff(2, ec.G, ec)
Q = mult_recursive_aff(ec.n - 1, ec.G, ec)
assert ec.negate(ec.G) == Q
assert mult_recursive_aff(ec.n - 1, INF, ec) == INF
assert ec.add_aff(Q, ec.G) == INF
assert mult_recursive_aff(ec.n, ec.G, ec) == INF
assert mult_recursive_aff(ec.n, INF, ec) == INF
with pytest.raises(BTClibValueError, match="negative m: "):
mult_recursive_aff(-1, ec.G, ec)
for ec in low_card_curves.values():
for q in range(ec.n):
Q = mult_recursive_aff(q, ec.G, ec)
assert ec.is_on_curve(Q), f"{q}, {ec}"
QJ = _mult(q, ec.GJ, ec)
assert ec.is_on_curve(ec.aff_from_jac(QJ)), f"{q}, {ec}"
assert Q == ec.aff_from_jac(QJ), f"{q}, {ec}"
assert INF == mult_recursive_aff(q, INF, ec), f"{q}, {ec}"
assert ec.jac_equality(INFJ, _mult(q, INFJ, ec)), f"{q}, {ec}"