Promise Protocol

Semantic & Data Protocol

An open trust protocol defining a shared semantic and economic framework for making commitments verifiable and verification economically rational. Built around two co-designed components: Abductio (pre-commitment structured reasoning — assigns Credence, a probability estimate, and Confidence, a stability score, to claims using hypothesis graph decomposition and EVSI cost modelling) and Sponsio (post-commitment outcome verification — promise-makers stake value, independent assessors verify outcomes, and per-domain Merit scores accumulate as a costly-to-game reputation). The protocol is steered by the Promise Foundation, a platform cooperative, and is intended as open infrastructure on which domain-specific applications (governance, supply chain, due diligence, dating, marketing) can be built. Core protocol properties are formally proven in Coq.

Comunidade
Links
Visitar Comunidade

Detalhes

Licença MIT (Abductio core framework — EVSI math, decomposition logic, pooling — MIT-licensed per Promise Foundation commitment; full protocol spec available at promise.foundation/docs)
Status de Dev 🟢 Ativo
Detalhe do Status de Dev WIP / Pre-release (whitepapers published; waitlist open; Oracular GmbH in formation as first microenterprise instance; core ABM simulations and Coq proofs complete; no confirmed production deployments)
Proprietário Promise Foundation (platform cooperative; founders unconfirmed publicly)
País Unconfirmed (European context suggested by Oracular GmbH formation and EUR-denominated stakes)
Ano de Início 2025
Stack Unconfirmed; whitepapers suggest TypeScript/JavaScript for reference implementations; Stripe for Sponsio Deposits payment holds; Coq for formal proofs
Financiamento Undisclosed (platform cooperative model; grants mentioned as an earning source for the foundation; no VC funding disclosed)
Última Investigação 1 de jul. de 2026

Domínios de Caso de Uso

Co-Creation & Knowledge

Semantic & Data Protocol Atributos

Origins Trust infrastructure / Mechanism design (motivated by the gap between exponentially growing information claims and linearly scaling human verification capacity; draws on Bayesian epistemology, prediction market design, and skin-in-the-game economic theory)
Database Unconfirmed; promise and merit records require persistent storage (blockchain ledger or equivalent implied for tamper-evidence; Sponsio Credits described as requiring careful legal structuring)
Query Language Unconfirmed; no query language specified in public documentation
Data Formats Structured claim/promise records (Credence value 0–1, Confidence value 0–1, hypothesis graph with evidence hashes, EVSI cost model, rivals ledger); Merit scores per domain; stake/deposit records; outcome verification records
Collaborative Live Editing N/A (protocol specification; not an editing application)
Rich Text Editing N/A
Mobile Support N/A (protocol spec; reference apps are web-based)
Web Support Yes (promise.foundation web interface; Sponsio promise engine demo; Oracular prototype at oracular.promise.foundation)
Native Apps N/A
Terms Free (open protocol; MIT-licensed core; certification fees for foundation membership; platform fee on microenterprise products; Sponsio Deposits via Stripe for staking)
Funds Undisclosed
Based On Bayesian epistemology (Credence/Confidence framework); prediction market theory (skin-in-the-game stakes); EVSI (Expected Value of Sample Information from decision theory); Coq proof assistant (formal verification); Lyapunov stability theory (self-healing equilibrium proofs)
Semantic Web Compatibility Custom (no RDF, JSON-LD, or SPARQL compatibility stated; protocol defines its own structured data formats for claims, promises, credence/confidence scores, and merit; semantic interoperability is by adoption of the shared vocabulary rather than W3C Semantic Web standards)
Protocol Maturity / Standardization Pre-specification (Sponsio v1.0.0 and Abductio v1.0.0 whitepapers published; Coq formal proofs complete; no standards body submission; no external conformance testing framework yet; community standard at best)
Vocabulary / Ontology Type Trust / Commitment (domain-specific ontology for promise-making, credence estimation, confidence scoring, outcome verification, and merit tracking — not a general-purpose or economic-flow ontology; closest to a trust and accountability vocabulary)
Usage Pattern Embedded in applications (protocol is consumed by microenterprise products built on top of it — Oracular, Promise Supply, Green Flag, Promissum, Keepable — rather than used standalone; also described as API overlay for organizations wishing to make their commitments verifiable)