비밀 공유, 머클 감사 및 페더슨 커밋먼트를 이용한 비공개, 검증 가능, 비잔틴 강건 연합 침입 탐지 프로토콜을 위한 시뮬레이션 코드 및 결과.