Exclusivo | ¿Qué es un informe de auditoría para un contrato inteligente? Y cómo revisarlo

Este artículo fue creado originalmente por "Fairyproof Tech", autorizado por "Jinjin Finance" para publicación exclusiva, indique la fuente para la reimpresión.

En la vida diaria, cuando compramos un producto o utilizamos un servicio, la calidad del producto o servicio suele ser lo primero en lo que prestamos atención. Cuanto más caro es un producto o servicio, cuanto más se relaciona con nuestros intereses, más atención prestamos a su calidad. En el campo de la moneda digital, cuando compramos una moneda digital o usamos un DAPP, especialmente un DAPP que está estrechamente relacionado con nuestros activos (como las aplicaciones DeFi), debemos prestar más atención a su calidad.

Para productos o servicios tangibles, miraremos repetidamente su apariencia, veremos su origen e incluso lo probaremos para ver cómo nos sentimos, para confirmar su calidad. Pero para las monedas digitales invisibles e intangibles y las DAPP, ¿cómo garantizamos su calidad? En la actualidad, el método más confiable es mirar el "informe de inspección de calidad" de la moneda digital o DAPP: el informe de auditoría del contrato.

La mayoría de los productos y servicios con los que a menudo entramos en contacto en la vida diaria son productos o servicios industrializados y estandarizados, por lo que tienen especificaciones y procesos de producción estrictos, y cada paso se realiza en la línea de ensamblaje industrial de máquinas modernas, casi evita las diferencias. de cada producto causado por factores humanos en la producción artesanal tradicional. Sin embargo, la "producción" de moneda digital y DAPP está lejos de las normas y procesos de la producción industrial. Es casi 100% hecho a mano, lo que lleva a la creación de productos o servicios por cada "artesano" que escribe moneda digital o DAPP Existen diferencias individuales, incluso para el mismo tipo de producto o servicio.

Los parlamentarios de Nueva Zelanda hablan sobre Bitcoin: Esto es realmente una emoción increíble: Jinse Finance informó que Bitcoin Magazine tuiteó que cuando los parlamentarios de Nueva Zelanda hablaron sobre Bitcoin, dijeron que esto es una emoción realmente increíble. [2022/2/3 9:28:36]

Esto hace que sea imposible que la inspección de calidad de la moneda digital o DAPP elimine los productos defectuosos antes de que salgan de la fábrica a través de métodos de inspección estandarizados y técnicas de prueba como productos industriales Solo a través de métodos personalizados y Un medio se basa en gran medida en la experiencia y el juicio humano para describir aproximadamente su calidad Por lo tanto, incluso para el mismo tipo de moneda digital o DAPP creado por diferentes "artesanos", su "informe de inspección de calidad" (informe de auditoría del contrato) será diferente. Y debido a que este tipo de detección se basa principalmente en la experiencia y el juicio humano, es difícil detectar todos los problemas de calidad al 100 %.

Además, una vez que los productos o servicios tangibles con los que entramos en contacto en nuestra vida diaria tienen fallas o defectos de calidad después de salir al mercado, también pueden ser retirados, retirados de los estantes y devueltos. Sin embargo, una vez que la moneda digital o DAPP tiene fallas o defectos en la calidad después de estar en línea, no se puede retirar, retirar de los estantes ni devolver, y con frecuencia ha causado daños o pérdidas a los usuarios.

¿por qué? Debido a que este producto o servicio es demasiado especial, se basa en la tecnología blockchain. Todos sabemos que las muchas características de la tecnología blockchain incluyen la irreversibilidad y la inmutabilidad. Por tanto, estas dos características se han convertido en los genes inherentes a este tipo de productos o servicios, de modo que una vez creada una moneda digital o DAPP, no se puede cambiar ni revertir, independientemente de que aporte beneficios a los usuarios o cause pérdidas ya existentes. un hecho consumado.   

Singapore WBF Exchange lanzará AC: según las noticias oficiales, WBF Exchange lanzará oficialmente AC y lanzará AC/USDT en la Zona de Innovación a las 18:00 el 12 de enero, y la recarga se abrirá a las 18:00 el 12 de enero. El retiro estará disponible a las 18:00 el 12 de enero.

Se informa que acBTC es un activo sintético respaldado por una canasta de ERC20 BTC. El ecosistema acBTC es un conjunto de protocolos diseñados para BTC nativo y ERC20 BTC, que integran aplicaciones de intercambio, préstamo y obtención de intereses. AC, como símbolo de gobernanza del ecosistema acBTC, se utiliza para motivar a los participantes en la construcción ecológica y la gobernanza comunitaria. [2021/1/12 15:58:41]

Esto significa que para garantizar la calidad de una moneda digital o DAPP, las partes rigurosas del proyecto harán todo lo posible para probarla y revisarla tanto como sea posible antes de que esté en línea.

Esto a menudo significa dos cosas:

En primer lugar, mencionamos anteriormente que la moneda digital o DAPP se basa principalmente en la creación manual, lo que conduce a su calidad inconsistente y la incapacidad de probar su calidad a través de medios estándar Por lo tanto, es imposible detectar el 100% de las lagunas en esta calidad. proceso de prueba. . Este es el mayor problema y la situación vergonzosa que enfrenta actualmente la industria de auditoría de contratos. Esto también significa que es difícil que el informe de auditoría del contrato garantice el 100% de calidad y garantice que el producto o servicio es impecable. Por lo tanto, la parte del proyecto a menudo coopera con múltiples instituciones de auditoría para auditar conjuntamente un proyecto, seleccionar las fallas tanto como sea posible bajo la condición de tiempo y fondos limitados, y evaluar la calidad de los productos o servicios desde diferentes ángulos tanto como sea posible.

En segundo lugar, el proceso de múltiples pruebas y múltiples revisiones de la parte del proyecto incluye mucha cooperación y comunicación con las agencias de auditoría de contratos. Estos detalles y procesos a menudo se reflejan fielmente en un informe de auditoría de contrato. Estos detalles a menudo también reflejan la actitud y la forma de hacer las cosas del lado del proyecto.

Por lo tanto, un informe de auditoría de un contrato inteligente es un "informe de inspección de calidad" para moneda digital o DAPP. Sin embargo, a diferencia de los productos industriales tradicionales, es difícil garantizar al 100% la calidad de los productos o servicios que audita. Aun así, es un punto clave para que los profesionales ayuden a los usuarios a controlar la calidad de este producto o servicio, y el contenido del informe puede reflejar la actitud y el estilo del lado del proyecto.

Todo inversor en moneda digital y usuario del servicio DAPP debe leer detenidamente el informe de auditoría de este producto o servicio.

Autor:

Tan Yuefei, CEO de Fairyproof Tech

Maestría en Ingeniería Industrial de Virginia Tech, Blacksburg, VA, EE. UU. Solía ​​ser ingeniero de software de AIBT Inc (San José, CA, EE. UU.), una empresa de semiconductores de Silicon Valley en los Estados Unidos, responsable del desarrollo de programas de equipos de semiconductores y responsable del acoplamiento técnico integral y la comunicación con el equipo de la empresa. cliente clave: TSMC. Desde 2011, se dedica a la investigación de la tecnología integrada, de Internet y de cadena de bloques. Es profesor del curso "Introducción a la cadena de bloques" en la Universidad de Shenzhen, investigador visitante en el Centro de Inteligencia y Cadena de Bloques de la Universidad Sun Yat-sen, y profesor director ejecutivo de la Asociación de Investigación de Innovación Financiera de Guangdong. Poseer cuatro patentes relacionadas con blockchain.

Acerca de la tecnología a prueba de hadas:

Fairyproof Tech Technology Co., Ltd. es una empresa que se centra en la seguridad ecológica de blockchain. Fairyproof Tech ha servido a muchos proyectos emergentes y conocidos principalmente a través de la solución integral integrada de "detección de riesgo de código + detección de riesgo lógico". La empresa se estableció en enero de 2021 y el equipo fue creado por un equipo con amplia experiencia en programación de contratos inteligentes y seguridad de red.

Los miembros del equipo participaron en la iniciación y presentación de una serie de borradores estándar en el campo de Ethereum, incluidos ERC-1646, ERC-2569 y ERC-2794, entre los cuales ERC-2569 fue aceptado oficialmente por el equipo de Ethereum.

El equipo participó en el inicio y la construcción de varios proyectos de Ethereum, incluidas plataformas de cadena de bloques, organizaciones de DAO, almacenamiento de datos en cadena, intercambios descentralizados y otros proyectos, y participó en las auditorías de seguridad de varios proyectos. Gracias a la rica experiencia del equipo, se ha construido un sistema completo de seguimiento de vulnerabilidades y prevención de seguridad.

Tags：

UNI