from typing import * # extmod/modtrezorcrypto/modtrezorcrypto-elligator2.h def map_to_curve25519(input: bytes) -> bytes: """ Maps a 32-byte input to a curve25519 point. """