Jeremy Avigad: Verifying elliptic curve computations on blockchain External Video-URL https://www.youtube.com/watch?v=UbmvO39zWUk Preview-Image Search Engine Exclude no
