безопасность и аудиты

Code4rena провёл конкурсный аудит 15 смарт-контрактов, написанных на Cairo, Move, Rust и Solidity, охватив стек свопов на базе EVM, Solana, Starknet и Move.

Zellic проверил реализацию HTLC на базе Move от Garden на Sui, изучив корректность переходов состояний, целостность переводов, уникальность ордеров и подлинность досрочных возвратов.

Trail of Bits проверил три смарт-контракта — GardenStaker, HTLC и FEEAccount, — охватив исполнение свопов, распределение комиссий, а также механику стейкинга и делегирования, лежащую в основе слоя солверов в Garden.

OtterSec проверил EVM-контракты и реализацию Bitcoin-скрипта свопера HTLC от Garden, изучив логику атомарных свопов на протяжении всего жизненного цикла: инициация ордера, блокировка средств, выкуп по секрету и истечение по времени.