3 ms·

But wouldn't Ethereum be a lot safer to use if its contract system would only have so many degrees of freedom, that all side effects and properties of contracts

But wouldn't Ethereum be a lot safer to use if its contract system would only have so many degrees of freedom, that all side effects and properties of contracts were computable for all contracts in a practical amount of time? With the current system I imagine one could even utilize homomorphic encryption to implement another Ethereum inside Ethereum that is cryptographically protected not only against modification but also against inspection :)

mbrock 10y ago
I'd love to see an example of such a restricted contract language. My speculation is that we'll see a few different languages pop up with different approaches to safety, along with coding methodologies and tools for static analysis. Maybe we'll also discover a handful of primitive contract building blocks, to be implemented with care and stringency, with methods for combining them.
- naasking 10y ago
  > I'd love to see an example of such a restricted contract language. A Formal Language for Analyzing Contracts, http://szabo.best.vwh.net/contractlanguage.html http://szabo.best.vwh.net/contractlanguage.html Composing contracts: an adventure in nancial engineering, https://lexifi.com/files/resources/MLFiPaper.pdf https://lexifi.com/files/resources/MLFiPaper.pdf