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