Проекты, использующие доказательства с нулевым разглашением: математику, которая подтверждает правильность вычислений, не раскрывая данные. На ZK строятся сети второго уровня (zkSync, Starknet, Linea), приватные платежи и системы идентификации.