Почему Torque Capital любит CertiK

0
777
views

Команда ICOdaily подготовила перевод статьи «Почему мы любим CertiK» от Torque Capital Partners

Еще больше новых проектов, переводов интересных статьей и новостей на нашем телеграм канале


Почему мы любим CertiK:

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

Основные моменты: пять ключевых факторов, которые помогли свершиться сделке:

  1. Триллионная база. При нынешних темпах развертывания смарт-контрактов и нацеленности на 20% рынка тестовой инфраструктуры, CertiK в течение нескольких лет займет доминирующее положение на потенциальном рынке в 1,8 триллиона долларов.
  2. Революционная мультиплатформенная технология, которая уже готова к использованию. Команда CertiK уже разработала бета-версию Certik, выпуск Certik 1.0, будет доступен в течение месяца.
  3. Первоклассная команда. Проект разработан первоклассной командой научных сотрудников из Колумбийского и Йельского университета и поддерживается старшими разработчиками программного обеспечения из Google, Facebook и FreeWheel.
  4. Ступенчатое изменение технических возможностей против конкурентов, таких как Quantstamp и Zeppelin. Единственная команда, которая успешно проверила как сложные системы, так параллельные ядра операционной системы. Понятный USP, который быстро опередит конкуренцию.
  5. Агрессивная техническая дорожная карта и новаторские партнерские отношения. Работоспособный альфа-продукт CertiK 1.0 будет запущен в июне 2018 года, также проект приближается к созданию потрясающих партнерских отношений (к концу июня 2018 года они нацелились на 30 коммерческих партнеров).

Разберемся в том, почему нам так нравится данный проект и взглянем на проблемы, которые он нацелился решать.

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

1. Триллионная база. При нынешних темпах развертывания смарт-контрактов и нацеленности на 20% рынка тестовой инфраструктуры, CertiK в течение нескольких лет займет доминирующее положение на потенциальном рынке в 800 триллионов долларов.

К концу 2016 года маркеткап блокчейна находился на отметке в 14 миллиардов долларов, но после того, как рынок взорвался, маркеткап увеличился до 300 миллиардов, к концу 2017 года. За двенадцать месяцев рынок вырос в 900% и признаков того, рост снизится, не наблюдается.

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

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

Несмотря на быстрое использование в использовании смарт-контрактов, реализация блокчейнов все еще находится на ранней стадии и подвержена ошибкам. По состоянию на 15 января 2018 года, реализация Ethereum Virtual Machine имела 703 открытых проблемы (и 2186 закрытых проблемы). Кроме того, общественные блокчейны основаны на доверии, работают при помощи открытого программного обеспечения и неизменны после развертывания. Поэтому любые ошибки, допущенные в коде — видимы и открыты для атаки хакеров. Только одна маленькая ошибка в смарт-контракте TheDAO стоила 50 000 000 долларов и хардфорк являлся единственным успешным решением.

К концу 2017 года 630 000 000 долларов были украдены хакерами, использующими недостатки в смарт-контрактах. У CertiK есть технология, позволяющая полностью исключить взломы и, следовательно, повысить безопасность и доверие, позволяя технологии блокчейн процветать и приобретать дальнейшее распространение. Данное обстоятельство также открывает широкие горизонты для CertiK.

Учитывая риски взлома и опасность, которую они представляют для доверия и шансов на успех для любого проекта, существует большой спрос на тестирование устойчивого и его принятие. Если рынок продолжит расти в соответствии с текущей и ожидаемой скоростью, децентрализованные приложения и смарт-контракты, вероятно, достигнут 10 миллионов в ближайшие несколько лет. При минимальной средней издержке в размере 100 000 долларов за один смарт-контракт, триллионный рынок появится через год или два (и имейте ввиду, что большинство других способов для использования блокчейна еще очень далеки, чтобы быть воплощенными жизнь).

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

Учитывая, что среднее децентрализованное приложение стоит 1 000 000 долларов, на создание, тестирование и разработку инфраструктуры приходится 40% от этой суммы, если библиотеки и плагины CertiK (или конкурентов) могут составлять лишь 20% инфраструктуры тестирования, что создает дополнительный рыночный потенциал в 0,8 триллиона долларов (20% от 40% расходов на развитие децентрализованных приложений, при средней стоимости затрат на разработку одного приложения в 1 000 000 долларов, умноженной на 10 000 000 децентрализованных приложений).

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

2. Революционна мультиплатформенная технология, готовая к использованию.

Решение CertiK для блокчейнов основано на том, что эта вышеупомянутая эксклюзивная технология уже успешно применяется. Вайтпепер кратко, но емко объясняет технологию, и я бы посоветовал всем вам это прочитать, очень впечатляет! Мы выделили основные моменты, которые помогут понять, как работает технология CertiK, когда она применяется для обеспечения безопасности блокчейна и смарт-контрактов. Принципы работы:

~ Клиент клиента CertiK представляет смарт-контракт или любой другой системный исходный код для сети CertiK.

~ CertiK преобразует “правильность” кода в аналогичную математическую проблему, разбивает эту проблему на сегменты и передает в сеть CertiK.

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

~ Решения, найденные узлами, суммируются на блокчейне CertiK и могут использоваться в любое время для проверки самого доказательства.

~ CertiK собирает эти решения в сертификат для исходной проблемы, который отправляется обратно клиенту.

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

~ В последнем случае сертификат предоставит примеры того, как могут быть использованы ошибки или недостатки

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

Это технология, созданная одними из самых талантливых производителей в бизнесе и подкреплена серьезным финансированием.

3. Первоклассная команда. Проект разработан первоклассной командой научных сотрудников из Колумбийского университета и Йеля и поддерживается старшими разработчиками программного обеспечения из Google, Facebook и FreeWheel.

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

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

Основанная в Силиконовой долине и Нью-Йорке, команда состоит из официальных экспертов мирового класса по проверке, которые являются профессорами Йельского и Колумбийского университета. Многие из их основных моментов и достижений были рассмотрены в предыдущем разделе, и мы позволим их профилям говорить сами за себя:

Профессор Ronghui Gu (Соучредитель)
Доцент Колумбийского университета
Ronghui Gu является аспирантом-ассистентом профессора компьютерных наук Колумбийского университета. Он получил степень доктора философии в области компьютерных наук Йельского университета в 2016 году, где его диссертация получила премию в Йеле и была номинирована на премию ACM. Он получил свою степень бакалавра в университете Цинхуа в 2011 году. Профессор Ronghui Gu является экспертом в области формальной верификации системного программного обеспечения. Он был главным разработчиком CertiKOS, первого в мире программного обеспечения с параллельным ядром. Его разработка OSDI16 по CertiKOS была номинирован и отобрана для публикации в разделе “Основные моменты исследований” CACM.

Проффесор Zhong Shao (соучредитель)
Кафедра компьютерных наук, Йельский университет
Zhong Shao — профессор кафедры информатики Йельского университета. Он получил степень доктора наук в области компьютерных наук Принстонского университета в 1994 году. Начал свою карьеру с должности разработчика компилятора SML / NJ и главного архитектора сертифицирующей инфраструктуры FLINT этого устройства. В последние годы Шао был ведущей фигурой, работающей в областях исследований по кибербезопасности, языкам программирования, операционным системам и сертифицированным программам. Он, совместно со своей группой FLINT в Йеле, разработали первую в мире устойчивую от хакерских атак операционную систему CertiKOS, написание данной программы открыло важную веху в построении киберфизических систем, которые свободны от программных уязвимостей. Zhong Shao является автором или соавтором 90 статей в ведущих научных журналах и конференциях.

Доктор Vilhelm Sjoberg (научный сотрудник)
Ученый-исследователь, доктор наук Йельского университета, защитил докторскую диссертацию в университет Пенсильвании в 2016 году.

Команда разработчиков поддерживается ведущими разработчиками программного обеспечения из Google, Facebook и FreeWheel. В настоящее время эта группа расширена до 20 инженеров-программистов и ученых-исследователей для обеспечения агрессивной политики по разработке технической дорожной карты, подробно описанную в последнем разделе этой статьи.

4. Ступенчатое изменение технических возможностей против конкурентов, таких как Quantstamp и Zeppelin. Единственная команда, которая успешно проверила как сложные системы, так параллельные ядра операционной системы. Понятный USP, который быстро опередит конкуренцию.

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

Quantstamp: это существующий протокол проверки для интеллектуальных контрактов, написанных на Solidity (родной язык Ethereum). Опирается на традиционные методы проверки моделей, которые требуют интенсивного человеческого усилия для анализа исходного кода и написания спецификаций вручную. Следовательно, это открывает систему для человеческих ошибок и ограничивает масштабируемость данного решения. Также неясно, как их решение будет расширяться для проверки более сложных систем, такие как сам блокчейн. Несмотря на эти ограничения, маркеткап Quantstamp вырос до 475 миллионов долларов (хотя в настоящее время составляет около 90 000 000 долларов).

Zeppelin: Это поставщик услуг по тестированию и проверке, который в настоящее время доминирует на значительной части рынка. Тем не менее, большая часть их текущих услуг проверки выполняется вручную. Команда также разрабатывает широко используемую инфраструктуру с открытым исходным кодом для разработки смарт-контрактов под названием OpenZeppelin. Однако их библиотеки не проверяются и не предлагают механизированные объекты доказательства. Таким образом, с точки зрения риска человеческих ошибок, масштабируемости и охвата, разработки также не соответствуют тому, на что способен CertiK.

Runtime Verification: компания, предоставляющая формальные решения по проверке, которая, в настоящее время, предоставляет услуги по проверке смарт-контрактов. В их разработках есть сходство с CertiK в том, что их команда имеет сильную академическую подготовку, и они также предложили решение для EVM (Ethereum Virtual Machines) под названием KEVM. Тем не менее, их работа по-прежнему находится на стадии исследования с небольшим количеством доказательств того, как их методы могут быть применены в работе крупномасштабными, промышленными системами.

Мы видим, что у конкурентов есть явные недостатки. Есть явные преимущества решений CertiK в области автоматизации, масштабируемости и сложности (например, способность обеспечивать безопасностью не только смарт-контракты, но и сложные системы, такие как блокчейны).

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

5. Агрессивная техническая дорожная карта и новаторские партнерские отношения. Работоспособный альфа-продукт CertiK 1.0 будет запущен в июне 2018 года, также проект приближается к созданию потрясающих партнерских отношений (к концу июня 2018 года они нацелились на 30 коммерческих партнеров).

Как мы уже отметили, CertiK добились существенного прогресса в течение последних нескольких лет и имеют хорошие возможности для перехода к следующему этапу эволюции. Но нам также хорошо известно, что прошлая производительность не обязательно является показателем будущего успеха. Поэтому, прежде чем вступать в какие-либо проекты, мы проводим строгий анализ технической дорожной карты и результатов. Мы знаем, что события с 2015 по 2017 год были успешными для проекта, но что же ожидает в будущем CertiK?

Протокол POC (proof of concept) начал работать в декабре 2017 года, и дела идут очень быстро. Альфа-версия продукта для маркировки и многоуровневой проверки была запущена в феврале 2018 года, сейчас ее тестируют и улучшают при помощи онлайн-сообщества, созданного командой CertiK.

Выпуск бета-продукта запланирован на май 2018 года, и на этом этапе CertiK нацеливается на десять коммерческих партнеров. Цель состоит в том, чтобы до начала первого запуска продукта (CertiK 1.0), в июне 2018 года, было составлено до тридцати коммерческих партнерских отношений, к моменту публичной реализации продукта, во второй половине 2018 года.

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

Заключительные замечания

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

Мы очень уверены в том, что имеем дело с очень надежной системой, которая не была хорошо известна публике в течение последних нескольких лет. Разработчики добились грандиозных успехов и намерены штурмовать рынок безопасности блокчейнов. Продукт CertiK прошел наш тщательный анализ и оценку с высокими баллами, и мы считаем, что нами была обнаружена еще одна жемчужина. Это тот проект, которым мы очень восхищаемся, и с нетерпением ждем возможности поработать с CertiK.

 

 

 


Еще больше новых проектов, переводов интересных статьей и новостей на нашем телеграм канале

ОСТАВЬТЕ ОТВЕТ

Please enter your comment!
Please enter your name here