Files
darkfi/script/research/mpc/test_curve.sage

13 lines
234 B
Python

load('curve.sage')
import random
pt = CurvePoint.random()
rnd = random.randint(0, p)
s_ff = K(rnd)
s = int(s_ff)
assert s == rnd
s_inv_ff = 1/s_ff
s_inv = int(s_inv_ff)
assert K(s*s_inv) == K(1)
assert (pt * int(K(s * s_inv))) == pt