It both developed specific standards for quality and for traceability and served as an independent third-party verifier of industry-developed standards. | Она разрабатывает отдельные стандарты качества и прослеживаемости и выступает в качестве независимого проверяющего органа третьей стороны в отношении стандартов, разработанных внутри отрасли. |
Zero-knowledge proofs are not proofs in the mathematical sense of the term because there is some small probability, the soundness error, that a cheating prover will be able to convince the verifier of a false statement. | Доказательства с нулевым разглашением не являются доказательствами в математическом смысле этого термина, потому что есть некоторая небольшая вероятность, что обманом доказывающая сторона сможет убедить Проверяющего в ложном утверждении (ошибка корректности). |