RT: 1/3 @trusttoken 's Engineering team injected bugs into their own code to test security approaches. They found the most bugs by using @Certora’s tool, 17/21. 8 of them were unique, not found by others. https://t.co/3UW7nor70s
转发：1/3@trusttoken的工程团队将漏洞注入到他们自己的代码中，以测试安全方法。他们使用@Certora的工具17/21发现了最多的漏洞。其中8个是独一无二的，其他人没有发现。https://t.co/3UW7nor70s