@0xpetern Auditing may or may not survive. But the skills will. People unwilling to put efforts are the one who worry the most.
If agents audit smart contracts, weβll audit agents.
@ScrewCopper@GalloDaSballo I believe most bugs are pathways nobody is supposed to take. Airplanes have a set of rules which work on its own. But Iβm pretty sure weβll still find combinations and ways to break invariants.
Otherwise I see bugs everywhere. Yesterday i found a logical bug in my AC remote.