#zkProofs Многие современные математические методы ZKP (основанные на эллиптических кривых) уязвимы для будущих квантовых компьютеров. Будущее ZKP — в алгоритмах на основе STARK (основанных на хешировании) или решеток, которые, как правило, считаются устойчивыми к квантовым вычислениям. Мы уже наблюдаем переход к этим «будущим доказательствам» алгоритмам (например, STARK вместо SNARK), чтобы обеспечить, чтобы системы, созданные сегодня, не вышли из строя в 2030-х годах.