Fiche du document
6 mai 2024
- 123456789/25973
- 2769-6480
Ce document est lié à :
Distributed Ledger Technologies: Research and Practice
Ce document est lié à :
3
Ce document est lié à :
1
Ce document est lié à :
2024-03
Ce document est lié à :
1-19
Ce document est lié à :
ACM - Association for Computing Machinery
Ce document est lié à :
non
Ce document est lié à :
oui
Ce document est lié à :
https://doi.org/10.1145/3595298
Mots-clés
Blockchain smart contracts mathematical proof formal proof formal verification incentivization perfect Bayesian equilibrium 330 C.C6.C68 C.C1.C11 Economie politique C - Mathematical and Quantitative Methods::C6 - Mathematical Methods; Programming Models; Mathematical and Simulation Modeling::C68 - Computable General Equilibrium Models C - Mathematical and Quantitative Methods::C1 - Econometric and Statistical Methods and Methodology: General::C11 - Bayesian Analysis: GeneralSujets proches
Pattern Model Proof Balancing (Physics) Balance (Physics) Balance Contract law Contracts--Law and legislation Contractual limitations Limitations, Contractual AgreementsCiter ce document
Sylvain Carré et al., « Smart Proofs via Recursive Information Gathering : Decentralized Refereeing by Smart Contracts », IFD : Chaire Les Particuliers face aux risques : Analyse et réponse des marchés
