Beltsys Labs
Beltsys Labs
Amarna

Amarna

Desarrollado por Crytic, el brazo blockchain de Trail Of Bits, Amarna es un analizador estático para Cairo.

Starknet

Que es Amarna

Desarrollado por Crytic, el brazo blockchain de Trail Of Bits, Amarna es un analizador estático para Cairo. Usado por aplicaciones como dYdX, Cairo es un lenguaje utilizado para escribir “programas demostrables”. Amarna permite a los desarrolladores buscar patrones de código personalizados así como un conjunto integrado de banderas de vulnerabilidad y soporta la creación de reglas locales y globales para análisis. Notablemente, Amarna puede parsear directamente contratos StarkNet y exportar resultados de análisis a VSCode en formato SARIF.

Las mejores herramientas de Dev Tools

Descubre mas aplicaciones web3 y herramientas para desarrolladores.

Ver todas las dApps →

Necesitas una solucion blockchain a medida?

Desarrollamos dApps, smart contracts y soluciones Web3 para startups y fintech.

Contacte con nosotros