Разработчики из Сингапура представили криптосообществу программу для поиска уязвимостей и багов в умных контрактах на базе Эфириума. Oyente на этапе тестирования выявила баги и уязвимости в тысячах различных смарт-контрактах, включая тот самый контракт, который позволил вывести средства из The DAO. Oyente имеет полностью открытый код. Программа будет представлена криптосообществу в сентябре 2016 года.

Описание принципа работы Oyente на английском языке: https://eprint.iacr.org/2016/633.pdf