You are viewing a single comment's thread from:

RE: The Tezos ICO approaches and it will be the biggest since Ethereum

in #tezos • 7 years ago (edited)

Be careful with Tezos.

IMO:

  • tech is mostly unnecessary
  • legal questions - intellectual property
  • ICOs in general

The hype is real, will draw in millions.

Read more in my post below for elaboration:
https://steemit.com/tezos/@kyle.anderson/we-don-t-need-to-hardfork-a-questionable-story-about-tezos-ico-july-1st

7 years ago in #tezos by
$1.13
  • Past Payouts $1.13
  • - Author $1.12
  • - Curators $0.01
3 votes
Reply 2
Sort:  
  • Trending
    • [-]
     7 years ago 

    Another problem is they haven't actually formally verified any of their code. This is a problem as they are essentially marketing their platform as being formally verified. When asked, "why would someone formally verify the amendments if NONE of the other code is formally verified?", Arthur responded that "OCaml is easier to verify down the line".

    Valid point. They need to formally verify at least core aspects of their code but I assume with the billions they get in funding they'll be able to do that.

    $0.00
      1 vote
      • and 1 more
      Reply
      [-]
       7 years ago 

      Well, I sure as heck am not funding that. I'll just wait until the smart bloke ports the verified code into a solidity contract.

      billions in the hole IMO. The whole self-amending​ thing is BS anyways.

      $0.00
        Reply

        Coin Marketplace

        STEEM 0.16
        TRX 0.17
        JST 0.029
        BTC 69505.86
        ETH 2493.71
        USDT 1.00
        SBD 2.54