确定性测试领域新尝试：Diviner

一直以来，我对确认性执行的问题都很感兴趣。咱们花了很多时间在多线程模型上。咱们经常遇到一些只在必定概率范围内发生的bug。即便咱们修正了这些bug，咱们也不能确认它们不会再次发生，咱们只能进行不断的测验，期望问题不再出现。

咱们一直在考虑如何进行确认性调试，并对此非常感兴趣。TLA+是一个非常宝贵的工具，能够协助咱们构建杂乱的多线程和高性能体系的规划。在开始编写实践代码之前，我更喜欢先在TLA+中构建一个规划。可是TLA+只能协助咱们考虑规划，并解决其中的规划缺点。咱们还需要考虑实践执行体系的问题。

咱们能够有一个经过TLA+验证的规划，可是假如咱们编写的代码容易遭到并发性bug的攻击，而这些bug只是以必定的概率发生，那么咱们该

此时快讯

【Alchemix：黑客已全部归还Alchemix Curve池中被盗资金】8月6日消息，DeFi借贷协议Alchemix发推称，此前黑客在Alchemix Curve池中盗取的资金现已全部归还，不久后将发布完整报告。
金色财经此前消息，Alchemix于7月31日发推称alETH/ETH Curve池遭遇攻击损失约5000枚ETH。Alchemix要求黑客在8月6日前退还90%资金，赏金为10%，alETH池黑客于8月4日向Alchemix先后返还1000枚alETH、3819.55枚alETH。