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 58a38a05ed fix spelling 11 months ago
.gitignore gitignore and Bisq Comments 2 years ago
3dh.spthy Better 4-node version 2 years ago
FoC.pdf Spelling Check 2 years ago
FoC.tex Spelling Check 2 years ago
README.md Warning note 2 years ago
bisq.prism gitignore and Bisq Comments 2 years ago
bisq.props Bisq 2 years ago
bisq_contract-study.png new update 2 years ago
bisq_contract.png Bisq 2 years ago
ces.bib Adding thoughts on adversarial strategies in snowflake 2 years ago
discreet-log-contracts-cheating-oracle-all-sides.png dlc model 2 years ago
discreet-log-contracts-cheating-oracle-single-side.png dlc model 2 years ago
dlc.prism Final Drafting Phase 2 years ago
dlc.props Final Drafting Phase 2 years ago
dpbzc.prism Adding FV for DPBZC 2 years ago
dpbzc.props Final Drafting Phase 2 years ago
fr-p2pk.png dlc model 2 years ago
prob-safety-failure-snowflake-4-eps-converted-to.pdf fix spelling 11 months ago
prob-safety-failure-snowflake-4.eps Adding thoughts on adversarial strategies in snowflake 2 years ago
simulated-comparison-slush-5-peers-by-samples-and-alpha.png Add alpha parameter 2 years ago
simulated-comparison-slush-5-peers-by-samples.png Update Consensus Property 2 years ago
simulated-snowflake-beta-4-1.png snowflake 2 years ago
slush-4.prism More refined Slush Model 2 years ago
slush-5-peers-2-samples.png Add Sketch of Slush Model 2 years ago
slush-5.prism More refined Slush Model 2 years ago
slush.prism Add alpha parameter 2 years ago
slush.props More refined Slush Model 2 years ago
slush4-simulated.png Better 4-node version 2 years ago
slush5-failingtrace-maxround-2.txt More refined Slush Model 2 years ago
slush5-simulated.png Better 4-node version 2 years ago
snowfall.pdf fix spelling 11 months ago
snowfall.tex fix spelling 11 months ago
snowflake-4-adversary.prism Adding thoughts on adversarial strategies in snowflake 2 years ago
snowflake-4.prism snowflake 2 years 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: