Buterin: It's time to add complex functions to L1 to reduce the burden on L2! Looking forward to AI finding bugs

Vitalik Buterin, one of the founders of Ethereum, recently posted a tweet on social media, expressing his expectations for the potential benefits of Verkle Trees in Ethereum. At the same time, he also explored the relationship between the first and second levels of blockchain in this morning's discussion and discussed how to find the best technical balance between the two.

Lower confidence in the concept of “increasing L2 complexity to simplify L1”

When responding to BitcoinMagazine technical editor @brian_trollz’s question about the common misunderstanding between L1 and L2, Vitalik expressed his doubts about the adoption of The "increase L2 complexity to simplify L1" strategy takes a conservative view.

@brian_trollz earlier used a sarcastic tone to criticize those who think that "just implementing it on L2" can solve the problem, emphasizing that the important limitations of layer 1 technology on layer 2 functionality have been ignored question.

Vitalik responded to this question, saying that when weighing the error risks of L1 and L2, it is not clear that L2 has an advantage. He pointed out that although L1 requires emergency repairs when consensus fails, the problem can eventually be solved; while L2 errors can cause people to permanently lose large amounts of money.

Therefore, Vitalik believes that it is actually worthwhile to add some complex functions to L1 to reduce the code burden of L2 and allow L2 to maintain reasonable simplicity.

Looking forward to the application of AI in code error detection

Vitalik published an article on the 19th, emphasizing the important role of artificial intelligence in code verification and error detection. He said that coding errors may be one of the biggest technical risks for Ethereum at the moment. Therefore, any technology or method that can achieve a major breakthrough in this field will be of great value.

Vitalik’s standards for Layer 2: Security

In the middle of last month, Vitalik published the standards for Ethereum L2. He said that “security” is the key point: For me, for For something to fully qualify as L2, it must have stronger security properties than multisig, even if it's not Rollup-like blanket guarantees.

This shows that Vitalik believes that in order to qualify as L2, a platform or technology needs to have stronger security properties than multi-signature (a basic security mechanism). Even if these security attributes are not as comprehensive as Rollup, they should have their own unique security guarantees.

In addition, he once again mentioned Validiums as meeting this criterion. As for Optimiums, Buterin believes it may also meet the standard, but more rigorous analysis is needed to determine their exact safety efficiency.

The above is the detailed content of Buterin: It's time to add complex functions to L1 to reduce the burden on L2! Looking forward to AI finding bugs. For more information, please follow other related articles on the PHP Chinese website!