Clément Hongler

École Polytechnique Fédérale de Lausanne

SCHOLARLY PAPERS

1

DOWNLOADS

47

SSRN CITATIONS

0

CROSSREF CITATIONS

0

Scholarly Papers (1)

1.

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

Number of pages: 22 Posted: 15 Dec 2022
Université Paris Dauphine, University of Claude Bernard Lyon 1 - Institute of Finance and Insurance Science (ISFA), École Polytechnique Fédérale de Lausanne, Independent and Independent
Downloads 47 (725,499)

Abstract:

Loading...

information economics, blockchain, smart contracts, mathematical proof, formal verification, incentivization, game theory, perfect Bayesian equilibrium