Promise Protocol

Protocolo Semántico y de Datos

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.

Comunidad
Enlaces
Visitar Comunidad

Detalles

Licencia MIT (Abductio core framework — EVSI math, decomposition logic, pooling — MIT-licensed per Promise Foundation commitment; full protocol spec available at promise.foundation/docs)
Estado de Desarrollo 🔨 En desarrollo
Detalle del Estado de Desarrollo 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)
Propietario Promise Foundation (platform cooperative; founders unconfirmed publicly)
Órgano de Gobierno Promise Foundation (platform cooperative)
País Unconfirmed (European context suggested by Oracular GmbH formation and EUR-denominated stakes)
Año de Inicio 2025
Stack Unconfirmed; whitepapers suggest TypeScript/JavaScript for reference implementations; Stripe for Sponsio Deposits payment holds; Coq for formal proofs
Financiamiento Undisclosed (platform cooperative model; grants mentioned as an earning source for the foundation; no VC funding disclosed)
Última Investigación 1 jul 2026

Dominios de Caso de Uso

Co-creación y Conocimiento

Protocolo Semántico y de Datos Atributos

Orígenes 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)
Base de Datos Unconfirmed; promise and merit records require persistent storage (blockchain ledger or equivalent implied for tamper-evidence; Sponsio Credits described as requiring careful legal structuring)
Lenguaje de Consulta Unconfirmed; no query language specified in public documentation
Formatos de Datos 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
Edición Colaborativa en Vivo N/A (protocol specification; not an editing application)
Edición de Texto Enriquecido N/A
Soporte Móvil N/A (protocol spec; reference apps are web-based)
Soporte Web Yes (promise.foundation web interface; Sponsio promise engine demo; Oracular prototype at oracular.promise.foundation)
Aplicaciones Nativas N/A
Términos Free (open protocol; MIT-licensed core; certification fees for foundation membership; platform fee on microenterprise products; Sponsio Deposits via Stripe for staking)
Fondos Undisclosed
Basado En 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)
Compatibilidad con la 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)
Madurez del Protocolo / Estandarización 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 Vocabulario / Ontología 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)
Patrón 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)