https://123dok.net/document/zlgv0rog-findel-secure-derivative-contracts-for-ethereum.html