Tweeted by VitalikBu

Tweeted by VitalikButerin@295218901
Getting increasingly bullish on just vibe-coding the important things in Lean.

eg. see:

https://github.com/Verified-zkEVM/ArkLib

https://blog.zksecurity.xyz/posts/end-coding/

https://x.com/VitalikButerin/status/2053868202443100265