Official specifications and annexes of the ProbablyFair Verifiability Layer (PF-VL) — the open standard for verifiable fairness, inclusion, and reproducibility in RNG-driven systems.
This repository hosts the canonical, version-controlled specifications of the ProbablyFair Foundation.
The primary standard, PF-VL-1.0, defines a verifiable framework ensuring that every bet or RNG-based event is:
- Committed before outcome generation
- Included immutably in an append-only ledger
- Generated via deterministic, publicly reproducible entropy
- Reproducible by any independent verifier
Together, these guarantees form the ProbablyFair Verifiability Layer, a protocol-agnostic standard for proving fairness across gaming, lotteries, and other probabilistic systems.
| File | Description |
|---|---|
PF-VL-1.0.md |
Core specification of the ProbablyFair Verifiability Layer |
PF-VL-1.0-annexA.md |
Cryptographic profile defining algorithm suite PF-VL-1.0-A |
PF-VL-1.0-annexB.md |
Test vector generation procedure for profile PF-VL-1.0-A |
openapi.yaml |
Draft Operator API schema (PF-SDK-1.0) |
schemas/ |
JSON schemas and canonical data models |
test-vectors/ |
Reproducible test vectors and verification data |
banner.jpeg |
Standard header graphic used in published PDFs |
Each specification follows a versioned release model:
| Type | Example | Meaning |
|---|---|---|
| Core spec | PF-VL-1.0 |
Base verifiability layer |
| Annexes | PF-VL-1.0-A/B/C... |
Supplemental definitions (crypto profiles, procedures) |
| Drafts | PF-VL-1.1-draft |
Candidate updates under review |
All changes are proposed through pull requests and reviewed under the ProbablyFair Foundation governance model.
| Repository | Role |
|---|---|
pf-core |
Canonical Rust verifier implementation |
pf-sdk |
Go SDK and Operator API implementation |
pf-wasm |
TinyGo WASM verifier for browsers and embedded environments |
pf-bindings |
Language bindings for Node.js, Python, and other runtimes |
Specification discussions and proposals follow the PF-RFC process.
To propose amendments or new annexes:
- Fork this repository
- Create a new branch (e.g.
rfc/pf-vl-1.1-draft) - Submit a pull request including rationale and compatibility statement
All specifications and annexes are licensed under the Apache License 2.0.
Textual material may also be reused under CC-BY-4.0 for educational and research purposes.
ProbablyFair Foundation
Website: https://probablyfair.org
Email: contact@probablyfair.org