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 subasta de diamantes de 101 quilates de Sotheby's acepta pagos en Bitcoin: la casa de subastas de Sotheby's anunció que subastará un diamante de 101,38 quilates el 9 de julio y aceptará pagos en Bitcoin o Ethereum.

El diamante impecable en forma de pera podría alcanzar los 15 millones de dólares en una subasta, según la casa de subastas Sotheby's. Será la primera vez que Sotheby's acepte ofertas de criptomonedas por un diamante raro de este grado, y será el objeto físico más caro jamás vendido públicamente por criptomonedas. [2021/7/7 0:33:25]

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:

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 Download