- Vitalik Buterin lauds AI-assisted formal verification, which ensures high levels of accuracy in blockchain developers’ code.
- The model replaces an engineer-based verification, which was labor-intensive and expensive. However, a human still remains in the loop.
- The method is critical to ensuring the effectiveness of code in open-source environments.
AI Transforms Blockchain Development
Vitalik Buterin has argued in favor of a new method of code verification that could prove critical in an open collaboration environment such as blockchain development. This method is called AI-assisted Formal Verification, in which artificial intelligence is used to verify that the code behaves exactly as intended. Previously, engineers used to verify these via mathematical models.
Taking a step ahead on Vitalik’s comment, we at BFM Times think that if the formal proofs are secured by blockchain technology, it might provide greater transparency of the code verification process and ensure no errors make it to the final commit. This is necessary because several times hackers have posed as developers to tamper with code, which then led to exploits.
Why is it Critical for Blockchain Technology?
Blockchain Technology relies heavily on open sourcing, where thousands of developers worldwide collaborate in their different capacities to generate code, which is then implemented on the blockchain. Due to the diversity of code, unintended events, such as hacks, may sometimes occur.
Therefore, it is essential that each piece of code be verified by an expert. However, that is also difficult because the number of available experts is limited, and so is the time they can commit to code verification.
As a result, the need for AI in this field is to act under the supervision of an expert, so that it augments their capacity to ensure only clean code reaches the final commit.
What is AI-Assisted Formal Verification?
AI-assisted formal verification is a method for checking whether software or hardware behaves exactly as intended. It involves AI models based on mathematical formulae that check whether the output is within specific bounds.
The method combines the versatility of artificial intelligence models to ensure that any input data is processed properly. However, an issue with this case was that due to hallucinations, the output data was often undesirable. However, with the help of mathematical models, the output is bound to a great extent. As a result, the verification yields high accuracy.
Benefits
Traditionally, verification was a very labor-intensive task in which engineers wrote mathematical models to verify code output. This was both tedious and time-consuming, and it often had human errors.
Whereas in the case of AI-assisted formal verification, the logic of the verification model remains human, but the checks are performed by AI to reduce the time required.
Frequently Asked Questions
How does AI-assisted Formal Verification limit AI hallucinations?
The process always keeps a human in the loop, preventing hallucinations in the AI model.
Disclaimer: BFM Times acts as a source of information for knowledge purposes and does not claim to be a financial advisor. Kindly consult your financial advisor before investing.
