BlockchainBrad conversa com Ronghui Gu sobre a Certik. A Certik está construindo a empresa de cibersegurança em blockchain mais avançada e utilizando tecnologia de Verificação Formal de ponta, incluindo um núcleo CertikOS, para provar matematicamente a integridade e a confiança dos contratos inteligentes. A CertiK combina tecnologia FV de ponta com especialistas em cibersegurança de classe mundial para oferecer serviços de segurança de ponta a ponta.
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
Marcos:
0:31 Introdução Prof Gu
0:40 Vamos lá! Verificação Formal e Certik
3:15 Discussão sobre Depuração de Contratos Inteligentes
4:20 Centrado em Blockchain. Qual é a necessidade fundamental?
5:15 imutabilidade: verificação formal pré-implantação
6:30 Concorrentes da Certik
8:30 O que diferencia a Certik?
9:30 Comunidade Deep Spec e camada de abstração certificada
10:29 CertikOS. Núcleo, Sistema Operacional, Kernel do SO.
13:00 CertikOS - transição para o mainstream
13:39 Certik foi implantada
14:12 Serviços de Empresa e Entidade
15:00 A imperativa da centralização
15:50 Alta demanda por verificação formal
17:50 Modelo de Negócio. Atualmente Centralizado
19:52 Preços. Fiat ou Cripto
21:18 Fiat ou BTC.
22:30 Lançamento de Token
22:50 Primeira Versão dos TestNets
23:47 Tokens, IEOs e Discussão sobre Listagens
25:40 Parceiros Estratégicos e mais sobre Planos de Listagem
26:52 Certik está focada em tecnologia e produtos
30:21 Por que a Certik está construindo uma blockchain.
32:30 Valor da Automação e provas automatizadas
33:40 Transparência, Levantamentos. Quanto você levantou? Público 2 rodadas.
37:26 Binance: IEO e esclarecimento sobre a relação e rumores da Binance
39:48 RoadMap - não finalizado
40:40 Mainnet necessário para Token Nativo?
42:00 Cronograma da Mainnet 2020?
42:44 incentivos de Token pré-MainNet
43:52 Staking + dPoS + PoS
44:44 Conformidade + Regulamentações
46:25 PR + Mídia
47:39 MainNet este ano?
48:14 Propósito do Token. Para que serve este token? É necessário?
50:58 Provas para contratos inteligentes e mais
52:32 Receita
55:20 Gas para recompensas. Modelo de queima de token de gas e escassez
57:55 Casos de Uso. Nível Comercial L5
59:52 Sistema Agnóstico. Não limitado a Contratos Inteligentes
1:00:00 Github abrirá o código na fase intermediária do TestNet
1:02:00 Construção da Comunidade Certik
1:03 Planos Futuros
1:05 Declarações finais
1:06 Declarações Finais do Prof. Gu
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
► Junte-se ao BlockVera no twitter: @BlockVera
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
Co-fundador | Ronghui Gu
Professor Assistente de Ciência da Computação, Universidade de Columbia. Ph.D. em Ciência da Computação pela Universidade de Yale e graduação pela Universidade Tsinghua. Prêmio de Distinção em Dissertação na Universidade de Yale em 2016 e foi nomeado para a Dissertação ACM. Especialista em Verificação Formal de software de sistema e o principal desenvolvedor do CertiKOS.
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
Links:
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
DIVULGAÇÃO DE INVESTIMENTO:
Eu investi na Certik e investi cedo. Isso não é aconselhamento financeiro, mas eu realmente acredito neste projeto. #DYOR sempre.
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
DIVULGAÇÃO DE PAGAMENTO/DONATIVO:
Isso foi 100% gratuito e eu fiz este vídeo sem compensação e sem intenção de receber qualquer coisa da equipe da Certik por fazer este vídeo; nem em fiat, tokens ou qualquer forma de pagamento. Desde vários meses atrás, decidi fazer apenas conteúdo gratuito, a menos que embaixadas legítimas de LONGO PRAZO estivessem envolvidas. Acredito que conteúdo patrocinado não é um problema se divulgado, mas isso NÃO foi patrocinado e não houve absolutamente nenhuma compensação recebida de qualquer forma, maneira ou forma por esta entrevista que recebi. Isso não é aconselhamento financeiro. Por favor, #DYOR
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
ISENÇÃO GERAL:
As informações fornecidas não devem ser consideradas como uma recomendação para comprar ou investir em certos ativos ou moedas e são fornecidas apenas como um recurso educacional e informativo para ajudar os traders a tomarem suas próprias decisões. O desempenho passado não é garantia de sucesso futuro.
É importante notar que nenhum sistema ou metodologia foi desenvolvido que possa garantir lucros ou assegurar liberdade de perdas. Nenhuma representação ou implicação está sendo feita de que o uso do material anexado garantirá lucros ou assegurará liberdade de perdas.
BlockchainBrad não será responsável perante o participante por quaisquer danos, reivindicações, despesas ou perdas de qualquer tipo (sejam diretas ou indiretas) sofridas pelo participante decorrentes ou em conexão com as informações obtidas neste site ou diretamente do proprietário do site.
#Certik #BlockchainBrad #Crypto #VerificaçãoFormal #BCB #SmartSecurity