La auditoría de contratos inteligentes es el carroñero para el funcionamiento seguro de la industria de la cadena de bloques

Un día dentro del círculo, un año fuera del círculo. Con la implementación de plataformas blockchain y diversas aplicaciones, la cantidad involucrada en contratos inteligentes ha crecido exponencialmente. Durante mucho tiempo, la seguridad de los contratos inteligentes ha sido el centro de atención tanto de inversores como de desarrolladores. Según los informes, solo en 2020, 122 incidentes de piratería de blockchain han resultado en pérdidas de $ 3.8 mil millones.

Un contrato inteligente es un protocolo informático diseñado para difundir, verificar o hacer cumplir contratos de manera informativa, permitiendo transacciones confiables sin terceros que son rastreables e irreversibles. Como combinación de contratos electrónicos, arbitraje descentralizado e interacción entre contratos, los contratos inteligentes generarán una gran cantidad de transacciones de capital. Si hay una laguna importante, la pérdida de activos será inevitable e incluso el proyecto perderá por completo la confianza del usuario. Por lo tanto, DApp requiere pruebas y auditorías más rigurosas.

La cadena pública Flow lanzó un contrato inteligente sin licencia, que ayuda a cualquier desarrollador a implementar contratos inteligentes sin revisión: el 6 de julio, la cadena pública Flow anunció el lanzamiento de un contrato inteligente sin licencia, cuyo objetivo es permitir que cualquiera implemente en la red principal sin un contrato de licencia sin revisión obligatoria. Se informa que el contrato ayuda a los desarrolladores a no verse obligados a pasar por el proceso de revisión para implementar contratos inteligentes y ayuda a los desarrolladores a realizar pruebas en la red de prueba e implementar sus contratos inteligentes en la red principal. [2022/7/6 1:53:58]

La verificación formal se refiere al uso de métodos matemáticos para demostrar que el sistema está libre de errores. En el pasado, era más común en el campo del diseño de hardware. Debido a que el ciclo de diseño del hardware es largo, es difícil cambiarlo una vez que se produce. Si una máquina se usa directamente para hacer varias pruebas, el costo es muy alto. Pero si usa las matemáticas para construir una máquina virtual para la verificación, puede hacer un argumento completo sin demasiado costo. Este proceso se llama modelado de argumentos matemáticos, que es lo que llamamos verificación formal. Recientemente hemos investigado algunas instituciones y proyectos profesionales que aseguran nuestros contratos inteligentes:

OneCash stablecoin HKC ha completado el despliegue de contratos inteligentes en la cadena pública PlatON: según información oficial, OneCash stablecoin HKC ha completado el despliegue de contratos inteligentes en la cadena pública PlatON. Anteriormente, HKC se implementó en TRON y ETH y se lanzó en el intercambio de Okcoin. HKC es una moneda estable compatible con el dólar de Hong Kong emitida por OneCash. Las dos partes continuarán aprovechando al máximo sus respectivas ventajas tecnológicas, promoverán una cooperación ecológica integral, mejorarán las capacidades de protección de la privacidad de los productos y llevarán a cabo la exploración de aplicaciones en Defi, Metaverse y otros campos. [2022/1/19 8:58:42]

NPXS: los contratos inteligentes se restaurarán a más tardar a las 10 a. m. del 20 de junio: según las noticias de NPXS, después de conversaciones con intercambios, autoridades y miembros de la comunidad, los contratos inteligentes de NPXS se restaurarán por completo y el tiempo de ejecución no excederá las 10 a. m. el 20 de junio punto. [2018/6/16]

Proyecto de auditoría de contrato inteligente/Lista de empresas

La forma de evitar errores en el software es probar. De hecho, algunas situaciones de entrada y salida se simulan en el código de prueba para garantizar una lógica fluida. Hoy en día, DeFi se está desarrollando rápidamente. En contraste, la verificación formal es para fortalecer la prueba y usar argumentos matemáticos para garantizar una lógica fluida. En el campo de blockchain, el código es ley, el código controla nuestra identidad digital y controla los fondos en nuestros contratos inteligentes. Pero, ¿cómo es la auditoría de seguridad del contrato inteligente para evitar ser pirateado?

Hoy en día, aunque la cadena de bloques aún se encuentra en sus primeras etapas, su rápido desarrollo ha atraído cada vez más la atención social, y los piratas informáticos son uno de ellos. Para evitar incidentes de piratería, los intercambios, las billeteras, las partes del proyecto, etc. han aumentado la inversión en seguridad de contratos inteligentes. La construcción ecológica circundante en torno a la seguridad de los contratos inteligentes también se ha convertido en un punto caliente para la inversión. Al mismo tiempo, los desarrolladores también han comenzado a explorar la lógica libre de errores de los programas de contratos inteligentes, mejorando el núcleo de la verificación formal desde la fuente, es decir, mejorando la precisión de la lógica matemática, para establecer una base blockchain más eficiente. . En la actualidad, los lenguajes de programación funcional de demostración de modelos matemáticos como OCaml, Haskell y æternity se han aplicado gradualmente al mundo de la cadena de bloques, lo que permite que algunos protocolos de contabilidad distribuida y contratos inteligentes ganen en gran medida escalabilidad, estabilidad y tolerancia a fallas. En nuestra opinión, la argumentación de la lógica matemática es el carroñero que protege el funcionamiento seguro de DeFi o de toda la industria de la cadena de bloques. Con el desarrollo y la mejora graduales de la industria del cifrado de la cadena de bloques en el futuro, la argumentación de la lógica matemática puede convertirse en la clave. (Parte de las vistas en este artículo se tomaron de Zhihu)

Tags：

OKX Exchange App