Вот третья часть нашей серии о Протоколе Мультивариантной Суммы: компактное руководство по сокращению реальных ограничений протокола до суммирования:
В этом выпуске мы рассматриваем ZeroCheck для исчезающих утверждений, Rational Sumcheck для деления/рациональных отношений, равенство мультисетов и проверки перестановок с помощью логарифмических производных идентичностей, а также аргумент LogUp для поиска - связывая каждое с практическим использованием в настройках Plonk/HyperPlonk/Halo2 и zkVM.
Доказательства в реальном времени + верификация Bitcoin L1 = GOATED
Генеральный директор ZKM @kevinliub недавно изложил стек L2 @GOATRollup: транзакции, доказанные в реальном времени с Ziren, завершенные на Bitcoin через вызов/верификацию BitVM2. Децентрализованные секвенсоры, газ, номинированный в BTC, и споры, арбитрируемые майнерами, обеспечивают привязку сети GOAT к безопасности Bitcoin.
Смотрите полный разговор 👇
"Биткойн больше не просто о HODLing."
Кевин Лю @kevinliub, генеральный директор @GOATRollup Network, объясняет, как технологии второго уровня Биткойна + нулевые доказательства (ZKP) могут открыть реальные доходы для держателей BTC:
Нативная безопасность: Второй уровень наследует предположения о безопасности Биткойна.
Устойчивый доход: От 1,5–2% на заблокированные BTC до 30–50% APY для более рискованных продуктов.
Стимулы для майнеров: Больше транзакций = больше сборов = более здоровая сеть Биткойна.
Итог: Для того чтобы Биткойн процветал в долгосрочной перспективе, ему нужно больше, чем спекуляции с ценами, ему нужна активность, доход и поток.
Вы бы вложили свои BTC в работу на втором уровне?