RT: An interesting note about "Invariant-based" alerts:
Interestingly, @rikardhjort from @rv_inc mentioned a similar use of continuous invariant testing as part of an alerting system in his talk "Formal method for the working DeFi dev"
Expect more 🤙
https://archive.devcon.org/arc...
18/26
RT：关于“基于不变式”警报的有趣说明：
有趣的是，来自@rv_inc 的@rikardhjort 在他的演讲“工作中的 DeFi 开发人员的正式方法”中提到了类似使用连续不变测试作为警报系统的一部分
期待更多🤙
https://archive.devcon。组织/弧...
18/26