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