diff --git a/docs/differences.md b/docs/differences.md index 847d4e0..c9b137c 100644 --- a/docs/differences.md +++ b/docs/differences.md @@ -28,6 +28,8 @@ The below precompiles differ in behavior between Ethereum and Kakarot: | ecAdd | Point addition (ADD) on the elliptic curve `alt_bn128` | Not supported | | ecMul | Scalar multiplication (MUL) on the elliptic curve `alt_bn128` | Not supported | | ecPairing | Bilinear function on groups on the elliptic curve `alt_bn128` | Not supported | +| Modexp | +Arbitrary-precision exponentiation under modulo | Not supported | | Point evaluation | Verify p(z) = y given commitment that corresponds to the polynomial p(x) and a KZG proof. Also verify that the provided commitment matches the provided versioned_hash. | Not supported | | P256 Verification (secp256r1 - [RIP-7212](https://github.com/ethereum/RIPs/blob/master/RIPS/rip-7212.md)) | Not Supported | P256 is used in Appleā€™s Secure Enclave, Webauthn, Android Keychain. Enables many use cases such as cheap FaceID signature verification for smart wallets on Kakarot. |