no code implementations • 5 Feb 2021 • Sylvain Carré, Franck Gabriel, Clément Hongler, Gustavo Lacerda, Gloria Capano
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.