EVM Protocol Adapter

Resource Machine Stuff
19

@vveiln explained to me in her office hour yesterday that delta proofs generation/verification requires some elliptic curve computations and pointed to her Sapling binding signature post.

Ethereum provides a number of pre-compiles related to elliptic curves

  • ecRecover: ECDSA public key recovery function
  • ecAdd: Point addition (ADD) on the elliptic curve alt_bn128
  • ecMul: Scalar multiplication (MUL) on the elliptic curve alt_bn128
  • ecPairing: Bilinear function on groups on the elliptic curve alt_bn128

Would this be sufficient/compatible @vveiln @xuyang?

If not, there are more expensive implementations, e.g., secp256r1 (a.k.a. P256) curve verification and recovery by OpenZeppelin.

1 Like