NRI Secure разрабатывает систему анализа уязвимостей смарт-контрактов