Недавно между 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