Skip to content

Latest commit

 

History

History
22 lines (15 loc) · 740 Bytes

README.md

File metadata and controls

22 lines (15 loc) · 740 Bytes
Raw

I Told You Tomorrow

This repository provides an implementation compatible with the ITYT framework [1].

In particular you can find:

  1. the implementation of a solver of the economic model presented in the paper that relies on Z3 (model folder);

  2. the implementation of the smart presented in the paper (with some extensions) alongside with some scripts to facilitate simulation with Brownie (contract folder);

  3. the implementation of three secure Multi-Party computation protocols based on FRESCO (smpc folder).

References

[1] E. Bacis, D. Facchinetti, M. Guarnieri, M. Rosa, M. Rossi, S. Paraboschi. I Told You Tomorrow: Practical Time-Locked Secrets using Smart Contracts (to appear in ARES 2021).