zkevm-specs icon indicating copy to clipboard operation
zkevm-specs copied to clipboard

Published 20 hours ago • verified publisher icon privacy-scaling-explorations

Precompile: 0x01 ecRecover

Open ChihChengLiang opened this issue 2 years ago • 1 comments

ChihChengLiang avatar Nov 23 '22 13:11 ChihChengLiang

For this precompile we should leverage on the work done in halo2wrong: the ECDSA verification: https://github.com/privacy-scaling-explorations/halo2wrong/blob/63bde545d934e69c806ef9bc8b18f03f6ec0fe8e/ecdsa/src/ecdsa.rs#L91

The linked ECDSA verification circuit only passes the constraints when the verification succeeds. In ecRecover an invalid signature can be used, so the verification circuit will need to be modified to support invalid signatures as well.

ed255 avatar Nov 23 '22 14:11 ed255

Scroll has some progress on ecRecover

  • https://github.com/scroll-tech/zkevm-circuits/pull/527
  • https://github.com/scroll-tech/zkevm-circuits/pull/529

ChihChengLiang avatar Jul 05 '23 08:07 ChihChengLiang

Two related PRs

  • https://github.com/scroll-tech/zkevm-circuits/pull/529
  • https://github.com/scroll-tech/zkevm-circuits/pull/930

KimiWu123 avatar Oct 16 '23 03:10 KimiWu123