.@alicelingl виклики @FormallyJon: Чи будуть майбутні розробники спиратися на zkVM або писати ZK-схеми вручну? Відкрийте для себе нюанси в подкасті @HouseofZK.

Анонс саміту ZK/AI протягом @token2049 тижня, співорганізаторами якого виступили @HouseofZK & @googlecloud. Цей ексклюзивний одноденний захід дослідить межу доказів із нульовим розголошенням і штучного інтелекту, а також точку зближення між ними: штучний інтелект, який можна перевірити. 🗓️ 29 вересня, 11:00-17:00 📍 Колдуелл Хаус, Сінгапур Подайте заявку на участь, виступ або спонсорство на

Чесно кажучи, ці групові заняття з читання білої книги – одні з найкращих речей, які я коли-небудь робив на конференції.

Керуйте своїм додатком так, як би ви запускали свої web2-додатки Ідіть без 🚀 ланцюга

Що, якби dApps взагалі не потрібно було жити всередині блокчейну? Цю ідею досліджують @BrianSeong99 (@0xPolygon) та @paulgebheim (@SeiNetwork) у цій сесії SBC @WPReadingClub на тему Chainless — фреймворку для створення перевірених програм, які працюють зі швидкістю Web2, закріплюючи їхню довіру до Web3. Замість того, щоб примушувати обчислення до Solidity або zkVM, Chainless дозволяє програмам працювати поза мережею в будь-якому середовищі, одночасно надсилаючи докази в ланцюжку для розрахунку та сумісності. Дискусія розглядає, чому поточний досвід розробників обмежений, як перевірені додатки можуть розблокувати нові категорії, такі як торгові двигуни або приватні додатки за замовчуванням, а також які компроміси виникають при відокремленні виконання від розрахунків. Брайан і Пол також занурюються в практичні проблеми: вартість доказу, відтворюваність і те, які сигнали попиту можуть зрештою стимулювати прийняття. Зведення: Папір: Також доступно на YouTube:

Bitcoin L2s - думки експертів від @michaelterpin, засновника @TransformVC21, @BitAngels та радника @GOATRollup: • Чому L2s: Додайте програмованість і пропускну здатність без зміни Bitcoin L1. Приклади: системи на базі BitVM2, rollups. • Модель безпеки: віддавайте перевагу конструкціям, які влаштовуються на ланцюжку; Уникайте містків опіки. Валідність L2 має бути прив'язана до Bitcoin. • Варіанти використання: міст з мінімізацією довіри, стабільні монети, забезпечені BTC, рейки DeFi, нові платіжні потоки. • Макровплив: Посилює домінування BTC; доповнює тезу про збереження вартості, а не замінює її. • Шлях прийняття: інновації часто спочатку з'являються в інших ланцюжках; якщо він збирається масштабуватися, він переноситься на Bitcoin через L2s. • Перегляд циклу: Bitcoin L2 є ключовим наративом цього циклу, але не єдиним рушієм ціни. Послухайте повну дискусію на тему з Майклом - інсайти про BitVM2, розрахунки в ланцюжку та про місце L2 у дорожній карті Bitcoin:

House of ZK Radio #67: Мін Го, співзасновник і головний науковий співробітник ZKM - тепер доступний на Spotify і YouTube 🔳 У цьому епізоді @alicelingl розмовляє з @DacEconomy - співзасновником і головним науковим співробітником @ProjectZKM - щоб визначити, як нульове знання перейшло від @ethereum до Bitcoin, і як насправді виглядає економіка Bitcoin, захищена перевіреними обчисленнями. Spotify: Ютуб: Що всередині: • Прогресія ZK: конфіденційність транзакцій → загальні схеми → zkVM з доведенням майже в реальному часі • Чому дизайн zkVM ZKM на основі MIPS важливий для продуктивності, стабільності та перевірки • Архітектури Bitcoin L2 на основі BitVM2, такі як @GOATRollup, і чому L2 є безпечним шляхом до програмування • «Універсальне поселення»: перевірені обчислення як основа для децентралізованих додатків • Програмована підзвітність та стимули на противагу застарілим моделям «довіряй стороні» • Developer UX: від zkDSLs до написання нормального коду і перевірки виконання в zkVM • За межами «збереження вартості»: прибутковість, стабільні активи та активність у мережі, прив'язані до Bitcoin без шкоди для безпеки L1 Якщо ви спираєтеся на Bitcoin або ZK, цей епізод надає чітку основу для стека, компромісів і того, що потрібно, щоб перейти від простого утримання BTC до функціонуючої, перевіреної економіки.

Тут ми звітуємо про прогрес провідних будівельників в екосистемі zkVM, документуючи останні значні релізи, технічні прориви та загальні оновлення. За участю: @SuccinctLabs, @ProjectZKM, @NexusLabs, @RiscZero, Jolt (@a16zcrypto), @ziskvm та @ligero_inc 👇

Що, якби @solana могли завершити роботу над блоками менш ніж за півсекунди? Саме таке бачення виклав Роджер Ваттенхофер (керівник відділу досліджень у @anza_xyz/@ETH_en) у цій @WPReadingClub сесії Читання. Спираючись як на дослідження академічного консенсусу, так і на унікальний дизайн Solana, @TheWattenhofer представляє Alpenveil, нову пропозицію протоколу консенсусу, яка поєднує: • Надшвидка фінальність - змодельовані результати показують завершення блоку за ~150 мс, а реальні шляхи наближаються до підтвердження на рівні користувача ~500 мс. • Паралельне голосування - новий механізм, який проводить голосування в один раунд (80%) і два раунди (60%→коміт) одночасно, дозволяючи тому, хто завершиться, швидше завершити блокування. • Офіційні докази безпеки - сувора модель, яка відходить від традиційних 33% візантійських припущень, наводячи аргументи на користь більш реалістичних моделей несправностей (20% візантійських, 40% стійких до аварійних відмов) з урахуванням сучасного ландшафту валідаторів. • Компроміси в дизайні системи - від кодування стирання для розповсюдження даних до того, чому слід уникати слешінгу (принаймні на початковому етапі), і як географічний розподіл часток впливає на затримку. Ця неймовірна сесія є фундаментальним переосмисленням консенсусу щодо високопродуктивних блокчейнів, теорії змішування, практики та реальних обмежень Solana. Зведення: Папір: Також доступно на YouTube:

Тут ми звітуємо про прогрес провідних будівельників в екосистемі Proving Service, документуючи нещодавні значні релізи, технічні прориви та загальні оновлення. За участю: @fermah_xyz, @Ingo_zk, @brevis_zk, @zan_team та @vlayer_xyz ⬇️