sarah
/
formal-verification
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
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.
21 Commits
1 Branch
0 Tags
1.2 MiB
 
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Go to file
Sarah Jamie Lewis 58a38a05ed
fix spelling 		2 years ago
.gitignore gitignore and Bisq Comments 3 years ago
3dh.spthy Better 4-node version 3 years ago
FoC.pdf Spelling Check 3 years ago
FoC.tex Spelling Check 3 years ago
README.md Warning note 3 years ago
bisq.prism gitignore and Bisq Comments 3 years ago
bisq.props Bisq 3 years ago
bisq_contract-study.png new update 3 years ago
bisq_contract.png Bisq 3 years ago
ces.bib Adding thoughts on adversarial strategies in snowflake 3 years ago
discreet-log-contracts-cheating-oracle-all-sides.png dlc model 3 years ago
discreet-log-contracts-cheating-oracle-single-side.png dlc model 3 years ago
dlc.prism Final Drafting Phase 3 years ago
dlc.props Final Drafting Phase 3 years ago
dpbzc.prism Adding FV for DPBZC 3 years ago
dpbzc.props Final Drafting Phase 3 years ago
fr-p2pk.png dlc model 3 years ago
prob-safety-failure-snowflake-4-eps-converted-to.pdf fix spelling 2 years ago
prob-safety-failure-snowflake-4.eps Adding thoughts on adversarial strategies in snowflake 3 years ago
simulated-comparison-slush-5-peers-by-samples-and-alpha.png Add alpha parameter 3 years ago
simulated-comparison-slush-5-peers-by-samples.png Update Consensus Property 3 years ago
simulated-snowflake-beta-4-1.png snowflake 3 years ago
slush-4.prism More refined Slush Model 3 years ago
slush-5-peers-2-samples.png Add Sketch of Slush Model 3 years ago
slush-5.prism More refined Slush Model 3 years ago
slush.prism Add alpha parameter 3 years ago
slush.props More refined Slush Model 3 years ago
slush4-simulated.png Better 4-node version 3 years ago
slush5-failingtrace-maxround-2.txt More refined Slush Model 3 years ago
slush5-simulated.png Better 4-node version 3 years ago
snowfall.pdf fix spelling 2 years ago
snowfall.tex fix spelling 2 years ago
snowflake-4-adversary.prism Adding thoughts on adversarial strategies in snowflake 3 years ago
snowflake-4.prism snowflake 3 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: