Periodic Reporting for period 2 - PROCONTRA (Smart-Contract Protocols: Theory for Applications)

Broadly, PROCONTRA studies smart contracts used within cryptographic protocols. Smart contracts are formal agreements that execute automatically on blockchains. Their operations in multi-user scenarios are governed by algorithms known as smart-contract protocols. Smart...