Veritax
Veritax es una capa de arbitraje descentralizado para escrows en Cardano.
Dos partes bloquean ADA en un contrato Aiken y pueden liberarlo de mutuo acuerdo;
si hay conflicto, cualquiera activa una disputa y un árbitro designado decide el reparto on-chain.
Estructura
| Carpeta | Qué hay |
|---|
contracts/ | Validador Aiken (validators/escrow.ak), tests (validators/escrow_test.ak), plutus.json y deployment.json |
frontend/ | Next.js (Pages Router): pantallas /, /dispute, /ruling y API routes que arman las transacciones con Lucid Evolution + Koios |
veritax-spec.md | Spec, checklist de tareas y estado actual (handoff Devin ↔ Claude Code) |
Contrato
Datum: party_a, party_b, arbitrator (direcciones), amount (lovelace), deadline (POSIX ms), state (Locked | Disputed | Resolved).
| Redeemer | Firma | Estado requerido | Efecto |
|---|
MutualRelease { to_a, to_b } | A y B | Locked o Disputed | paga to_a a A y to_b a B |
ActivateDispute | A o B | Locked | el UTxO vuelve al script con state = Disputed |
ArbitratorRuling { to_a, to_b } | árbitro | Disputed | paga to_a a A y to_b a B |
En toda liberación to_a + to_b == amount. Al liberar, el UTxO se consume (estado final Resolved).
Correr localmente
Requisitos: Node ≥ 22, Aiken v1.1.23.
# contrato
cd contracts
aiken check # tests
aiken build # regenera plutus.json
# frontend
cd ../frontend
npm install
npm test # flujo completo en el emulador de Lucid
npm run deploy # recalcula contracts/deployment.json si cambió el contrato
npm run dev # http://localhost:3000
No hace falta ninguna variable de entorno: el frontend usa la API pública de Koios para Preprod.
Usarlo en Preprod
- Instalá/abrí GameChanger Wallet en Preprod y cargá tADA desde el faucet. Se necesitan 3 wallets (A, B y árbitro); A paga el depósito y las otras dos solo las comisiones.
- Crear contrato (
/): conectá la wallet de A, completá la dirección de B, la del árbitro, el monto y el deadline, y firmá. Guardá el hash que aparece: es el ID del contrato.
- Activar disputa (
/dispute): con la wallet de A o de B, pegá el hash y firmá. El estado pasa a DISPUTED.
- Fallo del árbitro (
/ruling): con la wallet del árbitro, pegá el hash, elegí los porcentajes (suman 100%) y firmá. Los fondos se pagan a A y B.
Cómo funciona la firma: el servidor arma la transacción sin firmar, el navegador la abre en GameChanger (Universal Dapp Connector), y al volver la dapp agrega la firma y la envía a Preprod.
