Вот несколько интересных статей и обсуждений о ZK-вещах за прошлый месяц.
@zksecurityXYZ Вероятностное следствие в SPLAT
Brandon Kase
Brandon Kase19 нояб. 2025 г.
Вероятностное следствие в SPLAT оказалось очень чистым!! Браво простоте формализма в 1.4 в статье Скриншот показывает правило цепи. Мне нравится, как можно следить за разделом вычислений, даже не имея знаний Lean.
2,02K