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!

Joined April 2021

286 Following 6.6K Followers

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.