Код симуляции и результаты для приватного, проверяемого, устойчивого к византийским сбоям федеративного протокола обнаружения вторжений с использованием разделения секрета, аудитов Меркла и обязательств Педерсена.