2021-01-29 00:52:12
PCHAIN и CERTIK установили глубокое стратегическое партнерство.
CERTIK стремится к смарт-контрактам и проверке безопасности экосистемы блокчейнов. В соответствии с такими функциями PCHAIN, как Smart Data, кросс-цепочка и вызов смарт-контракта для неродных токенов, CERTIK проводит исследования по проверке безопасности и предоставляет индивидуальные услуги проверки и разработки. Оба будут осуществлять всестороннее сотрудничество в области экологической безопасности DApp, чтобы противостоять потенциальным хакерам и сформировать дополнительную технологию. PCHAIN и CERTIK построят безопасную, надежную и экологичную публичную сеть DApp.
Команда CertiK, базирующаяся в долине Силкон и Нью-Йорке, предлагает инновационное решение - формальную проверку DeepSpec. Команда CertiK, возглавляемая профессорами Йельского и Колумбийского университетов, при поддержке опытных инженеров-программистов из Google и Facebook, представляет собой сочетание академического и корпоративного опыта проверки. Команда стремится предоставить решения как для проверки смарт-контрактов, так и для низкоуровневой цепочки безопасности. Основной продукт является производным от операционной системы для защиты от взлома CertiKOS. Эта система была исследована и изучена двумя основателями, профессором Шао, Чжун, и профессором Гу, Жунхуэем в течение многих лет. Благодаря инвестициям в миллионы долларов на исследования, CertiKOS становится первой в мире операционной системой для защиты от взлома и широко используется в военных целях. В отличие от традиционных подходов к тестированию, CERTIK пытается математически доказать, что экосистема блокчейна и смарт-контракты устойчивы к хакерам и не содержат ошибок. Ключевые особенности CERTIK включают в себя подход декомпозиции на основе слоев, подключаемый механизм проверки, проверяемые машиной объекты проверки, сертифицированные библиотеки DApp и интеллектуальную маркировку.
PCHAIN - первая в мире собственная мультицепочечная система, поддерживающая EVM, с оригинальным алгоритмом PDBFT, унифицированной картой знаний и механизмом интеллектуальных данных Oracle, поддержкой вызовов смарт-контрактов неродных токенов, решения проблем производительности блокчейна, смарт-контракты не являются замкнутыми циклами, полагаются на внешние данные. Это сделает возможным крупномасштабное промышленное применение смарт-контрактов на блокчейне.
2.0K views21:52