A survey of elliptic curves for proof systems