search

ArdanaLabs / audit

0 stars 0 forks source link

["pile"] Modular resilience #8

Closed quinn-dougherty closed 3 years ago

quinn-dougherty commented 3 years ago

Description

Via the jargon of Genovese 2018, modular risk of a composite contract is risk that is greater than the sum of the risks of the individual lego blocks. Morgan suggested

I think the ideal way to handle these issues would be to use forms of reasoning which address how our system behaves for all possible systems of interacting actors of which it can be a part

We would like not just for the Ardana project to be compositional (i.e. the sum risk is no more than the sum of the risks of the individual lego blocks), but for it to be compositional with respect to actors that may interact with it, arbitrarily.

Deliverable

A fully functional model of the DEX, a (informal) proposition quantified over it's input type. An approach is to implement a toy model and approximate the quantified proposition with property tests. There's a python flavor and a haskell flavor of this approach, perhaps each come with their strengths and weaknesses, but I know my audience ;).

Notes

optional field

quinn-dougherty commented 3 years ago

The comment about future work in src/postamble/fv.md is the extent to which this is covered in the audit.

In the future, we may reopen this issue and put it on the cross-repo fv board