CertiK выпустит бета-версию для смарт-контрактов

CertiK выпустит бета-версию для смарт-контрактов 1 Blockchain

CertiK выпустит бета-версию для смарт-контрактов

CertiK Foundation собирается выпустить открытую бета-версию Testnet 3.0 для CertiK Chain, предназначенную для того, чтобы умные контракты могли проверять наличие проверок безопасности других интеллектуальных контрактов перед проведением транзакции.

Виртуальная машина CertiK (CVM) обеспечивает полную совместимость с EVM Ethereum, что позволяет без проблем выполнять существующие интеллектуальные контракты Solidity. Поскольку сеть CertiK построена в сети Cosmos, она также позволяет выполнять интеллектуальные контракты Solidity.

Компания пояснила, что пользователь может проверять доказательства в цепочке аудита безопасности до отправки криптовалюты. В зависимости от результата пользователь может отправлять суммы меньшими партиями. Фонд CertiK заявил:

«Если блокчейн станет таким же революционным, как и ожидают люди. Тогда интеллектуальные контракты (такие как DAO) взаимодействующие с другими интеллектуальными контрактами, будут иметь возможность проверки безопасности в цепочке и предотвратить злонамеренное взаимодействие. Другие функции CertiK Chain включают в себя «песочницу» интеллектуальных контрактов, чтобы они могли развертываться в моделируемой среде для динамического тестирования, что было бы полезно как для развертывания новых контрактов, так и для внедрения обновлений существующих контрактов».

В следующих выпусках организация планирует включить дополнительные функции безопасности, чтобы предотвратить неправомерное взаимодействие с остальной частью цепочки блоков. Цепочка CertiK будет работать на CertiKOS – «единственном в мире полностью сертифицированном параллельном ядре ОС и гипервизоре» – и позволит CVM выполнять интеллектуальные контракты, разработанные на языке программирования DeepSEA.

Фонд CertiK запустил свой собственный блокчейн CertiK Chain в конце июля, в результате инвестиций Binance Labs в 2018 году. В то время компания заявила, что умные контракты на CertiK Chain могут быть разработаны на языке функционального программирования DeepSEA, который гарантирует безопасность средствами кода.

В марте Фонд Ethereum предоставил финансирование проекту DeepSEA. Проект Qtum с открытым исходным кодом также предоставил DeepSEA 400 000 долларов в декабре.

podlesny
Оцените автора
Добавить комментарий