А как с помощью смарт-контракта проверить честность алгоритмов системы, в чем такая возможность заключается?