Relating elliptic curve point-counting and solutions of quadratic forms with congruence conditions | Synapse