Type Definition solana_rbpf::Verifier

source · 
pub type Verifier = fn(prog: &[u8]) -> Result<(), Error>;
Expand description

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.