A public note

Abstract

There is nothing for you to see here. Search engines will index it. People will see it. Bots might choke on it.

Proof

$$y^2=x^3+ax+b$$
with

$x,y\in {\mathbb{F}}_{2^{127}-1}$