Promise Protocol

Protocolo Semântico e de Dados

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

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 🔨 Em desenvolvimento
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)
Órgão de Governança Promise Foundation (platform cooperative)
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

Capacidades

Rastreamento de procedência Portabilidade do grafo de confiança

Protocolo Semântico e de Dados Atributos

Origens 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)
Banco de Dados Unconfirmed; promise and merit records require persistent storage (blockchain ledger or equivalent implied for tamper-evidence; Sponsio Credits described as requiring careful legal structuring)
Linguagem de Consulta Unconfirmed; no query language specified in public documentation
Formatos de Dados 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
Edição Colaborativa em Tempo Real N/A (protocol specification; not an editing application)
Edição de Texto Rico N/A
Suporte Móvel N/A (protocol spec; reference apps are web-based)
Suporte Web Yes (promise.foundation web interface; Sponsio promise engine demo; Oracular prototype at oracular.promise.foundation)
Aplicativos Nativos N/A
Termos Free (open protocol; MIT-licensed core; certification fees for foundation membership; platform fee on microenterprise products; Sponsio Deposits via Stripe for staking)
Fundos Undisclosed
Baseado Em 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)
Compatibilidade com a Web Semântica 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)
Maturidade / Padronização do Protocolo 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)
Tipo de Vocabulário / Ontologia 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)
Padrão de Uso 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)