Zero-Knowledge-Proofs- это протокол, который позволяет доказать верность утверждения без раскрытия дополнительной информации. Существуют два вида протоколов: ZK-Snark и ZK-Stark. ZK-Stark устраняет одну из основных слабостей ZK-Snark: его зависимость от доверенной настройки. ZK-Stark использует публично проверяемую случайность, что делает его прозрачным. Илья Казаков рассказывает об этом в своем твиттере и видео на YouTube.