Este artículo fue creado originalmente por "Fairyproof Tech", autorizado por "Jinjin Finance" para publicación exclusiva, indique la fuente para la reimpresión.
Un informe de auditoría es un "informe de inspección de calidad" para un conjunto de contratos inteligentes, y el informe debe informar al usuario quién está siendo auditado.
A diferencia de los bienes tangibles ordinarios, los contratos inteligentes son intangibles, entonces, ¿cómo pueden los usuarios conocerlos?
La gran mayoría de proyectos en el campo de la cadena de bloques, incluidos los conocidos Bitcoin y Ethereum, tienen una característica común: sus códigos fuente son "código abierto". El llamado "código abierto" significa que su código es público y se coloca en un sitio web público al que todos pueden acceder y cualquiera puede ver su contenido.
Lo mismo ocurre con la mayoría de los contratos inteligentes que auditamos. Todos son de código abierto y se colocan en algunos sitios web conocidos para que todos almacenen archivos, como github.
Si el contrato inteligente que auditamos es de código abierto y está ubicado en github, queremos que los usuarios lo conozcan y vean su código fuente, y enumeraremos la URL de github donde se almacena el contrato en el informe de auditoría. Esto es como un producto almacenado en un almacén grande, que se almacena en un almacén en el almacén.Si queremos que los usuarios encuentren este producto, debemos decirle al usuario la dirección del almacén y el número de casa del almacén. La URL de github donde se almacena el contrato es igual a la dirección del almacén + número de casa.
Exclusivo | Descripción general de los datos del contrato de futuros de Bakkt: informes de Jinse Finance, los datos de Bakkt Volume Bot muestran que el 19 de mayo, el volumen de negociación de un solo día del contrato de futuros mensual de Bakkt Bitcoin fue de 21,08 millones de dólares estadounidenses, una disminución interanual del 9% , y el interés abierto fue de 1015 millones, un incremento interanual del 16%. [2020/5/20]
Sin embargo, si el escritor del contrato (generalmente lo llamamos la parte del proyecto) usa un conjunto de contratos en github cuando audita a la agencia de auditoría, pero después de la auditoría, especialmente después de que el proyecto se pone en línea, el usuario modifica su contrato inteligente, ¿Cómo? ¿sabemos que el contrato colocado en github es el contrato que vimos durante la auditoría y no el contrato que se modificó más tarde u otros contratos "engañosos"?
Esto implica una característica del repositorio de github.
Cuando la parte del proyecto almacena el código en github, github generará un número de versión para esta acción de almacenamiento. Esto es como cuando solicitamos una nueva billetera en Bitcoin y Ethereum, esta billetera tendrá una dirección única y este número de versión también es único.
Exclusivo | Descripción general de los datos del contrato de futuros de Bakkt: informes de Jinse Finance, los datos de Bakkt Volume Bot muestran que el 13 de mayo, el volumen de negociación de un solo día del contrato de futuros mensual de Bakkt Bitcoin fue de 18,48 millones de dólares estadounidenses, una disminución interanual del 31% , y el interés abierto fue de 849 millones, un 10% menos que el año anterior. [2020/5/14]
Cuando la parte del proyecto realiza cambios en cualquier archivo: tan pequeños como la modificación de una palabra, tan grandes como la eliminación de archivos, la adición, etc., cuando estos cambios se envían a github, github generará un nuevo número de versión para esta acción.
Por lo tanto, el número de versión en github es una prueba única del archivo almacenado, lo que garantiza que el archivo correspondiente a este número de versión es el archivo que se colocó en el almacén en un momento determinado, no el archivo que se colocó antes o después. .
Por lo tanto, además de enumerar la URL de github del contrato auditado en el informe de auditoría, también enumeramos el número de versión del contrato auditado en github.
Estos dos elementos aseguran que los lectores puedan saber con precisión lo que hemos auditado al leer nuestro informe.
Exclusivo | Descripción general de los datos del contrato de futuros de Bakkt: informes de Jinse Finance, los datos de Bakkt Volume Bot muestran que el 8 de abril, el volumen de negociación de un solo día del contrato de futuros mensual de Bakkt Bitcoin fue de 13,6 millones de dólares estadounidenses, una disminución mensual del 18% , y el interés abierto fue de 637 millones de dólares estadounidenses, un aumento del 4 % mensual. [2020/4/9]
Además de ponerlo en github, algunas partes del proyecto ya implementaron el contrato en la red blockchain durante la auditoría. Dado que un contrato inteligente no se puede alterar ni revocar una vez que se implementa en la red de la cadena de bloques, la dirección de la cadena de bloques implementada por el contrato inteligente también se puede usar como la dirección del certificado del contrato.
Para tal contrato, generalmente también registramos su dirección en la cadena de bloques como única prueba.
Dijimos anteriormente que los contratos inteligentes de la mayoría de los proyectos son de código abierto, lo que significa que todavía hay algunos contratos de proyectos que no eran de código abierto durante la auditoría. En este caso, ¿cómo registramos la evidencia de este contrato?
Usaremos el valor SHA-256 para marcar el depósito del expediente del contrato.
Exclusivo | Transmisión de datos de ingresos mineros de Jinse Finance del 21 de febrero: Jinse Finance informó que, según los datos de Inbit, según el precio de referencia de BTC de 68.100 yuanes y el precio de la electricidad de 0,38 yuanes/kWh, el precio de mercado actual y la tasa de retorno de la minería BTC convencional máquinas a la venta Este ciclo es: Whatsminer M20S-68T (acción nueva 12 600 yuanes, amortización en 273 días), Innosilicon T3+-57T (nuevo spot 9700 yuanes, amortización en 306 días), Avalon 1066-50T (nuevo spot 6300 yuanes, 236 días para pagar), Ant S17Pro-56T (nuevo spot 12,500 yuanes, 336 días para pagar). [2020/2/21]
Algunos lectores, especialmente los jugadores de moneda digital, encontrarán familiar la palabra "SHA-256": ¿No es esta una técnica comúnmente utilizada en los algoritmos de cifrado de moneda digital?
Este es el caso, para ser más precisos, es un valor obtenido a través de una "función hash", este valor también se llama "valor hash", y tiene 256 bits (bit).
La llamada función hash, también conocida como función hash, es un método para crear pequeñas "huellas dactilares" digitales a partir de cualquier tipo de datos. La función hash comprime el mensaje o los datos en un resumen, lo que reduce la cantidad de datos y corrige el formato de los datos. Esta función codifica y mezcla los datos originales y recrea un resultado llamado valor hash (valor hash, código hash, suma hash o hash).
Exclusivo | Zi Cen: Bitcoin se abrirá paso antes del halving: Golden Finance informó que en la transmisión en vivo de hoy de "Golden Finance x OKEx Mining Pool 丨 How to Grasp the Halving of Mining Coins", frente a Alina, la persona a cargo del Okex Mining Pool Cuando se le preguntó "¿Qué etapa cree que ha alcanzado el mercado de reducción a la mitad? ¿Cuánto durará? RenrenBit CMO Zicen dijo que al menos la industria minera ha respondido con anticipación. Por un lado, es optimista sobre el mercado de reducción a la mitad Por otro lado, se espera extraer tantos bitcoins como sea posible antes del halving, la competencia de poder de cómputo es cada vez más feroz. Lo que trae la reducción a la mitad no es solo una reducción en la tasa de inflación, sino también el hecho de que los tenedores comienzan a apreciar sus fichas y dejan de vender. De acuerdo con la experiencia de la última reducción a la mitad, la próxima historia debería estar completamente hacia arriba, una ola de devoluciones de llamada cerca de la reducción a la mitad, y luego continuar atacando, y finalmente romper el máximo anterior, y finalmente habrá un mar de estrellas FOMO no aparece fuera del mercado, no me bajaré del carro, creo que el avance antes del máximo será después del halving. [2020/2/3]
¿Por qué utilizamos este valor para registrar el depósito del expediente del contrato? Porque el contenido del archivo correspondiente a un valor SHA-256 es único. Esto es lo mismo que arriba, donde usamos el número de versión en github para garantizar que los archivos en github sean únicos.
Entonces, ¿cómo usamos este valor para registrar el depósito del archivo del contrato?
Nosotros mismos escribimos un conjunto de tales herramientas y usamos esta herramienta para realizar una operación en el contenido de cada archivo de contrato que auditamos, y el valor obtenido fue un valor SHA-256. Este valor representa la singularidad del contenido del archivo que estamos auditando.
Enumeraremos cada archivo y su correspondiente valor SHA-256, que registra la prueba del archivo.
Cuando un usuario o lector quiera verificar si el archivo de contrato que ve es el contrato que auditamos, use nuestra herramienta para calcular el archivo que ve y compare el valor SHA-256 obtenido con el valor que obtuvimos, si son iguales, se prueba que es verdad, y si no son lo mismo, se prueba que no.
Entonces, para resumir, usaremos uno o más de los tres métodos de URL de github + número de versión, dirección de blockchain o valor SHA-256 para registrar el certificado de depósito del archivo.
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, EUA), una compañía de semiconductores de Silicon Valley en los Estados Unidos, responsable del desarrollo del sistema de control subyacente, la implementación del programa del proceso de fabricación del equipo y la diseño del algoritmo, y fue responsable del acoplamiento técnico general y la comunicación con 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 Escuela de Emprendimiento de la Universidad de Shenzhen, investigador visitante en el Centro de Inteligencia y Cadena de Bloques de la Universidad Sun Yat-sen. y director ejecutivo de la Asociación de Investigación de Innovación Financiera de Guangdong. Posee personalmente 4 patentes relacionadas con blockchain y 3 trabajos publicados.
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 bien 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:
El artículo es una contribución de Biquan Beiming, columnista de Jinse Finance and Economics, y sus comentarios solo representan sus puntos de vista personales.
1. Golden Observation | Los fondos de capital de riesgo descentralizados erosionarán el capital de riesgo tradicional¿Cómo abre Ethereum nuevas áreas de capital de riesgo? Uno de los primeros casos de uso de Ethereum.
Este artículo clasifica el cronograma de los principales eventos de Ethereum en 2021, y el progreso se actualizará continuamente en el foro WeETH Staker.
Este artículo fue creado originalmente por "Fairyproof Tech", autorizado por "Jinjin Finance" para publicación exclusiva.
Hablando de esos "tokens de caballos oscuros" que se han desempeñado de manera sobresaliente recientemente, Theta puede considerarse como uno de ellos. El 2 de marzo de este año.
Nota del editor: aunque Ninetowns ha revertido su pérdida de cuatro años, no lo ha logrado a través de su negocio principal.
Ruta crítica: realice verificadores sin estado a través de testigos de bloque y suprima el crecimiento del estado a través de la vida útil del estado.