Type Definition solana_rbpf::Verifier

type Verifier<E> = fn(prog: &[u8]) -> Result<(), E>;

eBPF verification function that returns an error if the program does not meet its requirements.

Some examples of things the verifier may reject the program for:

• Program does not terminate.
• Unknown instructions.
• Bad formed instruction.
• Unknown eBPF helper index.