livnev's repositories
auction-grinding
a description of the auction grinding attack
password-store-encfs
patch to enable password-store to use an encfs-mounted directory
miso-paper
agent-based economic models of the Dai Credit System
abstract-maker-fv
some work on abstract (i.e. not bytecode level) formal verification of maker/dai contracts
Language:HTML000
market-maker-stats
Maker Keeper Framework: Set of tools to analyze market maker keepers performance.
oasis-dump
Tool to dump the current state of the orderbook and historical trades from an OasisDEX smart contract