CertiK x QuarkChain == Безопасная Эффективная Экосистема

Certik RU Community
Sep 5, 2018 · 3 min read
CertiK Foundation и QuarkChain

Недавно между CertiK Foundation и QuarkChain было подписано стратегическое сотрудничество. В качестве первого подписанного партнера по безопасности QuarkChain, CertiK предоставит QuarkChain первоклассное решение для проверки безопасности, чтобы противостоять потенциальному взлому смарт-контракта в своих публичных сетях и дополнительно улучшить безопасность и надежность блокчейна QuarkChain. В июне 2018 года CertiK завершил первую официальную проверку для ICO QuarkChain; надежно защитил все потенциальные риски безопасности для дебюта QKC на Binance.

Сегодня быстрорастущая технология блокчейн стала базовым объектом, который несет в себе диверсифицированную бизнес-модель. Но часто подвергаемые уязвимости безопасности заставили сообщество усомниться в ценности блокчейна. Передача ценности требует доверия как гарантии, а развитие технологий давно не решало проблему доверия. Команда CertiK, базирующаяся в Силиконовой долине и в Нью-Йорке, предлагает инновационное решение — официальную проверку DeepSpec. Под руководством профессоров Йельского университета и Колумбийского университета, при поддержке опытных инженеров-программистов из Google, Facebook, команда CertiK представляет собой сочетание академического и корпоративного опыта проверки. Команда стремится предоставить решения как для проверки смарт-контракта, так и для обеспечения безопасности сети на нижнем уровне. Основной продукт является производным от операционной системы CertiKOS Anti-hacking. Эта система была исследована и изучена двумя основателями, профессором Shao Zhong и профессором Gu, Ronghui. С миллионами долларов финансирования исследований, CertiKOS становится первой в мире антихакерской операционной системой и широко используется в военных целях.

Возвращаясь к QuarkChain, на основе прошлой практики, компания вводит новый революционный дизайн архитектуры блокчейнов, который направлен на удовлетворение потребностей глобальной бизнес-деятельности с помощью технологии, путем создания безопасной, децентрализованной, способного к масштабируемости блокчейна, который позволит обрабатывать более 100 000 транзакции в секунду. Основные характеристики: 1. РеШардируемый двухслойный блокчейн; 2. Гарантированная безопасность совместного майнинга согласно движениям рынка; 3. Анти-централизованная горизонтальная масштабируемость; 4. Эффективные кросс-шард транзакции; 5. Поддержка смарт-контрактов Ethereum. Помимо вышеупомянутых замечательных особенностей, QuarkChain также имеет множество технологических инноваций, в частности, первую технологию блокчейн, которая поддерживает фрагментацию состояния; первую технологию мозаичного блокчейн, который поддерживает полные смарт-контракты Turing; и блокчейн, который поддерживает интегрированные кластеры в качестве общедоступных компьютеров интернета. Реализация этих свойств неотделима от предпосылки безопасности.

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

Доверие и скорость транзакций являются двумя основными узкими местами в блокчейн технологии сегодня. Ядро QuarkChain решает проблемы скорости транзакций (ТПС), применяя фрагментарную технологию и децентрализованную архитектуру. По сравнению с централизованной моделью безопасности децентрализованная архитектура создает еще большие проблемы безопасности. Модульная верификация, введенная командой CertiK, естественным образом адаптируется к исключительным потребностям QuarkChain, что помогает QuarkChain решать проблемы безопасности шардинг-транзакций и строить более надежную экосистему с помощью технологии многоуровневой верификации.

О CertiK

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

Чтобы запросить аудит / проверку смарт-контрактов, пожалуйста, отправьте письмо по адресу audit@certik.org или посетите наш официальный сайт, чтобы связаться с нами уже сегодня!

Телеграмм: https://t.me/certikorg (Официальная группа)

Телеграмм: https://t.me/certikorg_in_russian (Русская группа)

Телеграмм: https://t.me/certikorg_channel (канал анонсов)

Twitter: https://twitter.com/certikorg (Официальный твиттер)

Twitter: https://twitter.com/certikorgru (Русский твиттер)

Электронная почта: info@certik.org

Этот перевод подготовлен специально для Русского сообщества компании CertiK Foundation, — перевод подготовил @MBGBuzzer — Crypto.Red.Team

Certik RU Community

Written by

https://certik.org | https://t.me/certikorg_in_russian Формальная верификационная платформа для смарт-контрактов и Блокчейн-экосистем

Welcome to a place where words matter. On Medium, smart voices and original ideas take center stage - with no ads in sight. Watch
Follow all the topics you care about, and we’ll deliver the best stories for you to your homepage and inbox. Explore
Get unlimited access to the best stories on Medium — and support writers while you’re at it. Just $5/month. Upgrade