Everyone in crypto gambling says they’re “provably fair.” But if you look closely, most of them only prove the final number after the spin or roll. They never prove how that number was chosen, or if your bet was even part of the process.

That’s what I wanted to fix.

I built something called the ProbablyFair Verifiability Layer (PF-VL). It’s an open standard that makes real fairness provable for any RNG-based game — slots, dice, plinko, whatever.

It doesn’t use a blockchain. It doesn’t use tokens. It’s just math.

Every bet carries a few guarantees:

1. The exact RNG code and parameters are published and hashed. 2. The game logic (payout tables, reels, etc.) is locked and verifiable. 3. Every bet is included in an append-only ledger with a proof. 4. Any player can replay and verify the result themselves. 5. Independent watchdogs can recompute everything continuously.

ProbablyFair doesn’t replace the casino’s system. It sits beside it. Operators don’t have to rebuild anything — just add a few calls to the SDK.

That’s it. Three API calls and one file hash.

If there’s a free, open, drop-in standard for provable fairness, then there’s no reason not to use it. Any casino that refuses is showing you something: they prefer a system where players can’t see what’s really going on.

If it’s fair, you can prove it. If you can’t prove it, it isn’t fair.

Technical bits: Core: Rust (verifier) SDK: Go (operator libraries) WASM: TinyGo (browser verifier) License: Apache-2.0 / CC-BY-4.0

Spec: https://probablyfair.org/specification | https://github.com/ProbablyFair/pf-specs/blob/main/PF-VL-1.0...

Repos: https://github.com/probablyfair/pf-core https://github.com/probablyfair/pf-sdk https://github.com/probablyfair/pf-wasm https://github.com/probablyfair/pf-specs

ProbablyFair Verifiability Layer (PF-VL-1.0) Every bet: committed, included, reproduced.

https://probablyfair.org

How plausible is self-hosting everything and still have a normal "digital life"

AI: What Could Go Wrong? With Geoffrey Hinton – The Weekly Show with Jon Stewart [video]

Show HN: CrossPromote – Your own ad network

Can These Self-Flying Planes Transform the Skies?

Apple Took Down These ICE-Tracking Apps. The Developers Aren't Giving Up

Show HN: Per Sample pricing for Data preprocessing and semantic retreival

ClickHouse's JSON datatype gets better

Hashimoto's approach to building large technical projects

Love C, Hate C: Web Framework Memory Problems

The RubyGems "Security Incident"

The Abundance of Deceit

AI Prompt Optimizer – Boost Your Prompts with PromptBoost

Less is More: An LLM that outscores Claude Sonnet 4 while being 50.000x smaller

Managing Encrypted Filesystems with dirlock

Denominate U.S. stocks in gold rather than dollars, and they've been in decline

Daily Show Interview with Tristan Harris on AI Dangers [video]

Vexing Exceptions

A Manhwa about job-hopping in Tech

Show HN: 100% free static site hosting for you with custom subdomains

How Parents Manage Screen Time for Kids

I built CodeIngest (like gitingest for local files)

Microsoft engineer resigns over cloud business from Israeli military

Show HN: I Found a Way for Crypto Casinos to Be Fair

Connecting Cloud Apps to Industrial Equipment with Tailscale

Open-Source Agentic AI

How the Gaza ceasefire deal was done

The phaseout of the MMAP() file operation

A low cost modular actuator for dynamic robots (2018)

Onyx Boox Note Air 4 C Review: The Best Color E Ink Tablet for Most People

Claude Code's Web Tools: WebFetch vs. WebSearch

Why "Market Bullets" is the only pre-market newsletter I still read

Comments