Аудит и безопасность смарт-контрактов
Аудит и безопасность смарт-контрактов
Блокчейн предоставляет уникальную возможность для распределенного консенсуса. Приложения для смарт-контрактов имеют уникальные проблемы безопасности. Чтобы снизить эти риски, Jobchain® проводит аудит безопасности своих смарт-контрактов.
Certik а также Квантштамп, две из самых передовых в мире технологий формальной верификации для смарт-контрактов и аудита блокчейна, дали Jobchain® зеленый свет на продолжение усилий по дальнейшему укреплению безопасности платформы для обеспечения стабильности и доверия экосистемы Jobchain®.
О компании CerTik
: CerTiK является пионером в области кибербезопасности блокчейна, основанной профессорами информатики Йельского и Колумбийского университета. Применяя строгое запатентованную технологию формальной верификации в смарт-контрактах и протоколах блокчейна, CerTiK смог обеспечить более 4,39 млрд долларов США активы, включая многие ведущие мировые блокчейн-проекты. Исследовательские усилия CertiK получили гранты от IBM и Ethereum Foundation, а также известных инвесторов, включая Binance Labs, Arrington XRP, Lightspeed China Partners, Matrix Partners China и NEO Global Capital и другие.
В отличие от традиционных подходов к тестированию, CerTiK пытается математически продемонстрировать, что экосистема блокчейн а смарт-контракты устойчивы к хакерам и безошибочны. Компания CertiK, которой доверяет индустрия безопасности, установила стратегические партнерские отношения с ведущими мировыми биржами цифровых активов, такими как Binance OKEx, Kucoin и Huobi, а также протоколы блокчейн, такие как NEO, ICON и QuarkChain.
Основные технологии CerTiK:
- Формальная проверка — математические тесты для проверки всех возможностей критически важных программ.
- AutoScan — масштабируемая технология для выявления и устранения уязвимостей в системе безопасности
- Deepsea-Blockchain — функциональный язык программирования для формально проверяемых смарт-контрактов
Преимущества ядра CerTiK:
- Полная и настраиваемая формальная проверка
- Подробные и прозрачные аудиторские отчеты
- Пересмотр кода экспертами по безопасности
- Аудиты, проведенные по всем основным протоколам и языкам
- Самогенерируемые противоматчеры
- Неограниченные повторной аудит кода
- Продвинутые тесты на проникновение опытных и этичных хакеров
О компании Quantstamp
:
Quantstamp стремится решить проблему непроникновения смарт-контрактов путем создания ведущего децентрализованного протокола, который обеспечит аудит безопасности смарт-контрактов на базе сети Ethereum. По сути, Quantstamp позволяет разработчикам смарт-контрактов передавать свою работу в свой протокол, где многочисленные аудиторы безопасности могут просматривать контракт, чтобы получить токены QSP в качестве вознаграждения. Требуемый уровень аудита устанавливается начальным разработчиком, который оплачивает все, кто выявил проблему в смарт-контракте.