Notices

1. Ekaitz Zárraga 👹 (ekaitz_zarraga@mastodon.social)'s status on Saturday, 20-Oct-2018 21:29:57 CEST Ekaitz Zárraga 👹

   • jartigag
   • Yábir Benchakhtir

   @jartigag @yabirgb That's because of this:
   https://mastodon.social/@ekaitz_zarraga/100929528864258231

   The turing-completeness is a security issue sometimes (more often than we'd like to)

   • Bernie (codewiz@mstdn.io)'s status on Sunday, 21-Oct-2018 06:44:12 CEST Bernie

     in reply to

     • jartigag
     • Yábir Benchakhtir

     @ekaitz_zarraga @jartigag @yabirgb Touring completeness is indeed a problem for those who write and use those contracts, but not for other users of the same blockchain using non-buggy contracts.

     Besides, the problem of checking contracts for correctness is more constrained than debugging general-purpose computer software: contracts can only operate on inputs and outputs on the blockchain and are by necessity very short programs (typically a few hundreds instructions).

     Ekaitz Zárraga 👹 repeated this.
   • Ekaitz Zárraga 👹 (ekaitz_zarraga@mastodon.social)'s status on Sunday, 21-Oct-2018 12:25:01 CEST Ekaitz Zárraga 👹

     in reply to

     • jartigag
     • Yábir Benchakhtir
     • Bernie

     @codewiz @jartigag @yabirgb Yeah, but after a global analysis of Solidity contracts they realized many of them have bugs inside! That provoked the creation of Vyper.

     So... Dangerous shit.

     Anyway, it's a good idea, but it's complex to make it work nicely. There have been some issues with ETH in the past and that makes me be a little bit skeptic about it.