Smart Contract Reference
Suite Foundry del monorepo (contracts/). Framework: Foundry + Echidna (fuzzing), solc 0.8.24, openzeppelin. Sin direcciones publicadas hasta verificar red, bytecode y propiedad.
Contratos (19+)
| Contrato | Qué hace | Estado |
|---|---|---|
PranaToken |
ERC20 + AccessControl — token de economías | IMPLEMENTED (despliegue PARTIAL) |
PRANA |
lógica de token canónico | IMPLEMENTED |
RadhikaPaymaster |
paymaster de gas (AA) | IMPLEMENTED |
KuberaOmniOrchestrator |
orquestador omni | IMPLEMENTED |
ApexFlashArbV2 / AntArbV1 |
arbitraje flash | IMPLEMENTED (14/15 tests históricos) |
BlackSwanGuardian / ParityGuard |
guardas de riesgo | IMPLEMENTED |
CBDCArbitrageBridge / CBDCeBridge |
puentes CBDC (borrador) | PLANNED/PARTIAL |
CrossChainSyncHook |
sincronización cross-chain | PARTIAL |
| DeliBTC V3/V5/V6, BurnUpgradedV2, RecoveryUpgradedV1, V3_3_3, DelibtcHTLC, FixedPriceDeliBTC | familia DeliBTC (swap/HTLC/recuperación) | IMPLEMENTED |
Tests (8 suites)
ApexFlashArbV2.t.sol · BlackSwanTest.t.sol · EchidnaHarness.sol (fuzzing) · FindSalt.t.sol · KuberaOmniOrchestrator.t.sol · PranaEconomy.t.sol · RadhikaArc.t.sol · TestDeliBtcSwap.t.sol
Roles y administración
- AccessControl (ERC-136 + estilo OZ) en PranaToken: roles administrativos diferenciados; sin multisig/timelock desplegados todavía (PLANNED antes de mainnet).
- IdentityRegistry (ERC-8004) en Arc mainnet: funcional según records verificados; Arc Jobs (ERC-8183): SOLO testnet.
Versiones
- Bases: Arc 5042 y GOAT 2345 (verificadas RPC). Cualquier upgrade pasa por análisis estático → fuzzing → invariantes → revisión → testnet → paquete de transacciones → aprobación explícita del operador → verificación on-chain independiente.