Searching protocol for "elliptic curves"
CTF cryptography techniques and references.
Foundations for secure crypto engineering.
BitVM2: SNARK verifier on Bitcoin.