# 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}$