Wu said that Vitalik Buterin made a prediction that the statement "Vulnerabilities are unavoidable, and code cannot be bug-free" will no longer hold in the 2030s. He pointed out that many software still have vulnerabilities because, in their use cases, functional enhancement is more important than absolute correctness; but if truly bug-free code is needed, it will be achievable in the future.
View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Wu said that Vitalik Buterin made a prediction that the statement "Vulnerabilities are unavoidable, and code cannot be bug-free" will no longer hold in the 2030s. He pointed out that many software still have vulnerabilities because, in their use cases, functional enhancement is more important than absolute correctness; but if truly bug-free code is needed, it will be achievable in the future.