В центре каждого аудита SentaShield — SentaLabs Engine: проприетарный, созданный специально для смарт-контрактов и лежащий в основе каждого бесплатного анализа SentaScan. Он объединяет статический анализ, поведенческое моделирование, интерпретацию с помощью моделей и структурированную оценку, чтобы выявлять уязвимости, которые действительно важны, а не только те, что легче всего найти.
В отличие от поверхностных сканеров, движок сверяет каждый контракт как с исходным кодом, так и с развернутым байткодом — подтверждая структурную целостность, воспроизводимость и устойчивость к реальным условиям эксплуатации, а не ограничиваясь сопоставлением шаблонов в исходном коде.
SentaLabs также определяет стандарты верификации, по которым выдается каждая сертификация SentaShield, и совершенствует их по мере того, как документируются новые классы уязвимостей и схемы эксплойтов. Один и тот же движок и одни и те же стандарты лежат в основе всех продуктов SentaTrust.