Testing resources and strategy

[purcell]

Noting Arvid's pointers here for potential follow-up

External audits

• Auditors for previous version of Dextter: Trail of bits
• Auditors for next version: Least authority

Testing / formal reasoning on system of actors in blockchain:

• Concert: formal verification / property-based testing of smart contracts interactions in Coq
  • Paper
  • Blog post on testing Dexter
• Cubicle: parametric model checking of an Auction contract
• Formal methods for Tezos smart contracts: A NL-curated list

Economic analysis

• Work on Constant Product Market Makers (e.g. Uniswap/Dexter)
  • An analysis of Uniswap markets: Economic analysis (including simulation)
  • Pen & paper formalisation in the context of Uniswap by Run-time Verification
    • We (NL) already collaborate with run-time verification. They
      might help us with this as well.
  • Are Constant Product Market Oracles Safe?
• A NL curated list of references related to economic analysis of blockchains (and to some extent, smart contracts)
  • https://hackmd.io/j8HN3eryQay9hxhgt2sorw?both