This project implements a Decentralized Finance (DeFi) library in OCaml, and experiments to explore the behaviour of DeFi ecosystems.
To build a test:
$ dune build test/test.exeTo run a test:
$ dune exec test/test.exe- Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente. A theory of Automated Market Makers in DeFi. In Proc. COORDINATION 2021
- Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente. SoK: Lending Pools in Decentralized Finance. In Proc. WTSC 2021