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