Load
ELF / raw sBPF
Auto-detect ELF or accept raw bytecode with an explicit sBPF version.
Local interpreter · v0.0.2
Execute sBPF bytecode. Inspect every instruction.
Load a Solana ELF or raw bytecode, verify it, run it locally, and receive deterministic PC, instruction, register, memory, and execution-budget evidence—without an RPC or validator.
cargo install --git https://github.com/smallyunet/echosvm --tag v0.0.2
return-42.sbpf
SUCCEEDED
01
PC 0 · RAW SBPF V3
mov64 r0, 42
r0 0→42
02
PC 1 · HALT
exit
✓
Program returned 42 after two interpreted instructions.
bytecode
16 bytes
executed
→ 0x2a
Verified bytecode · local interpreted execution
2program input formats
5sBPF versions selectable
7CLI commands
0RPC calls required
INTERACTIVE EXECUTION
One program. Every important state transition.
Follow the same two-instruction program from loading through its return value. Each view comes from the interpreter, not a guessed explanation.
EXECUTION RESULT
Status
SUCCEEDED
Return
42 · 0x2a
EchoSVM auto-detected raw sBPF, verified both instructions, and executed them locally in interpreted mode.
Engine
solana-sbpf/0.22.0Schema
echosvm.execution.v1REGISTER DELTAS
PC 0
mov64 r0, 42
r0=0→r0=42
PC 1
exit
r0=42→return 42
The trace records all eleven general registers before and after each instruction.
MAPPED VM MEMORY
-
RO
Program + read-only data
Loaded from ELF or raw bytecode
-
RW
Stack · heap · input
Bounds checked by the VM memory mapper
INSTRUCTION BUDGET
2of 200,000 instructions
Executed 2
Remaining 199,998
LOCAL EXECUTION PIPELINE
From bytecode to bounded evidence.
Verify + execute
interpreted VM
Map memory, enforce bounds and budget, then execute each instruction.
Trace
echosvm.execution.v1
Return status, registers, input changes, instructions, and deterministic errors.
HONEST v0.0.2 BOUNDARY
A real bytecode interpreter, not yet a full validator runtime.
v0.0.2 loads, verifies, and executes standalone sBPF locally. Solana syscalls, serialized accounts, CPI, PDA signing, transaction rollback, and chain state are still outside this release, so it does not claim validator-level equivalence.