1 of 10

Taking Compositionality Seriously

Fabrizio Genovese

DeFi Security Summit

2 of 10

State of affairs in the ecosystem

A survey of the most used tools and heuristics:

3 of 10

Some of the proposed solutions

Complicated cryptography and AI won’t save you from yourself.

4 of 10

Interfaces are the land of nightmares

We invented type theory to tame them but sometimes it’s not enough!

5 of 10

What if we had a formal solution?

A kind of mathematics that could describe how things interact?

6 of 10

What if we had a formal solution?

A kind of mathematics that could describe how things interact?

7 of 10

What if we had a formal solution?

A kind of mathematics that could describe how things interact?

8 of 10

Category Theory: The math of composition

…which will turn you from a young padawan to a full-flagged wizard

9 of 10

And remember: Theories are only theories

But good abstractions give precious insights in design best-practices

10 of 10

Merci!

Fabrizio Genovese

fabrizio@20squares.xyz

@fabgenovese