EIP-197

Precompiled contracts for optimal ate pairing check on the elliptic curve alt_bn128

ethereum L1 primitive final BN254

Native status: Final
Enables: Groth16 full verification
Specification: https://eips.ethereum.org/EIPS/eip-197

Precompiled contract for the optimal ate pairing check on alt_bn128 (BN254); combined with EIP-196 it makes Groth16 verification on Ethereum possible.

Implementations

No audited implementation is catalogued for this entry yet.

Relationships

Equivalent to: SIMD-0129, aztec-honk, zksync-boojum, scroll-halo2, polygon-zkevm, linea-plonk, taiko-zkvm
Depends on: EIP-196