seguridad y auditorías

Code4rena realizó una auditoría competitiva que abarcó 15 contratos inteligentes escritos en Cairo, Move, Rust y Solidity; cubriendo el stack de intercambios basado en EVM, Solana, Starknet y Move.

Zellic revisó la implementación de HTLC basada en Move de Garden en Sui, examinando la corrección de las transiciones de estado, la integridad de las transferencias, la unicidad de las órdenes y la autenticidad de los reembolsos anticipados.

Trail of Bits revisó tres contratos inteligentes; GardenStaker, HTLC y FEEAccount, cubriendo la ejecución de intercambios, la distribución de comisiones y los mecanismos de staking y delegación que sustentan la capa de solvers de Garden.

OtterSec revisó los contratos EVM y la implementación del script de Bitcoin del swapper HTLC de Garden, examinando la lógica de intercambio atómico a lo largo de todo el ciclo de vida: inicio de la orden, bloqueo de fondos, canje basado en secreto y expiración por tiempo.