This video is unbelievably great.

  • sexy_peach@feddit.deOP
    link
    fedilink
    arrow-up
    3
    ·
    3 years ago

    He talks about nfts not just being digital art but yet he really doesn’t talk about the other uses

    he does though

    he talks about how daos can be hacked/have their code fail even though can easily be avoided with code review, formal verification and third party audits.

    but what if they find new exploits in a couple of years?

    You don’t seem to fully understand the criticisms.

    • overflow
      link
      fedilink
      arrow-up
      1
      arrow-down
      1
      ·
      edit-2
      3 years ago

      Give me the timestamps of him talking about the other uses in depth.

      How could persons find exploits in code that has already gone through auditing and formal verification? How would that be a criticism specific for smart contracts and not software in general? I don’t think you understand how big of a deal formal verification is it’s literally the highest assurance you can get that your code functions as intended even if somehow a bug manages to escape this thorough process the code is open source so you have the whole developer community looking at the code if somehow this error evades even the community it’d be exploited and have to be fixed but yeah the situation you’re describing is a very very very unlikely one to occur.