В Kleros мы очень серьезно относимся к безопасности смарт-контрактов. Раньше было не так много автоматических инструментов, которые помогли бы выявлять уязвимости в ваших смарт-контрактах. Мы разработали обширный внутренний процесс , и мы с гордостью можем сказать, что контракты Kleros никогда не имели уязвимостей в производстве. В последнее время экосистема инструментов для защиты смарт-контрактов достаточно развита, чтобы мы проявили интерес к внедрению некоторых инструментов в..