labs@atheron:~/services/web3$ deploy contract --audit-ready

Contratos inteligentes

Código web3 escrito para la auditoría.

Tokens, staking, bóvedas, marketplaces y las dApps que ven sus usuarios. Escribimos sus contratos para que un auditor pueda leerlos, y los probamos como si ya hubiera uno mirando.

Empezar proyecto Estimarlo

// lo que desarrollamos

Contratos y sus aplicaciones.

Tokens

Tokens fungibles y no fungibles, con las reglas de emisión escritas en el contrato, no en una promesa.

Staking y bóvedas

Depósitos, recompensas y retiradas. La contabilidad se prueba con todos los órdenes de operaciones que podemos generar.

Marketplaces

Anuncios, pujas y liquidación en la cadena, con comisiones y regalías que cuadran.

Dapps

Interfaces que leen la cadena, piden las firmas con claridad y muestran lo que hará una transacción antes de que su usuario la envíe.

Inicio de sesión con cartera

Sus usuarios inician sesión con una cartera, en varias cadenas. El desafío se genera y se comprueba en el servidor.

Preparación para la auditoría

Especificaciones, invariantes, conjuntos de pruebas y documentación, para que su auditoría dedique su tiempo a lo que importa.

// cómo lo desarrollamos

Primero, los invariantes.

Antes de escribir el contrato, dejamos por escrito lo que siempre debe cumplirse, como que nadie retire más de lo que ingresó.
Las pruebas de propiedades y el fuzzing prueban miles de secuencias de llamadas contra esos invariantes.
Las vías de actualización, las claves de administración y las pausas se deciden abiertamente y se documentan. No se esconde nada.
Si algo no debería estar en la cadena, se lo decimos con claridad.

// tecnologías

Con qué solemos desarrollar.

contracts: Solidity para cadenas EVM; Rust cuando la cadena lo requiere
testing: Foundry, pruebas de propiedades y fuzzing
front end: Next.js, TypeScript, conectores de cartera estándar (EIP-6963)
sign-in: Inicio de sesión con carteras EVM, Bitcoin, Solana, TON, Sui, Aptos y Cosmos

// un primer proyecto típico

Token y staking auditables.

Un token, un contrato de staking y una dApp sencilla para usarlos, con las pruebas y los documentos que pide un auditor. Ábralo en el estimador para ver lo que costaría.

Estimar esto

// prueba

La blockchain ATON

Nuestra propia especificación de block-DAG: una regla de tipo GHOSTDAG, un límite fijo de mil millones de ATON y un lanzamiento justo.

Leer sobre la cadena

// questions

Preguntas sobre contratos.

¿Auditan contratos?

Los preparamos para la auditoría y los probamos a fondo, pero su auditoría debe hacerla alguien que no escribió el código. Le ayudamos a elegir un auditor y corregimos lo que encuentre.

¿Qué cadenas?

Sobre todo Ethereum y las cadenas EVM, y otras cuando su proyecto las necesita. Si una cadena encaja mal con lo que quiere hacer, se lo diremos.

¿Se pueden actualizar los contratos?

Se pueden desarrollar para que se puedan. Es un equilibrio entre poder corregir errores y confiar en quien tenga la clave de actualización. Lo decidimos con usted y lo documentamos.

¿Lanzan tokens a la venta?

Desarrollamos los contratos y las aplicaciones. Si un token se ofrece, y cómo, es una cuestión legal para sus propios asesores, y no damos ese asesoramiento.

// sectores