Компания разработала программное обеспечение, которое отслеживает ошибки и уязвимости в программном коде смарт-контрактов с эффективностью, близкой к 100%.