Arquetipo
Contratos inteligentes bajo control.
Archetype es un lenguaje específico de dominio (DSL) para desarrollar contratos inteligentes en la cadena de bloques Tezos, con un enfoque específico en la verificación formal del contrato. Archetype es financiado por la Fundación Tezos y desarrollado por edukera.
CypherHunter Plus
Subscribe to distraction-free reading, and unprecedented access to our data.
