Dacian(@DevDacian):@SagivMooly "Write your invariants down" Interestingly we have started to see this more frequently; one of the benefits of AI is devs using it to write formal specs about how the system is expected to behave, which can then be compared to actual implementation.

Dacian

@DevDacian

Audit Team Leader @Cyfrin Protected $40,000,000,000+ on-chain TVL!

加入 April 2021

286 正在關注 6.6K 粉絲

Dacian@DevDacian

2026.05.13 23:48

@SagivMooly "Write your invariants down" Interestingly we have started to see this more frequently; one of the benefits of AI is devs using it to write formal specs about how the system is expected to behave, which can then be compared to actual implementation.