Сертик | Жунхуэй Гу | БлокчейнБрэд | Формальная проверка | СертикОС | Службы безопасности блокчейна

BlockchainBrad беседует с Ронгуи Гу о Certik. Certik создает самую передовую компанию по кибербезопасности блокчейна и использует ведущую технологию формальной проверки, включая ядро ​​CertikOS, для математического доказательства целостности и доверия смарт-контрактов. CertiK объединяет ведущие технологии FV с лучшими в своем классе экспертами по кибербезопасности для предоставления комплексных услуг по обеспечению безопасности.
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
Timestamps:
0:31 Интро проф Гу
0:40 Давайте разбираться! Формальная проверка и Certik
3:15 Обсуждение отладки смарт-контракта
4:20 Блокчейн-ориентированный. В чем основная потребность?
5:15 неизменность: формальная проверка перед развертыванием
6:30 Конкуренты на Чертик
8:30 Что отличает Сертика?
9:30 Сообщество Deep Spec и сертифицированный уровень абстракции
10:29 СертикОС. Ядро, операционная система, ядро ​​ОС.
13:00 CertikOS — переход на мейнстрим
13:39 Сертик развернут
14:12 Услуги для компаний и юридических лиц
15:00 Императив централизации
15:50 Высокий спрос на формальную проверку
17:50 Бизнес-модель. В настоящее время централизовано
19:52 Цены. Фиат или криптовалюта
21:18 Фиат или BTC.
22:30 Выпуск жетонов
22:50 Первая версия TestNets
23:47 Обсуждение токенов, IEO и листингов
25:40 Стратегические партнеры и многое другое о планах листинга
26:52 Certik сосредоточен на технологиях и продуктах
30:21 Почему Сертик строит блокчейн.
32:30 Ценность автоматизации и автоматических доказательств
33:40 Прозрачность, Поднимает. Что ты поднял? Общественные 2 раунда.
37:26 Binance: IEO и разъяснение отношений Binance и слухов
39:48 Дорожная карта - не доработана
40:40 Требуется основная сеть для собственного токена?
42:00 Расписание основной сети на 2020 год?
42:44 поощрения токенов до MainNet
43:52 Стейкинг + dPoS + PoS
44:44 Комплаенс + Регламент
46:25 ПР + Медиа
47:39 Мейннет в этом году?
48:14 Символическая цель. Для чего нужен этот токен? Это необходимо?
50:58 Доказательства смарт-контрактов и не только
52:32 Доход
55:20 Газ за вознаграждение. Модель сжигания газовых токенов и дефицит
57:55 Варианты использования. Коммерческий уровень L5
59:52 Независимость от системы. Не ограничивается смарт-контрактами
1:00:00 Github откроет исходный код в середине фазы TestNet
1:02:00 Общественное здание Чертик
1:03 Планы на будущее
1:05 Заключительные заявления
1:06 Заключительные заявления профессора Гу
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
►Присоединяйтесь к BCB Tele https://t.me/BlockchainBradCommunity
► Следуйте в Твиттере: https://twitter.com/Brad_Laurie
► Присоединяйтесь к BlockVera в Твиттере: @BlockVera
► Посмотрите BlockVera на YouTube: https://www.youtube.com/watch?v=Af4pD…
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
соучредитель | Жунхуэй Гу
Доцент кафедры компьютерных наук Колумбийского университета. Кандидат наук. получил степень бакалавра компьютерных наук в Йельском университете и степень бакалавра в Университете Цинхуа. Награда за выдающуюся диссертацию в Йельском университете в 2016 году и была номинирована на диссертацию ACM. Эксперт по формальной проверке системного программного обеспечения и основной разработчик CertiKOS.
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
Ссылки:
Веб-сайт: https://certik.org/#services.
Твиттер: https://twitter.com/certikorg
Теле: https://t.me/certikorg
Средний: https://medium.com/certik
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
ИНВЕСТИЦИОННОЕ РАСКРЫТИЕ:
Я инвестировал в Certik. Это не финансовый совет, но я очень верю в этот проект. #DYOR всегда.
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
РАСКРЫТИЕ ПЛАТЕЖИ / ПОЖЕРТВОВАНИЯ:
Это было на 100% бесплатно, и я сделал это видео без компенсации и без намерения получить что-либо от команды Certik за создание этого видео; не в фиате, токенах или любой форме оплаты. Несколько месяцев назад я решил делать только бесплатный контент, если только не были задействованы законные ДОЛГОСРОЧНЫЕ послы. Я считаю, что спонсируемый контент не является проблемой, если его разглашают, но он НЕ спонсировался, и за это интервью, которое я получил, не было получено абсолютно никакой компенсации в какой-либо форме или форме. Это не финансовый совет. Пожалуйста #DYOR
● ▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬ ●
ОБЩИЙ ОТКАЗ ОТ ОТВЕТСТВЕННОСТИ:
Предоставленная информация не должна рассматриваться как рекомендация покупать или инвестировать в определенные активы или валюты и предоставляется исключительно как образовательный и информационный ресурс, помогающий трейдерам принимать собственные решения. Прошлые показатели не являются гарантией будущего успеха.

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

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

#Certik #BlockchainBrad #Crypto #FormalVerification #BCB #SmartSecurity

источник