Formal Verification of Anti-Cheating Protocols in Cryptoeconomic Systems
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Sarah Jamie Lewis 16b70b54ec Spelling Check 1 month ago
.gitignore gitignore and Bisq Comments 1 month ago
FoC.pdf Spelling Check 1 month ago
FoC.tex Spelling Check 1 month ago
README.md Warning note 1 month ago
bisq.prism gitignore and Bisq Comments 1 month ago
bisq.props Bisq 1 month ago
bisq_contract-study.png new update 1 month ago
bisq_contract.png Bisq 1 month ago
ces.bib Final Drafting Phase 1 month ago
discreet-log-contracts-cheating-oracle-all-sides.png dlc model 1 month ago
discreet-log-contracts-cheating-oracle-single-side.png dlc model 1 month ago
dlc.prism Final Drafting Phase 1 month ago
dlc.props Final Drafting Phase 1 month ago
dpbzc.prism Adding FV for DPBZC 1 month ago
dpbzc.props Final Drafting Phase 1 month ago
fr-p2pk.png dlc model 1 month ago

README.md

Formal Verification of Anti-Cheating Protocols in Cryptoeconomic Systems

note: This repository, the models and associated paper aer a work in progress and have not been reviewed.

This repository contains a number of models written for use with the PRISM model checker assessing the game-theoretic effectiveness of proposed mechanisms to deter cheating during trading in cryptoeconomic systems.

The repository is centered around a technical report which explores three such systems: