To introduce the way to efficiently verify EdDSA over Ed25519 signatures with `VERGRTH16` instruction to verify outside protocols zk-rollups inside the TVM