IR Back-end x86 ARM BPF WASM LLVM Pass: rich APIs to analysis the LLVM IR Background Near Blockchains with smart contracts in Rust Rust Web Assembly Solana Rust BPF Though they are compiled