bend-sha256
bend-sha256 is SHA-256 in Bend with a machine-checked functional correctness proof against a separate FIPS 180-4 specification. - Giulio2002/bend-sha256. It is ranked #213 on the Dev Radar, in Languages & runtimes, first seen 2 days ago and shared in 6 posts (97.1k views).
GitHub - Giulio2002/bend-sha256: SHA-256 in Bend with a machine-checked functional correctness proof against a separate FIPS 180-4 specification. · 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-sha256 Public Notifications You must be signed in to change notification settings Fork 0 Star 17 main Branches Tags…
What people said about bend-sha256 on X
update: it is 10x faster than the one in lean. this is a game changer.
— @GiulioRebuffo, 1 days ago · 535 likes · see the post
fully proven sha256 implementation in Bend 2. Next AUTOResearch it to improve its performance and make it at least only 2x slower than the optimized version (very positive with early result): https://github.com/Giulio2002/bend-sha256 I created an agentic pipeline for this so other cool projects are running through…
— @GiulioRebuffo, 2 days ago · 264 likes · see the post
another 2x to bend-sha256: https://github.com/Giulio2002/bend-sha256/commit/6dcf2ae0fabac2591b7d90106e3ea5cc479ba1e1, now this is 1.5x to C on Arm (hashlib, Go's is mogs us harder) and still behind by 8x on arm 😅 (need the SHA hw acceleration). The benchmarks are getting ridiculous tho. now lean is around 20x slower.
— @GiulioRebuffo, 17 h ago · 76 likes · see the post
Alternatives to bend-sha256
- 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-sha256 in numbers
- Rank on the Dev Radar: #213 of 1818
- Shared in 6 posts by 1 account: @GiulioRebuffo
- 97.1k views on those posts
- First seen 2 days ago, last shared 2 h ago
- Pricing seen by Jev: open source
- Market: Languages & runtimes
FAQ
What is bend-sha256?
SHA-256 in Bend with a machine-checked functional correctness proof against a separate FIPS 180-4 specification. - Giulio2002/bend-sha256 It was first shared on X 2 days ago and is ranked #213 on the Dev Radar.
Is bend-sha256 free?
It is open source.
Who shared bend-sha256?
1 account on X, including @GiulioRebuffo, in 6 posts totalling 97.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.