Search Results for author:
Found 1 papers, 0 papers with code
Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets
We propose a game-theoretic discussion of SPRIG, showing how agents with various types of information interact, leading to a proof tree with an appropriate level of detail and to the invalidation of wrong proofs, and we discuss resilience against various attacks.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
