eBPF instruction set architecture
https://github.com/iovisor/bpf-docs/blob/master/eBPF.md rust BPF (user space, usually kernel) VM
https://github.com/solana-labs/rbpf interpreter, an x86_64 JIT-compiler for eBPF programs, assembler, disassembler* verifier. problems: https://github.com/solana-labs/rbpf/pull/212 JVM verifier: https://docs.