Hi, the ed25519 contract uses the name EIP/RIP6565 but I can't find that EIP/RIP anywhere. Is it [EIP665](https://github.com/ethereum/EIPs/blob/master/EIPS/eip-665.md)?