Skip to content

EVMX Proof Engine v0.1.0

Latest
Latest

Choose a tag to compare

View all tags
@EslaM-X EslaM-X released this 29 Aug 16:47
· 2 commits to main since this release
v0.1.0
f76a233

EVMX Proof Engine — v0.1.0

The first open-source release of EVMX, an evidence-backed EVM transaction
forensics engine. Verdicts you can check — not scores, not confidence
percentages: named patterns, the five pieces of trace evidence that establish
them, and an explicit INCONCLUSIVE instead of a false certainty.

Highlights

  • Two trace-structure detectors — reentrancy.classic and
    reentrancy.cross_function — defined by evidence, not heuristics.
  • Three outcomes, never two — PATTERN_CANDIDATE, NO_FINDING (on named
    grounds), and INCONCLUSIVE (with the named cause and what would lift it).
  • Provenance-by-construction — every report states the chain, the endpoint
    host (never a key), and live-vs-recorded origin.
  • Reproducible offline corpus — 19 frozen, hash-verified mainnet fixtures;
    351 tests that run with no network; guards proven by mutation.
  • Provider capability model — live tracing capability is measured and
    refused-vs-unsupported is distinguished, never assumed.

Networks

  • Ethereum (supported)
  • Arbitrum One (supported, after a documented compatibility measurement)

Workspace

Eight crates: evmx-core, evmx-trace, evmx-state, evmx-detectors,
evmx-analysis, evmx-report, evmx-rpc, evmx-api (ships the evmx-demo
HTTP server).

Try it

cargo run -p evmx-api --features demo --bin evmx-demo
# then open http://127.0.0.1:8080

Status

Core closed and tagged. The detector_known_positive gate stands at 2 of 3 —
published honestly rather than papered over. See docs/23-ff-gate-closure.md.

License

Dual-licensed Apache-2.0 OR MIT.

Author & maintainer: EslaM-X

Assets 2
Loading