vitalik.eth
@VitalikButerin
I choose balance. First-level balance.
mi pinxe lo crino tcati
加入 May 2011
542 正在關注 6.3M 粉絲
Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible.
I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why:
顯示更多
