Существует FUD относительно того, как недавние удивительные результаты по промежуткам близости влияют на текущие реализации ZK. STARKs и Ligero используют теоремы о промежутках близости. В @ligero_inc мы *НЕ* полагались на какие-либо непроверенные гипотезы о промежутках близости. Реализация ZK от Google, разработанная @abhvious и @MatteoFrig60839, *НЕ* основывается на каких-либо непроверенных гипотезах. И мы, и команда Google обеспечиваем наилучшую возможную безопасность и *НЕ СЛОМАНЫ* никакими из удивительных недавних результатов. Спасибо за ваше внимание!