4 ms·

A law can only can be as bug free as software? 100% bug free software is impossible! As long as they are written by humans? Their will always be bugs. Matter w

by max_ 9y ago

A law can only can be as bug free as software? 100% bug free software is impossible! As long as they are written by humans? Their will always be bugs. Matter who is writting them.

xj9 9y ago
i'd like formally verified laws if i could
- zdkl 9y ago
  I dislike algorithms that I understand, and I distrust algorithms that I don't when it comes to stuff like social security or insurance. Smart contracts by composition would be really nice. Like a compile to EVM lisp!
  - TeMPOraL 9y ago
    Related: could we please have a Lisp for Ethereum VM? Thanks!
    - zdkl 9y ago
      Yeah if someone's working on it, please link. Would contribute
      - Jabanga 9y ago
        There is LLL: https://github.com/ethereum/cpp-ethereum/wiki/LLL-PoC-6/7a575cf91c4572734a83f95e970e9e7ed64849ce https://github.com/ethereum/cpp-ethereum/wiki/LLL-PoC-6/7a57...
        zdkl 9y ago
        Nice thanks! Is this officialy supported still?
        Jabanga 9y ago
        No problem! It looks like there is some activity in its github repository: https://github.com/ethereum/solidity/tree/develop/liblll https://github.com/ethereum/solidity/tree/develop/liblll https://github.com/ethereum/solidity/issues?utf8=%E2%9C%93&q=lll https://github.com/ethereum/solidity/issues?utf8=%E2%9C%93&q...
    - mbrock 9y ago
      Lisp programmers know the value of everything and the gas cost of nothing...
- TeMPOraL 9y ago
  This might be possible at some point, but for that we first need to figure out how to formalize intent and meaning. In real-world laws, both are extremely important.
erikpukinskis 9y ago
It doesn't need to be bug free if there are checks and balances. Like an independent contract layer that holds funds in escrow for 10 days and allow a third party to cancel fraudulent transaction under certain conditions. You don't need to prevent all bad behaviors, just slow attackers down. Of course sometimes they can get through the review process too, but you start having probabilities you can multiply to decrease the likelihood of losses. Over time we'll start to have good defaults for how those checks work. For now it's the wild west.

by max_ 9y ago

A law can only can be as bug free as software? 100% bug free software is impossible! As long as they are written by humans? Their will always be bugs. Matter who is writting them.

xj9 9y ago

i'd like formally verified laws if i could

zdkl 9y ago
I dislike algorithms that I understand, and I distrust algorithms that I don't when it comes to stuff like social security or insurance. Smart contracts by composition would be really nice. Like a compile to EVM lisp!
- TeMPOraL 9y ago
  Related: could we please have a Lisp for Ethereum VM? Thanks!
  - zdkl 9y ago
    Yeah if someone's working on it, please link. Would contribute
    - Jabanga 9y ago
      There is LLL: https://github.com/ethereum/cpp-ethereum/wiki/LLL-PoC-6/7a575cf91c4572734a83f95e970e9e7ed64849ce https://github.com/ethereum/cpp-ethereum/wiki/LLL-PoC-6/7a57...
      - zdkl 9y ago
        Nice thanks! Is this officialy supported still?
        Jabanga 9y ago
        No problem! It looks like there is some activity in its github repository: https://github.com/ethereum/solidity/tree/develop/liblll https://github.com/ethereum/solidity/tree/develop/liblll https://github.com/ethereum/solidity/issues?utf8=%E2%9C%93&q=lll https://github.com/ethereum/solidity/issues?utf8=%E2%9C%93&q...
  - mbrock 9y ago
    Lisp programmers know the value of everything and the gas cost of nothing...
TeMPOraL 9y ago
This might be possible at some point, but for that we first need to figure out how to formalize intent and meaning. In real-world laws, both are extremely important.

erikpukinskis 9y ago

It doesn't need to be bug free if there are checks and balances. Like an independent contract layer that holds funds in escrow for 10 days and allow a third party to cancel fraudulent transaction under certain conditions. You don't need to prevent all bad behaviors, just slow attackers down. Of course sometimes they can get through the review process too, but you start having probabilities you can multiply to decrease the likelihood of losses. Over time we'll start to have good defaults for how those checks work. For now it's the wild west.