CheckSigFromStack takes three parameters from the stack. Pubkey, message, signature. Evaluates to true if the sig is valid over the message for the pubkey.

A simple primitive that is foundational in most cryptography, iiuc.