Veridise: В протоколах с нулевым разглашением в два раза чаще выявляются критические ошибки