Registro de herramientas
Snapshot consultado el 2026-07-18; se vuelve a fijar al implementar la primera nota atómica.
| Herramienta | Pin planificado | Rol |
|---|---|---|
| Solidity | 0.8.36 |
Compilador; fijar optimizer y settings exactos |
| Foundry | 1.7.1 |
Forge, Cast y Anvil |
| OpenZeppelin Contracts | 5.6.1 |
Baseline auditada/estable; evitar RC implícitas |
| viem | 2.55.2 |
Clientes TypeScript, simulación, encoding, transacciones y logs |
| Slither / Echidna / Halmos / SMTChecker | revalidar | Análisis estático, fuzzing y verificación asistida |
| Circom + snarkjs / Noir | revalidar por track | Circuitos y verificadores |
Cada proyecto ejecutable guardará lockfiles, config del compilador, supuestos de red, manifest de deployment, comando de verificación y nota de compatibilidad. “Latest” no es una versión reproducible.