BlockchainBrad habla con Ronghui Gu sobre Certik. Certik está construyendo la empresa de ciberseguridad en blockchain más avanzada y utilizando tecnología de Verificación Formal de vanguardia, incluyendo un núcleo de CertikOS, para probar matemáticamente la integridad y confianza de los contratos inteligentes. CertiK combina tecnología FV líder con expertos en ciberseguridad de primer nivel para ofrecer servicios de seguridad de extremo a extremo.
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
Tiempos:
0:31 Introducción Prof Gu
0:40 ¡Vamos a ello! Verificación Formal y Certik
3:15 Discusión sobre la depuración de contratos inteligentes
4:20 Centrado en Blockchain. ¿Cuál es la necesidad fundamental?
5:15 inmutabilidad: verificación formal previa al despliegue
6:30 Competidores de Certik
8:30 ¿Qué distingue a Certik?
9:30 Comunidad Deep Spec y capa de abstracción certificada
10:29 CertikOS. Núcleo, Sistema Operativo, Núcleo del SO.
13:00 CertikOS - pasar a la corriente principal
13:39 Certik ha sido desplegado
14:12 Servicios de Empresa y Entidad
15:00 El imperativo de la centralización
15:50 Alta demanda de verificación formal
17:50 Modelo de Negocio. Actualmente Centralizado
19:52 Precios. Fiat o Cripto
21:18 Fiat o BTC.
22:30 Lanzamiento de Token
22:50 Primera Versión de TestNets
23:47 Tokens, IEOs y discusión sobre listados
25:40 Socios Estratégicos y más sobre planes de listado
26:52 Certik se enfoca en tecnología y productos
30:21 Por qué Certik está construyendo una blockchain.
32:30 Valor de la Automatización y pruebas automatizadas
33:40 Transparencia, Rondas. ¿Cuánto recaudaste? Rondas públicas 2.
37:26 Binance: IEO y aclaración de la relación y rumores sobre Binance
39:48 Hoja de Ruta - no finalizada
40:40 ¿Se requiere Mainnet para el Token Nativo?
42:00 ¿Programa de Mainnet 2020?
42:44 incentivos de Token pre-MainNet
43:52 Staking + dPoS + PoS
44:44 Cumplimiento + Regulaciones
46:25 PR + Medios
47:39 ¿MainNet este año?
48:14 Propósito del Token. ¿Para qué es este token? ¿Es necesario?
50:58 Pruebas para contratos inteligentes y más
52:32 Ingresos
55:20 Gas para recompensas. Modelo de quema de token de gas y escasez
57:55 Casos de Uso. Nivel Comercial L5
59:52 Agnóstico del Sistema. No limitado a Contratos Inteligentes
1:00:00 Github abrirá código fuente a mitad de la fase de TestNet
1:02:00 Construcción de Comunidad Certik
1:03 Planes Futuros
1:05 Declaraciones finales
1:06 Declaraciones finales del Prof. Gu
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
► Únete a BlockVera en twitter: @BlockVera
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
Co-fundador | Ronghui Gu
Profesor Asistente de Ciencias de la Computación, Universidad de Columbia. Ph.D. en Ciencias de la Computación de la Universidad de Yale y licenciatura de la Universidad de Tsinghua. Premio a la Distinción de Tesis en la Universidad de Yale en 2016 y fue nominado para la Tesis ACM. Experto en Verificación Formal de software de sistema y el principal desarrollador de CertiKOS.
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
Enlaces:
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
DIVULGACIÓN DE INVERSIÓN:
He invertido en Certik y lo hice desde el principio. Esto no es un consejo financiero, pero realmente creo en este proyecto. #DYOR siempre.
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
DIVULGACIÓN DE PAGO/DONACIÓN:
Esto fue 100% gratuito y hice este video sin compensación y sin intención de recibir nada del equipo de Certik por hacer este video; ni en fiat, tokens o cualquier forma de pago. Desde hace varios meses, decidí hacer solo contenido gratuito a menos que estuvieran involucradas embajadas legítimas a largo plazo. Creo que el contenido patrocinado no es un problema si se divulga, pero esto NO fue patrocinado y no recibí absolutamente ninguna compensación de ninguna manera, forma o figura por esta entrevista. Esto no es un consejo financiero. Por favor #DYOR
●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●
DESCARGO DE RESPONSABILIDAD GENERAL:
La información proporcionada no debe considerarse como una recomendación para comprar o invertir en ciertos activos o monedas y se proporciona únicamente como un recurso educativo e informativo para ayudar a los comerciantes a tomar sus propias decisiones. El rendimiento pasado no garantiza el éxito futuro.
Es importante señalar que no se ha desarrollado ningún sistema o metodología que pueda garantizar ganancias o asegurar libertad de pérdidas. No se hace ninguna representación o implicación de que el uso del material adjunto garantizará ganancias o asegurará libertad de pérdidas.
BlockchainBrad no será responsable ante el participante por ningún daño, reclamos, gastos o pérdidas de ningún tipo (ya sean directos o indirectos) sufridos por el participante que surjan de o en conexión con la información obtenida de este sitio web o directamente del propietario del sitio web.
#Certik #BlockchainBrad #Cripto #VerificaciónFormal #BCB #SeguridadInteligente