Beltsys Labs
Beltsys Labs
Tayt

Tayt

Un proyecto de Crytic, respaldado por la empresa de seguridad Trail of Bits, Tayt es una librería de pruebas optimizada …

Starknet

Que es Tayt

Un proyecto de Crytic, respaldado por la empresa de seguridad Trail of Bits, Tayt es una librería de pruebas optimizada para analizar smart contracts de Cairo. Los desarrolladores pueden apuntar a archivos específicos o ejecutar Tayt en proyectos completos para introducir funciones externas que hagan fuzz a smart contracts y verifiquen banderas. Tayt soporta llamadas a funciones invariantes, cobertura y fuzzing de smart contracts que despliegan otros smart contracts.

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