bend-keccak
bend-keccak is bend-keccak256 (500-951x faster than lean engine keccak (lean4 C backend built with -O3) ). It is ranked #427 on the Dev Radar, in Languages & runtimes, first seen 2 h ago and shared in 1 post (1k views).
What bend-keccak says about itself
Pure stock-Bend Ethereum Keccak-256 with packed arrays, public sponge refinement proofs, and C/Lean benchmarks - Giulio2002/bend-keccak
GitHub - Giulio2002/bend-keccak: Pure stock-Bend Ethereum Keccak-256 with packed arrays, public sponge refinement proofs, and C/Lean benchmarks · GitHub Skip to content Navigation Menu Sign in Appearance settings Search / Sign in Sign up Appearance settings You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} Giulio2002 / bend-keccak Public Notifications You must be signed in to change notification settings Fork 0 Star 0 main Branches Tags Go…
What people said about bend-keccak on X
finished few releases/formally verified programs out of my software factory (I was able to make a skill to oneshot the bend-keccak implementation/formal proof within decent performance): bend-sha256: https://github.com/Giulio2002/bend-sha256/releases bend-keccak256 (500-951x faster than lean engine keccak (lean4 C…
— @GiulioRebuffo, 2 h ago · 42 likes · see the post
Alternatives to bend-keccak
- Probably — Introducing Probably: a programming language powered by Jev
- OpenJDK JDK 27 GA Release Builds — This article examines both
- Effect — Kit from Anomaly unleashed Astra on Effect. Dillon will never again start another TypeScript app without Effect. Matt…
- evm-bend — Correctness-first EVM interpreter in Bend targeting Amsterdam. Working interpreter; full conformance and proofs in…
- Cisco Networking Academy — Cisco Networking Academy
- node — it improves Node startup times by 0.8ms by seeding V8's random number generator from the OS instead of using OpenSSL
bend-keccak in numbers
- Rank on the Dev Radar: #427 of 1818
- Shared in 1 post by 1 account: @GiulioRebuffo
- 1k views on those posts
- First seen 2 h ago, last shared 2 h ago
- Pricing seen by Jev: open source
- Market: Languages & runtimes
FAQ
What is bend-keccak?
bend-keccak256 (500-951x faster than lean engine keccak (lean4 C backend built with -O3) ) It was first shared on X 2 h ago and is ranked #427 on the Dev Radar.
Is bend-keccak free?
It is open source.
Who shared bend-keccak?
1 account on X, including @GiulioRebuffo, in 1 post totalling 1k views.
Every post is read and classified by Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 16.1k posts from 4.9k X accounts over the last 21 days, 1.8k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-20 19:24 UTC. Full method.