You are viewing a single comment's thread from:
RE: The Tezos ICO approaches and it will be the biggest since Ethereum
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.
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.