Нова публікація на ! WHIR для Ethereum Автор: - Томас Коратгер (англ. - Джакомо Фенці 🔗 Підкреслює: - WHIR значно зменшує розміри доказів, роблячи їх зазвичай меншими за 100 кілобайт, що має вирішальне значення для ефективності Ethereum. - Це забезпечує надзвичайно швидкий час перевірки, часто в межах мікросекунд, що важливо для ончейн-програм. - Протокол підтримує як одновимірне, так і мультилінійне кодування, що робить його універсальним для різних систем доказу. - Рекурсивний механізм згортання WHIR та інтеграція sumcheck призводять до зниження складності запиту, зменшуючи кількість точок даних, необхідних для верифікації. - Він особливо добре підходить для таких програм, як зведення та агрегація підписів, вирішуючи майбутні потреби в масштабованості та безпеці в Ethereum. ELI5: WHIR – це новий метод перевірки математичних доказів в Ethereum, який робить їх меншими, швидшими та простішими для перевірки. Він використовує розумні методи, щоб гарантувати, що докази є правильними, не потребуючи великої обчислювальної потужності, що важливо в міру зростання Ethereum.

Нова публікація на ! zkVM для генетичного програмування на Ethereum Автор: - Йохба 🔗 Підкреслює: - Протоколи DeFi в даний час мають проблеми з оптимізацією параметрів через високу вартість і проблеми з довірою. - Запропоноване рішення використовує генетичне програмування для еволюції алгоритмів поза ланцюгом, які потім можуть бути виконані у віртуальній машині з нульовим розголошенням (zkVM) у ланцюжку. - Для цього розроблена мова PUSH3, що дозволяє виконувати прості арифметичні операції, ефективні для виконання zkVM. - Реалізація може генерувати STARK докази виконання алгоритму, забезпечуючи недовіру та правильність, не покладаючись на зовнішніх валідаторів. - У разі успіху цей підхід може дозволити протоколам DeFi автономно розвивати свої стратегії оптимізації, підвищуючи ефективність і зменшуючи залежність від людського судження. ELI5: Це дослідження представляє новий спосіб оптимізації протоколів децентралізованих фінансів (DeFi) на Ethereum за допомогою генетичного програмування та доказів із нульовим розголошенням. Замість того, щоб покладатися на дорогих консультантів або статичні параметри, протоколи можуть розвивати власні алгоритми оптимізації поза ланцюгом і перевіряти їх правильність в ланцюжку, не довіряючи комусь.

Нова публікація на ! Оцінка розрахунків Ethereum (ESS): пожвавлення дорожньої карти, орієнтованої на rollup Автор: - Гіцуша 🔗 Підкреслює: - Більшість рішень рівня 2 неефективно використовують безпеку Ethereum, часто покладаючись на сторонні мости. - Оцінка розрахунків Ethereum (ESS) – це новий показник, який вимірює, наскільки L2 насправді використовує функції безпеки Ethereum. - Поточні показники створюють оманливе враження про зрілість L2, зосереджуючись на теоретичній безпеці, а не на фактичному використанні. - Нативні зведення мають важливе значення для досягнення справжньої безпеки Ethereum, не покладаючись на посередників. - Технологія Zero Knowledge покращить користувацький досвід, дозволяючи миттєво виводити кошти, роблячи безпеку Ethereum більш доступною. ELI5: У цій статті йдеться про те, як рішення рівня 2 (L2) Ethereum не використовують безпеку Ethereum належним чином. Він представляє новий спосіб вимірювання того, наскільки добре ці L2 працюють з точки зору безпеки та ефективності, який називається оцінкою розрахунків Ethereum (ESS). Мета полягає в тому, щоб переконатися, що L2 дійсно отримують вигоду від сильних сторін Ethereum, таких як безпека та стійкість до цензури.

Нова публікація на ! Про дизайн ринку Ethereum Prover Автор: - @mikeneuder - Мар'ям 🔗 Підкреслює: - Стратегія масштабування Ethereum покладається на докази ZK для перевірки транзакцій, що може змінити спосіб обробки блоків. - Ініціаторам (тим, хто створює блоки) може знадобитися купувати докази у третіх сторін, якщо вони не можуть генерувати їх самостійно. - Пропонуються два основні механізми отримання доказів: лотереї з доказами та розподіл стейкінгу, кожен з яких має різні компроміси. - Вибір між використанням лотереї або розподілом ставок залежить від бюджету, доступного для стейкінгу; Якщо він низький, краще провести лотерею, тоді як високий бюджет сприяє розподілу ставок. - Практичні міркування для ринків включають необхідність децентралізації, вартість генерації доказів та те, як справедливо компенсувати докази. ELI5: У цьому дослідженні обговорюється, як Ethereum може покращити обробку транзакцій, використовуючи систему доказів під назвою ZK proofs. У ньому досліджується, як люди, які створюють ці докази (так звані докази), можуть отримати справедливу компенсацію через лотереї або вимагаючи від них ставити гроші як заставу. Мета полягає в тому, щоб знайти найкращий спосіб гарантувати, що докази мотивовані ефективно надавати свої докази.

Нова публікація на ! Інтеграція 3SF з ePBS, FOCIL і PeerDAS Автор: - Лука Дзаноліні - Роберто Салтіні 🔗 Підкреслює: - Інтеграція 3SF з ePBS, FOCIL і PeerDAS спрямована на підвищення ефективності та безпеки блокчейну шляхом вирішення проблеми включення транзакцій і розділення пропозицій і розробників. - Запропонована система працює в слотах, дозволяючи всім валідаторам голосувати за блоки кожного слота, що спрощує процес і знімає необхідність в епохах або комітетах. - FOCIL гарантує, що важливі транзакції включаються в блоки, вимагаючи від ініціаторів слідувати спискам включення, створеним комітетом валідаторів, запобігаючи цензурі. - ePBS формалізує розподіл ролей між розробниками блоків та ініціаторами, що дозволяє забезпечити більш конкурентний та прозорий процес будівництва блоків. - Дослідження підкреслює важливість підтримки основних властивостей 3SF, таких як стійкість реорганізації та включення транзакцій, навіть при інтеграції нових механізмів. ELI5: Це дослідження досліджує, як поєднати новий протокол під назвою 3SF з іншими пропозиціями щодо покращення продуктивності та безпеки блокчейну. У ньому розглядається, як ці системи можуть працювати разом, не викликаючи проблем, забезпечуючи справедливе та ефективне включення транзакцій.

🤖Щотижневий огляд📈 LMD GHOST з ~256 валідаторами та гаджетом для швидкого слідування за фіналом Автор: @VitalikButerin 🔗 🔥 6 коментарів цього тижня Ринкова пропозиція Ethereum Prover Автор: @_julianma 🔗 1 коментарів цього тижня Блокові списки доступу (BAL) Автор: @nero_eth 🔗 2 коментарі цього тижня Правило підтвердження для Ethereum PoS Автор: adiasg 🔗 1 коментарів цього тижня Чи є у Ethereum проблема з перевіркою zk? Автор: 71104 🔗 3 коментарі цього тижня

Нова публікація на ! HD гаманець для гратчастої криптографії Автор: - Ілюзен 🔗 Підкреслює: - Запропонований гаманець HD використовує гратчасту криптографію для підвищення безпеки від квантових атак, зосереджуючись на схемі підпису Dilithium. - Дослідження виявляє дві основні проблеми в адаптації гратчастої криптографії для HD-гаманців: генерація відповідних приватних ключів і відсутність операцій з незагартованими ключами. - Рішення передбачає використання виводу HMAC як джерела для генерації ключів, забезпечуючи сумісність з існуючими стандартами гаманця, такими як BIP32 і BIP44. - Реалізація гаманця доступна як відкритий вихідний код, що дозволяє проводити тестування спільнотою та перевірку за встановленими векторами тестування. - У дослідженні наголошується на важливості захисту цифрових підписів від квантових загроз при збереженні поточних хеш-функцій. ELI5: Це дослідження представляє новий тип цифрового гаманця, який використовує особливий вид математики під назвою гратчастої криптографії. Це дозволяє користувачам створювати багато захищених ключів з однієї резервної фрази, що полегшує керування своїми цифровими активами, особливо в майбутньому, коли квантові комп'ютери можуть зламати традиційні методи безпеки.

🤖 Новий EIP: 0000 Автор: - Андерс Елоуссон (@anderselowsson) - Віталік Бутерін (@vbuterin) 🔗 EIP-0000 пропонує уніфікований багатовимірний ринок комісій для транзакцій Ethereum, що дозволяє користувачам вказувати єдиний агрегатний «max_fee» для кількох ресурсів. Це спрямоване на підвищення ефективності капіталу шляхом розгляду «max_fee» як взаємозамінного для різних типів ресурсів, тим самим спрощуючи взаємодію з користувачем та підвищуючи економічну ефективність. Пропозиція також спрямована на уніфікацію існуючих механізмів зборів і полегшення майбутньої експансії за рахунок додаткових ресурсів.

Нова публікація на ! Безпечна взаємодія агента з протоколом: специфікація для канонічних реалізацій EVM MCP Автор: - Емпея-кар'єракримінальна 🔗 Підкреслює: - Поточні методи інтеграції агентів штучного інтелекту з блокчейном є небезпечними, що загрожує втратою коштів і даних. - Модельний контекстний протокол (MCP) пропонується як стандарт для забезпечення безпечної взаємодії між агентами та Ethereum. - Пропонується трикомпонентна архітектура для розділення проблем: протокольного MCP-сервера, сервера MCP підписувача та самого агента, що забезпечує безпеку та можливість аудиту. - Реєстр кодів у ланцюжку пропонується для агентів, щоб перевірити законність своїх взаємодій з протоколом перед виконанням будь-яких транзакцій. - У дослідженні наголошується на потенціалі безпечної взаємодії агентів, що виходить за рамки фінансів, впливаючи на такі сфери, як управління ідентифікацією, управління та створення контенту. ELI5: У цьому дослідженні обговорюється, як переконатися, що розумні комп'ютерні програми (агенти) можуть безпечно взаємодіяти з Ethereum, типом блокчейну. Це підкреслює потребу в безпечному способі управління цими взаємодіями, щоб агенти могли працювати, не ризикуючи грошима або даними людей.

🤖 Новий EIP: 0000 Автор: - Альберто Ла Рокка (@71104) -Ар'яетн (@aryaethn) 🔗 Цей EIP пропонує перетворити «randao_reveal» Ethereum на перевірену випадкову функцію (VRF) для кожного слота, включивши мікс RANDAO попередньої епохи та поточний номер слота в підписані дані. Ця зміна спрямована на підвищення непередбачуваності джерела випадковості, підтримку таємних виборів ініціаторів та усунення певних векторів атак, тим самим покращуючи загальну безпеку та функціональність механізму консенсусу Ethereum.