Zilliqa объявила о своем партнерстве с ChainSecurity через сообщение в Твиттере . Компании вступили в партнерство с целью разработки инструментов безопасности для Zilliqa .
Одержимость Zilliqa безопасностью и сотрудничество с ChainSecurity
Компания всегда уделяла особое внимание безопасности, о чем dent смарт-контракты с высоким уровнем trac . Кроме того, в смарт-контрактах trac «устойчивый к ошибкам» язык, обеспечивающий высокую безопасность за счет отсутствия ошибок в системе. Тем не менее, компания надеется поднять безопасность на ступень выше, сделав свою инфраструктуру еще более неприступной.
ChainSecurity разработает расширяемую структуру статического анализа для сети Zilliqa . Это позволит разработчикам обнаруживать проблемы в кодах их программ. Инфраструктура позволит анализировать поток управления, поток данных и информацию, которые являются важными факторами при определении свойств безопасности системы.
Что такое цепная безопасность?
ChainSecuirty — это стартап ICE, купивший первую автоматизированную платформу формального аудита для блокчейнов. ICE — это на блокчейн, в Европейском университете ETH Zurich. В настоящее время у ChainSecurity более семидесяти клиентов в экосистеме блокчейна.
ChainSecurity и Zilliqa : что партнерство означает для блокчейна
Стартап планирует внедрить сканер безопасности, который позволит разработчикам обнаруживать уязвимости безопасности в своих кодах. К ним относятся общие уязвимости, возникающие из-за неправильной практики кодирования.
ChainSecurity также проводит официальный аудит языка Scilla. Таким образом, стартап может распознавать его свойства и, следовательно, использовать язык для различных целей безопасности. Сотрудничество улучшит безопасность Zilliqa и создаст модель для других предприятий, ориентированных на безопасность.
Ценовое Zilliqa , похоже, находится в затруднительном положении, поскольку медведи, похоже, контролируют импульс рынка. Более подробный анализ цен можно прочитать здесь.