Edgen - crypto : ethereum-tightens-protocol-with-hard-constraints