evm-bend
Correctness-first EVM interpreter in Bend targeting Amsterdam. Working interpreter; full conformance and proofs in progress.
Get picks like this daily. Today's launch numbers, the top launches, AI and tech news, and a daily opportunity pick, straight to your inbox.
Want to reach these readers? Sponsor an issue.
GITHUB · launched Sep 18, 2026 · 18 upvotes (top 43%) · 0 views
Niche: programming languages and interpreters · 161 launches, 2 in the last 7 days ▼ -75% · Explore this niche →
Category and tags
- Horizontal
- Dev tools
- Developer
- Not AI
- Hobby / open-source project
Visit website ↗ Source listing ↗
More like this: all 161 launches in programming languages and interpreters →
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 : 995 launches clear the similarity bar, closest 8 shown.
Attention rank: #420 of 996 (itself plus its competitors, highest first, normalized so YC and Product Hunt are compared fairly).
Launched 320 days after the earliest competitor.
- VLCoT · github · 2026-09-28 · 79 upvotes · similarity 0.49
- bend-sha256 · github · 2026-09-18 · 20 upvotes · similarity 0.48
- Logan Basic v2.1 · hn · 2026-07-30 · 24 upvotes · similarity 0.46
- rizzo-flow · github · 2026-09-21 · 455 upvotes · similarity 0.46
- A 150M model that extracts verbatim evidence spans for RAG, no LLM call · hn · 2026-06-10 · 6 upvotes · similarity 0.45
- english-spanish-interpreter · github · 2026-11-10 · 102 upvotes · similarity 0.45
- Steerling-8B, a language model that can explain any token it generates · hn · 2026-02-24 · 328 upvotes · similarity 0.45
- Structural Verification for LLMs: Why Best-of-N Isn't Enough · hn · 2025-12-15 · 5 upvotes · similarity 0.45
The niche, labels, vibe code rating and competitor comparison on this page are analysis by Nicheloom. If you use them, please credit nicheloom.com. How you may use our data.