В рамках данной работы решается задача проверки консистентности двухстороннего конфиденциального протокола в виде проверки равенства k-из-n в парадигме многосторонних конфиденциальных вычислений (Secure Multiparty Computation, MPC). Построен протокол на основе двустороннего булева контура, проведен анализ его эффективности в виде мультипликативной сложности и глубины.