Acerca del servicio
TraducidoDesarrollo y verifico contratos inteligentes para la blockchain de Tezos en todos los niveles de la pila. Michelson es un lenguaje de pila de bajo nivel que la máquina virtual de Tezos ejecuta realmente, y está diseñado para ser apto para verificación formal. Escribo contratos directamente en Michelson cuando se necesita un control preciso sobre el gas, el almacenamiento y las operaciones de pila, y utilizo lenguajes de nivel superior LIGO y SmartPy cuando un camino más rápido y legible hacia el mismo bytecode importa más. Desde cualquier extremo que empecemos, leo y analizo el Michelson compilado para que sepas exactamente qué entra en la red.
Lo que obtienes: un contrato funcional con un esquema de almacenamiento reflexivo y puntos de entrada; estándares de tokens FA2 y FA1.2 correctamente implementados; pruebas modulares y de propiedades; revisión de costos de gas y almacenamiento; un informe con un desglose de cada punto de entrada, rama de fallo y verificación de permisos. Pruebo en el sandbox y en Ghostnet antes del lanzamiento de mainnet y documento los pasos de origen y actualización para que tu equipo pueda volver a implementar sin mí.
También audito contratos listos: construyo un mapa de almacenamiento, rastreo cada punto de entrada, busco reentradas, desbordamientos de enteros, control de acceso roto y llamadas externas inseguras, y proporciono una lista priorizada de hallazgos con soluciones. Envíame una especificación o código actual — responderé con el alcance del trabajo, un precio fijo y un cronograma.
Lo que obtienes: un contrato funcional con un esquema de almacenamiento reflexivo y puntos de entrada; estándares de tokens FA2 y FA1.2 correctamente implementados; pruebas modulares y de propiedades; revisión de costos de gas y almacenamiento; un informe con un desglose de cada punto de entrada, rama de fallo y verificación de permisos. Pruebo en el sandbox y en Ghostnet antes del lanzamiento de mainnet y documento los pasos de origen y actualización para que tu equipo pueda volver a implementar sin mí.
También audito contratos listos: construyo un mapa de almacenamiento, rastreo cada punto de entrada, busco reentradas, desbordamientos de enteros, control de acceso roto y llamadas externas inseguras, y proporciono una lista priorizada de hallazgos con soluciones. Envíame una especificación o código actual — responderé con el alcance del trabajo, un precio fijo y un cronograma.
