v0.1.0
EchoSVM v0.1.0
EchoSVM v0.1.0 turns bytecode compatibility into an executable, versioned
contract and adds a deliberately bounded Solana syscall surface for standalone
program inspection.
Included
echosvm conformanceruns 106 deterministic vectors across ALU32/64,
JMP32/64, memory operations, verifier rejection, runtime faults, and sBPF
version gates. JSON output followsechosvm.conformance.v1.echosvm compare <reference> <candidate>checks semantic execution fields
and classifies results asmatch,known-difference, orregressionusing
echosvm.compat.v1.--runtime solana-minimalexposes five explicit syscall families:
sol_log_64_, memcpy, memmove, memcmp, and memset.- Standalone results record their runtime profile, syscall arguments/results,
and emitted logs. - Transaction fixtures accept either one
instructionor a non-empty
instructionsarray for multi-instruction failures. - Transaction bytecode traces carry invocation ordinals, improving evidence
mapping when the same program executes more than once.
Honest boundary
solana-minimal is not the Agave runtime and does not provide CPI, PDA,
cryptographic, sysvar, allocator, or account-serialization syscalls. Programs
requiring full transaction semantics should use explain-run, which remains
LiteSVM/Agave-backed. The 106-vector report proves only its named instruction
families and version gates. V4 remains experimental; validator equivalence and
historical Mainnet replay are not claimed.