Zk-proof

Zk-proof - механизм zero-knowledge proof, обеспечивающий проверку утверждения без раскрытия соответствующих секретных входных данных. В таких схемах доказательство может быть сформировано так, чтобы проверяющая сторона удостоверилась в корректности, не получая лишней информации. Конкретные реализации различаются по математике и требованиям к вычислениям, но общая цель сохраняется - приватность при проверяемости.