Smart contracts

🚧 this section is currently under construction - it will be finalized after the smart contract audit has been completed 🚧

All DIVA smart contract functions, expected inputs and outputs are summarized in the following sections.