Descripción del proyecto
TraducidoNuestro equipo se está preparando para lanzar un token de utilidad para un producto Web3 en etapa temprana, y estamos buscando un desarrollador experimentado en Solidity que diseñe y fortalezca el contrato inteligente principal mucho antes del lanzamiento de la mainnet. El alcance del trabajo incluye un ciclo completo para un token estándar ERC-20: diseño del contrato, implementación cuidadosa, cobertura con un conjunto integral de pruebas y verificación de seguridad estructurada posterior. No necesitamos una plantilla copiada arrojada en un repositorio. Queremos una implementación reflexiva donde cada función pública y externa tenga un propósito claro, el control de acceso esté establecido explícitamente y el comportamiento en casos extremos esté confirmado por pruebas, no aceptado por fe.
En la parte de desarrollo, escribirás un contrato de token en Solidity, implementarás mecanismos estándar de transferencia, aprobación y asignación, y agregarás funciones administrativas que el producto realmente necesita: emisión gestionada (mint), quema opcional (burn) y capacidad de pausa en situaciones de emergencia. Todas las acciones privilegiadas deben estar protegidas con un control de acceso correcto, y el contrato debe seguir las prácticas actuales para el diseño de almacenamiento, emisión de eventos y manejo de errores. La verificación de seguridad es una parte igualmente importante de la tarea: esperamos una revisión exhaustiva de reentradas, desbordamientos y subdesbordamientos de enteros, debilidades en el control de acceso, así como la inspección de llamadas externas inseguras y lógica que podría permitir que los fondos sean retirados o bloqueados. Los resultados deben compilarse en un informe claro con cada problema clasificado por severidad, descripción del impacto y sugerencias específicas de remediación.
El entregable es un contrato listo para usar que pasa un conjunto de pruebas automatizadas con una cobertura significativa de escenarios normales y adversariales, un informe de auditoría de seguridad escrito y un breve resumen de notas de optimización de gas que indican dónde se redujeron costos y qué compensaciones se hicieron. Al responder, por favor muestra trabajos anteriores relevantes sobre contratos inteligentes.
— Contrato ERC-20 en Solidity con lógica de transferencia, aprobación, emisión, quema y pausa bajo control de acceso explícito
— Conjunto de pruebas automatizadas que cubren el uso normal y casos extremos adversariales
— Informe de auditoría de seguridad: reentradas, desbordamientos, control de acceso, clasificados por severidad con soluciones
— Notas de optimización de gas con cifras antes/después y descripción de compensaciones
En la parte de desarrollo, escribirás un contrato de token en Solidity, implementarás mecanismos estándar de transferencia, aprobación y asignación, y agregarás funciones administrativas que el producto realmente necesita: emisión gestionada (mint), quema opcional (burn) y capacidad de pausa en situaciones de emergencia. Todas las acciones privilegiadas deben estar protegidas con un control de acceso correcto, y el contrato debe seguir las prácticas actuales para el diseño de almacenamiento, emisión de eventos y manejo de errores. La verificación de seguridad es una parte igualmente importante de la tarea: esperamos una revisión exhaustiva de reentradas, desbordamientos y subdesbordamientos de enteros, debilidades en el control de acceso, así como la inspección de llamadas externas inseguras y lógica que podría permitir que los fondos sean retirados o bloqueados. Los resultados deben compilarse en un informe claro con cada problema clasificado por severidad, descripción del impacto y sugerencias específicas de remediación.
El entregable es un contrato listo para usar que pasa un conjunto de pruebas automatizadas con una cobertura significativa de escenarios normales y adversariales, un informe de auditoría de seguridad escrito y un breve resumen de notas de optimización de gas que indican dónde se redujeron costos y qué compensaciones se hicieron. Al responder, por favor muestra trabajos anteriores relevantes sobre contratos inteligentes.
— Contrato ERC-20 en Solidity con lógica de transferencia, aprobación, emisión, quema y pausa bajo control de acceso explícito
— Conjunto de pruebas automatizadas que cubren el uso normal y casos extremos adversariales
— Informe de auditoría de seguridad: reentradas, desbordamientos, control de acceso, clasificados por severidad con soluciones
— Notas de optimización de gas con cifras antes/después y descripción de compensaciones
Programación web Efectivo, Transferencia bancaria
