Я рад видеть, что Джорди Бейлина (Jordy Baylina) просит об общем стандарте — 128-битной безопасности. Тем не менее, я чувствую себя обязанным добавить: это имеет значение только в том случае, если это математически верифицировано, т.е. не требует доверия! Доверенная настройка, на мой взгляд, — это в основном 80-битная безопасность.

Да, конечно, это дорого сломать, и, возможно, никто этого не сделал, но если бы и сделали, вы бы не смогли это узнать. … до того дня, когда вы проснетесь и обнаружите, что каждый актив и каждый доступ каждого пользователя каждого приложения на вашей платформе находятся под контролем врага.

А «универсальная доверенная настройка» или как там это называется — это, по сути, 90-битная безопасность. Конечно, для кого-то это еще дороже, но вы все равно не можете сказать, сломался ли он, пока не проснетесь и не столкнетесь с еще большим сценарием бедствия.

Для меня есть простая светлая грань: может ли талантливый молодой математик с учебником и компьютером самостоятельно проверить доказательство? Все надежные системы проверки настроек, включая популярную Groth16, не проходят этот тест. Математик не может проверить, являются ли доказательства поддельными.