Zora: Q5- La seguridad es el punto más importante de un proyecto de cadena pública. Se entiende que RChain tiene su propio diseño único en términos de seguridad. ¿Puedes hablar de eso?
Atticbee: Es esencialmente la verificación formal. Y ya he cubierto la mayor parte de este tema en la pregunta anterior. Me gustaría agregar un poco más aquí.
La verificación formal no es lo mismo que las pruebas de software.
La verificación formal es para demostrar que su código "satisfará ciertas propiedades en cualquier momento", por ejemplo, el saldo de su cuenta nunca será negativo, el suministro total de tokens no aumentará, etc.
Las pruebas de software son para alimentar una variedad de entradas diferentes a su código para ver si se esperan las salidas.
Para la ingeniería de software tradicional, las pruebas son suficientes y no se requiere una verificación formal.
Pero es muy diferente.
Porque es de misión crítica, lo que significa "tolerancia cero a fallos".
Suponga que tiene un error. En la industria informática tradicional, el problema no es tan grande. Puede matar el proceso, reiniciarlo y depurarlo. Al menos, puede revertir las transacciones incorrectas. Puede hacer cualquier cosa porque es el propietario del servidor.
Pero no tienes este lujo en .
Especialmente bajo concurrencia, cualquiera que haya realizado programación concurrente sabe que es muy probable que su problema pueda tener un error entre 1 millón de ejecuciones. Es muy probable que las pruebas de software no puedan detectar eso.
Sin embargo, si utiliza una herramienta de verificación formal, es probable que encuentre este error. Si no lo encuentra, los piratas informáticos lo encontrarán por usted.
Zora: P6- La red principal de RChain ha estado en línea por un tiempo, ¿qué pasa con los próximos pasos en el plan de desarrollo?
Atticbee: El sitio web oficial de Coop tiene la hoja de ruta más reciente. La combinación de bloques se completará pronto. Se permitirán los siguientes nodos externos. Se espera que esto suceda en la primera mitad del año.
La tarea principal en la segunda mitad del año es completar la fragmentación. Como se mencionó anteriormente, RChain realiza las partes difíciles del trabajo de la hoja de ruta primero y las partes más fáciles después. Una vez realizada la concurrencia con la fusión rápida de bloques, ya se ha completado gran parte del trabajo de fragmentación.
Otra tarea es completar Rholang v1.1. Una vez hecho esto, la legibilidad del código del contrato tendrá mejoras significativas y el rendimiento de TPS también mejorará enormemente. Al mismo tiempo, todavía quedan muchas optimizaciones por hacer, ya que necesitamos aprovechar constantemente el potencial de esta plataforma.
Después de la fragmentación, es la etapa final de decoración: verificación formal basada en el sistema de tipos de comportamiento.
En el medio, se pueden agregar algunas otras tareas interesantes: por ejemplo, acelerar directamente la Capa 1 con prueba de conocimiento cero. No tenemos tiempo para repasar esto hoy.
Zora: P7 – Se entiende que Dfinity también dijo que estudie las computadoras del mundo. Comparado con esto, ¿cuáles son las ventajas de RChain?
Atticbee: No solo DFN, Algorand y Solana, etc. son todos "de un solo subproceso".
