The Rollup(@therollupco):The security model the whole industry runs on just broke. For decades it was smart people audit the code and hope the attackers don't find what they missed. Now the attacker is an AI with more compute than your defense, and the only real answer is to mathematically prove the code does what it says. @ilblackdragon on the paradigm shift, and why @NEARProtocol is building its roadmap around proof.

The Rollup

@therollupco

Where digital assets and finance converge. Live from the financial capital of the world. Hosted by @andyyy & @robbieklages

加入 September 2019

4.3K 正在关注 61K 粉丝

The Rollup@therollupco

2026.09.10 16:05

The security model the whole industry runs on just broke. For decades it was smart people audit the code and hope the attackers don't find what they missed. Now the attacker is an AI with more compute than your defense, and the only real answer is to mathematically prove the code does what it says. @ilblackdragon on the paradigm shift, and why @NEARProtocol is building its roadmap around proof.

显示更多