Function ed25519_card_kernel 

pub fn ed25519_card_kernel(
    _cr: ClockReset,
    i: CardIn,
    q: Ed25519CardQ,
) -> (CardOut, Ed25519CardD)

The kernel’s logic.