evm-bend
Correctness-first EVM interpreter in Bend targeting Amsterdam. Working interpreter; full conformance and proofs in progress.
Details
- External ID
- 1375335918
- Source
- GITHUB
- Company
- —
- Product
- evm-bend
- Website domain
- github.com
- Launched
- Sept. 18, 2026
- Cohort
- —
- Upvotes
- 18
- Upvotes percentile
- 0.5655905713553676
- Tags
- —
- Fetched at
- Sept. 22, 2026, 5:02 p.m.
- Updated at
- Sept. 22, 2026, 5:02 p.m.
Enrichment
- Theme
- decision model runtimes and tools
- Vertical
- Horizontal
- Function
- Dev tools
- Audience
- Developer
- AI stance
- Not AI
- Project type
- Hobby / open-source project
- Normalized one-liner
- evm interpreter written in bend
- Manually corrected
- False
Could you build this?
No Implementing an EVM interpreter in Bend targeting the Ethereum Amsterdam hard fork with formal proofs and strict conformance requires elite expertise in compiler design, Bend/interaction nets, and EVM specifications.
What it would actually take: This project requires writing an execution engine for Ethereum Virtual Machine opcodes within Bend (a massively parallel language based on Interaction Combinators/HVM). It demands implementing 256-bit arithmetic, complete cryptographic precompiles (Keccak256, BLS, elliptic curves), and state transition rules, followed by verifying against the Ethereum Execution Tests suite. This demands deep specialized expertise in formal verification, functional programming with interaction nets, and low-level blockchain VM architecture.
Competitors
Other products that read as similar to this one — 334 launches clear the similarity bar, closest 8 shown.
Attention rank: #144 of 335 (itself plus its competitors, highest first — normalized so YC and Product Hunt are compared fairly).
Launched 319 days after the earliest competitor.
- bend-sha256 · github · 2026-09-18 · 20 upvotes · similarity 0.46
- VLCoT · github · 2026-09-28 · 37 upvotes · similarity 0.46
- Logan Basic v2.1 · hn · 2026-07-30 · 24 upvotes · similarity 0.44
- A 150M model that extracts verbatim evidence spans for RAG, no LLM call · hn · 2026-06-10 · 6 upvotes · similarity 0.43
- rizzo-flow · github · 2026-09-21 · 455 upvotes · similarity 0.43
- genpark-first-order-logic-resolution-refutation-skill · github · 2026-09-28 · 7 upvotes · similarity 0.42
- Steerling-8B, a language model that can explain any token it generates · hn · 2026-02-24 · 328 upvotes · similarity 0.42
- Structural Verification for LLMs: Why Best-of-N Isn't Enough · hn · 2025-12-15 · 5 upvotes · similarity 0.42
Other launches for this product
- No other launches for this product.
Same idea, different domain
Nobody's really built a dev tools tool for Sales yet.