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