Smart Proofs via Recursive Information Gathering: Decentralized Refereeing by Smart Contracts

We introduce the SPRIG (Smart Proofs via Recursive Information Gathering) protocol. SPRIG allows agents to propose, question, and defend mathematical proofs in a decentralized fashion. A structure of stakes and bounties aims at producing debates in good faith and if those persist, they must go down...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Distributed Ledger Technologies: Research and Practice 2024-03, Vol.3 (1), p.1-19, Article 2
Hauptverfasser:	Carré, Sylvain, Gabriel, Franck, Hongler, Clément, Lacerda, Gustavo, Capano, Gloria
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithmic game theory and mechanism design Asynchronous editors Computer Science Computer Science and Game Theory Economics and Finance Humanities and Social Sciences Information systems Network protocol design Networks Theory of computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!