Туманности и CertiK объявляют о начале сотрудничества

Доверительное управление вашими инвестициями

Туманности, следующее поколение публичном блокчейне стремясь к постоянному улучшению экосистемы. и CertiK, формальной верификации базы для обеспечения смарт-контракт и безопасности блокчейна, объявили о партнерстве. Это партнерство увидите CertiK предоставит технологии, чтобы помочь обеспечить DApps и смарт-контрактов на туманности блокчейн являются безопасными, надежными и устойчивыми к взлому. Туманности разработчики будут получать в реальном времени, интерактивная проверка обратной связи при построении DApps и умные контракты, помогая высвободить время и усилия, потраченные ранее на отладку и аудита кода.

Туманности и CertiK объявила о стратегическом партнерстве. С этим партнерством, CertiK обеспечит формальной верификации для смарт-контрактов и DApps разработана на туманности блокчейн, включение программ в туманности экосистемы должны быть более прочными и устойчивыми к взлому.

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

Между тем, CertiK предлагает официальное рамках проверки, чтобы математически доказать, что смарт-контракты и блокчейн экосистемы безглючная и хакер-упорный. Проект возглавляет Чжун Шао, Томас л. Кемпнер профессор и зав. кафедрой компьютерных наук в Йельском университете, и Ronghui ГУ, доцент кафедры компьютерных наук в Колумбийском университете.

Чтобы сделать процесс проверка масштабируемости, CertiK дает возможность разложения в противном случае непомерно доказательство-задачи на более мелкие и простые, с помощью слой-ориентированного подхода. Эти задачи верификации с меньшими обязательствами доказательства могут быть закодированы в сделках CertiK, которые затем проверенные и утвержденные Участниками в децентрализованном порядке. С этим, CertiK работы регистров в качестве сертификата для обеспечения сквозного корректности — проверка безопасности смарт-контракты и блокчейнами — для того чтобы произвести вполне заслуживающим доверия и надежности экосистем.

Технологии блокчейн и программируемая смарт-контракты имеют огромный потенциал революционизировать способ осуществления предпринимательской деятельности. Однако, умные контракты с открытым кодом и неизменными, как только развертывается, делая их уязвимыми для хакеров. Недавней истории, таких как инциденты в DAO и МТ. Гора gox, предупреждает, что безопасность должна иметь первостепенное значение в blockchain и криптовалюты.

Благодаря этому партнерству между туманности и CertiK, CertiK поможет обеспечить DApps и умные контракты, развернутых на туманности блокчейн являются безопасными, надежными и устойчивыми к потенциальным хаки. С CertiK сертифицированный Дапп библиотек и IDE плагины, предприниматели и программисты также получить в режиме реального времени, интерактивные отзыв о код безопасности при разработке и развертывании DApps и смарт-контрактов на туманности блокчейн. Как следствие, значительные усилия и время, ранее затрачиваемое на отладку и проверку безопасности и надежности кода могут быть сохранены.

1 2 3 555
Close Menu
Закрыть