Предложение о партнерстве с OKExChain и CertiK Chain

О CertiK

CertiK – новаторская компания в области кибербезопасности блокчейнов, основанная профессорами компьютерных наук из Йельского и Колумбийского университетов. Применяя строгую фирменную технологию формальной проверки к смарт-контрактам и протоколам блокчейн, CertiK смогла обеспечить активы на сумму более 6 миллиардов долларов и обслужить более 150 корпоративных клиентов, включая многие ведущие мировые блокчейн-компании, такие как Binance, OKEx, Coinone, PAXOS, Резерв, Универсальный протокол, InfStones и т. Д. В отличие от традиционных подходов к тестированию, CertiK пытается математически доказать, что протоколы блокчейна, суперноды и смарт-контракты устойчивы к хакерам и не содержат ошибок..

Синергия и кросс-чейн между OKExChain и CertiK Chain

CertiK Chain и OKExChain разделяют несколько концепций дизайна и планов развития.

которые могут пролить свет на будущую синергию. Цепочка CertiK повысит ценность OKExChain

Альянс в этих уникальных перспективах:

1. Включение OKExChain через CVM

Подобно OKExChain, CertiK Chain основана на консенсусе Tendermint-BFT с целью создания безграничной кросс-чейн экосистемы с помощью проприетарной виртуальной машины CertiK (CVM) и Глубокое море язык программирования.

CertiK VM (CVM) – это платформа смарт-контрактов, разработанная для CertiK Chain. Для версии 1.0 он нацелен на обеспечение полной совместимости с EVM при добавлении расширений, связанных с безопасностью. В будущих версиях будет реализована поддержка WASM и общего нативного кода. CVM поставляется как хранитель Cosmos, который может легко использоваться OKExChain..

Хотя CVM поддерживает устаревшие языки, такие как Solidity, такие языки не обеспечивают оптимальной поддержки формальной проверки. По этой причине мы также нацелим язык CertiK DeepSEA на OKExChain через CVM..

2. Включение OKExChain через DeepSEA

Распределенные финансовые приложения особенно требовательны к безопасности, потому что на карту поставлены большие денежные суммы, а ошибки могут возникать при тонком взаимодействии между контрактами, написанными несколькими разными сторонами. В настоящее время большинство существующих решений формальной проверки нацелены на доказательство характеристики отдельного контракта (например, путем аннотирования каждого метода контракта с предварительными и постусловиями) Такой процесс проверки является автономным процессом без контроля разрешений в реальном времени и / или обратной связи по обнаружению, как в традиционных средах разработки программного обеспечения. Кроме того, инструменты проверки часто включают доверенный код, в котором могут быть ошибки. Это не многообещающий уровень безопасности для OKExChain, целью которого является создание экосистемы публичной сети без границ с плавным обменом данных, активов и ценностей..

Язык программирования DeepSEA нацелен на использование Интерактивные помощники по доказательству Coq для проверки правильности контракта без пробелов. Система DeepSEA состоит из нового языка программирования, проверенного компилятора и механизма для перевода кода контракта в формальную модель, которую можно загрузить в помощник по проверке Coq..

Часть языка программирования – это небольшой императивный язык, на котором можно писать контракты. Первоначально он был вдохновлен исследованиями проверенных систем и содержит некоторые уроки, извлеченные из разработки операционной системы CertiKOS, как подробно описано ниже:


  • Во-первых, он структурирован вокруг объектов, которые инкапсулируют состояние между интерфейсом внешних методов, точно так же, как это делают смарт-контракты..
  • Во-вторых, язык разработан таким образом, чтобы его можно было преобразовать в чистые функции, которые легко понять в помощниках по доказательству..
  • Наконец, он использует запатентованную методологию Certified Abstraction Layers для разделения сложных систем на несколько уровней, правильность которых может быть подтверждена независимо..

CertiK разрабатывает проверенный компилятор, который переводит язык DeepSEA в байт-код. Тот факт, что сам компилятор проверен в Coq, гарантирует, что в нем нет ошибок, которые могут нарушить свойства безопасности контрактов. Другими словами, можно доказать безопасность программы на уровне исходного кода и получить столь же строгие гарантии, как если бы мы рассуждали напрямую, используя формальную спецификацию языка байт-кода, но с гораздо большим удобством, поскольку доказательство не загромождено вопросы представления данных или потока управления. Тот факт, что компилятор проверен, также означает, что все скомпилированные программы доказуемо удовлетворяют определенным свойствам безопасности во время выполнения: они безопасны по типу, не имеют целочисленных переполнений и т. Д..

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

Компилятор DeepSEA также переводит контракт в библиотеку, которую можно загрузить в помощник проверки для проверки дополнительных свойств правильности. Тот факт, что мы используем полнофункциональный интерактивный помощник по доказательству, означает, что можно определять произвольно сложные утверждения и модели теорем без каких-либо ограничений, налагаемых самим инструментом. Например, при проверке финансового приложения можно записать теоретико-игровые определения (стандартным образом, как они появляются в учебнике математики) и доказать, что предполагаемый протокол действительно является доминирующей стратегией..

Еще один пример, в котором сила помощников по доказательству особенно полезна: кросс-чейн приложения, которые включают несколько контрактов, находящихся в разных цепочках и обменивающихся асинхронно. Это еще один отличный способ, которым DeepSEA расширяет возможности экосистемы OKExChain. В этой настройке инструмент DeepSEA может автоматически создавать проверенную модель каждого отдельного контракта, а затем программист может использовать помощника по подтверждению, чтобы определить, как контракты могут взаимодействовать друг с другом, какие предположения сделаны относительно задержки и т. Д. Тот факт, что DeepSEA может быть скомпилирован для работы в нескольких цепочках (например, CertiK Chain, OKExChain, Ethereum), также позволит нам написать набор стандартных мостовых контрактов и сертифицировать их все в рамках одной разработки DeepSEA, обеспечивая прочную основу для взаимодействия между цепи.

Исследовательская статья DeepSEA опубликована на симпозиуме OOPSLA’19 (Узнать больше). В

Глубокое море Технический документ по языку v0.9 и Предварительная версия DeepSEA Compiler являются также

доступны для общественности. Для получения более подробной информации и примеров, пожалуйста, обратитесь к более

всестороннее введение здесь.

3. Проводник для OKExChain

CertiK Chain Explorer – это веб-интерфейс для CertiK Chain, на который в значительной степени полагаются пользователи сети для отслеживания своих транзакций, а также для изучения всей информации платформы блокчейна. В традиционных блокчейнах, таких как BTC, ETH, BCH, исследователи блоков работают только для своей собственной назначенной цепочки. Например, пользователь никогда не сможет использовать проводник блокчейна ETH для получения информации о BTC..

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

4. DeepWallet для OKExChain

DeepWallet, простой в использовании децентрализованный веб-кошелек, позволяет использовать несколько активов, которые соединяются с хорошо известным космическим блокчейном..

DeepWallet нацелен на поддержку следующих функций для пользователя:

  • простое управление несколькими активами среди партнерских протоколов на основе космоса
  • исторический трекер транзакций
  • отправлять и получать активы проще
  • стейкинг на кошельке, позволяющий пользователям получать вознаграждение за поддерживаемые токены подтверждения доли (POS)
  • солидность & Компилятор на основе браузера DeepSEA, развертывание смарт-контрактов и взаимодействие с контрактами

5. Нет операций для OKExChain

NoOps – это платформа «Инфраструктура как услуга», разработанная CertiK, которая обслуживает и управляет узлами цепочки блоков с инфраструктурой корпоративного уровня. Участники блокчейна, использующие NoOps, могут сэкономить на высоких накладных расходах и, таким образом, больше сосредоточиться на перспективах бизнеса. NoOps внедряет список настроек и конфигурации инфраструктуры широко известных протоколов блокчейна, таким образом, чтобы продвигать соответствующие экосистемы..

Платформа NoOps добавит интеграцию с OKExChain, что позволит пользователям:

  1. размещать собственный узел валидатора, если они участвуют в стейкинге OKExChain;
  2. Запрашивайте данные OKExChain, чтобы получать информацию через общие узлы, размещенные на CertiK..
  3. NoOps понимает важность данных DEX onchain для OKExChain, и, обладая глубокими знаниями и опытом в области блокчейн и системы мониторинга смарт-контрактов, команда считает, что платформа NoOps обеспечит высокодоступный, безопасный и стабильный доступ к данным OKExChain..

Основные характеристики:

  • Инфраструктура под нужды пользователя

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

  • Безопасность, чтобы не допустить злоумышленников

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

  • Мониторинг для предоставления данных о производительности

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

  • Торговая площадка для пополнения ваших узлов

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

Технические особенности:

  • Невзламываемая ОС

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

  • Многослойная защита

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

  • Автоматизированные процедуры

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

  • Команда экспертов

Наша платформа основана на CertiK и включает команду опытных инженеров с различными специализациями. NoOps прошел строгий процесс контроля качества, чтобы гарантировать соответствие высоким стандартам безопасности и качества, прежде чем сделать его доступным для пользователей..

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me
Like this post? Please share to your friends:
Adblock
detector
map