If someone pitches you on a "great" Web3 project, ask them if it requires buying or selling crypto to do what they say it does.Sources and Further Readinghtt...
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.
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.