Meta: Precompiles

[ChihChengLiang]

• 0x01 ecRecover
  • spec Precompile: 0x01 ecRecover zkevm-specs#318
  • circuit Precompile: 0x01 ecRecover #1665
• 0x04 identity
  • spec Precompile: 0x04 identity zkevm-specs#321
  • circuit Identity (dataCopy) precompile #1396
• 0x05 modexp
  • spec Precompile: 0x05 modexp zkevm-specs#322
  • circuit Precompile: 0x05 modexp #1711
  • [feat] Precompile MODEXP scroll-tech/zkevm-circuits#520

BN Curves

• Tracking Issue for bn256 related precompiled contracts scroll-tech/zkevm-circuits#563
• Concerns BN254 precompiles design zkevm-specs#386
• 0x06 ecAdd
  • spec Precompile: 0x06 ecAdd zkevm-specs#323
  • circuit Precompile: 0x06 ecAdd #1712
  • [WIP] bn254Add precompile zkevm-specs#375
  • EcAdd Execution State Validation scroll-tech/zkevm-circuits#594
• 0x07 ecMul
  • spec Precompile: 0x07 ecMul zkevm-specs#324
  • circuit Precompile: 0x07 ecMul #1713
  • EcMul Execution State Validation scroll-tech/zkevm-circuits#595
• 0x08 ecPairing
  • spec Precompile: 0x08 ecPairing zkevm-specs#325
  • circuit Precompile: 0x08 ecPairing #1714
  • EcPairing Execution State Validation scroll-tech/zkevm-circuits#596

Hashes

• 0x02 SHA2-256
  • spec Precompile: 0x02 SHA2-256 zkevm-specs#319
  • circuit Precompile: 0x02 SHA256 #1715 (WIP PR by Brechtpd sha256 circuit #756)
  • [FEAT] precompile-sha256 scroll-tech/zkevm-circuits#1032
• 0x03 RIPEMD-160
  • spec Precompile: 0x03 RIPEMD-160 zkevm-specs#320
  • circuit: Precompile: 0x03 RIPEMD-160 #1716
• 0x09 blake2f
  • spec Precompile: 0x09 blake2f zkevm-specs#326
  • circuit Precompile: 0x09 blake2f #1717
  • blake2f precompile taikoxyz/zkevm-circuits#51

Integration

• Integrate precompiles into callop zkevm-specs#498

---

Playground https://www.evm.codes/precompiled