Ви вивчаєте ЗК і хочете отримати відповіді на свої запитання? Приєднуйтесь до майбутнього дзвінка та поговоріть безпосередньо з командою, яка створила диво! Посилання далі.

Серія Uniswap V3 триває: Реальні запаси і як їх розрахувати Ціна в AMM змінюється, коли токени входять у пул і залишають його під час обміну. Реальні резерви токена - це просто кількість цього токена, яку трейдер повинен обміняти, щоб ціна досягла наступного тику. Реальний резерв x - це кількість токена x, яку потрібно обміняти, щоб досягти верхнього тику, а реальний резерв y - це кількість токена y, яку потрібно обміняти, щоб досягти нижнього тику. Ви, напевно, навчилися розраховувати реальні резерви, «переводячи» криву Uniswap V2 до тих пір, поки вона не перетне осі x і y, а потім виконавши деяку багатокрокову алгебру. Ми вийшли набагато простіше виведення! І він має приємні картинки та анімацію. Дізнайтеся більше в нашій останній публікації в блозі. Ми із задоволенням спрощуємо.

Ми з гордістю повідомляємо про запуск RareCode .ai Сучасний штучний інтелект чудово справляється з поясненням коду. Однак навчання відбувається завдяки написанню коду. Тож ми об'єднали ці два варіанти. Дізнатися більше 👇

Якщо ви хочете дійсно вивчити ЗК, вам слід реалізувати алгоритми з нуля. Книга ZK Book допомогла десяткам інженерів завершити цей шлях.

@RareSkills_io Книга з нульовими знаннями | М1· С1 Що, якби ви могли довести, що знаєте рішення, навіть не розкриваючи його? Дізнайтеся, як P vs NP робить можливими докази з нульовим розголошенням. 👇 Давайте розгадаємо його 🧵

Ми пишаємося тим, що є частиною цієї подорожі!

Нова публікація в блозі опублікована: Circle FFT — Частина 1: Побудова домену Circle Математика в ЗК зазвичай виконується в скінченному полі, яке є групою при додаванні. Але особлива оптимізація полягає у використанні кола як домену групи. Коло - це пара елементів (x, y), які задовольняють x² + y² = 1 mod p. У цій статті показано, як цей набір точок може бути перетворений на групу, а також має властивості, необхідні для виконання алгоритму FFT (і, відповідно, алгоритму STARK). Автор – @cabrio_yugo, який отримав грант від zkBankai на створення цієї роботи. Посилання у відповіді

Години роботи офісу з Vyper відбуваються трохи більше ніж за 2 години. Приготуйтеся до ще одного глибокого занурення компілятора, де ми дослідимо: - Отрута ІЧ (проміжне представництво) - Стратегії оптимізації - Гарантії безпеки Запросіть у відповідь.

Коли ми випустили ZK Book більше року тому, ми зробили величезний крок вперед в освітньому просторі ZK. У нашій книзі вперше застосовано підхід «достатньо математики» для вивчення ЗК. Сьогодні ми робимо це знову з новим доповненням до ZK Book. "Шаблони проектування циркулю та обмежень" Цей новий розділ присвячений тому, як проектувати, створювати та перевіряти нетривіальні схеми ZK. Ви, напевно, бачили багато уроків про те, як довести, що ви знаєте оцінку многочлена за допомогою Circom. Але як перейти звідти до проектування ZKVM або довести, що ви знаєте prобраз традиційної хеш-функції (наприклад, MD5 або Keccak256)? Нова частина нашої книги ZK перенесе вас у подорож від множення до чисел разом до: - побудова ZKVM з нуля - обмеження кодування для хеш-функції MD5 - вивчити повторювані патерни проектування в дизайні обмежень Остання частина була цікава тим, що деякі з усталених «патернів проектування» навіть не мають назв. Довелося вигадати якусь термінологію! Як завжди, ми надзвичайно ретельно підходимо до того, як знайомити читача з новими ідеями, щоб не пригнічувати когось нового. Ми дбаємо про те, щоб викладати передумови в розумному порядку і з великою кількістю прикладів. У кожному розділі показано, як побудувати схему для все більш складного застосування. У кожному розділі ви повторюєте те, що вивчили раніше, і вивчаєте новий шаблон проектування. Як тільки ви створите колекцію цих шаблонів проектування, ви зможете скомпонувати їх разом для створення більш складних додатків, таких як ZKVM або нетривіальна хеш-функція. Ми докладаємо величезних зусиль для того, щоб матеріал був легким для розуміння та виправленням без будь-яких важливих упущень. Ми хотіли б подякувати @ChainLight_io, @VeridiseInc, @PrivacyScaling та @zksecurityXYZ за те, що виділили час для ознайомлення з цією роботою та надання пропозицій. Ми особливо вдячні @marcobesier з @zksecurityXYZ за роботу над кількома редакціями, щоб дійсно привести розділи в відшліфований стан. Особлива подяка @cal_nix за те, що вони стали співавторами перших семи розділів цієї нової частини книги! Теми, які ми тут розглядаємо, надзвичайно фундаментальні. Якщо ви не розбираєтеся в матеріалах тут, вивчити нутрощі більш сучасного клієнта ZKVM або ZK L2 буде досить складно. До сих пір відсутність орієнтованих на новачків пояснень таких фундаментальних понять стримувала простір ZK. Ця нова робота є не просто «кращим поясненням» існуючих матеріалів, а першим поясненням взагалі – поза академічними роботами. Ми використовуємо Circom як мову навчання, оскільки вважаємо її найбільш зручною для початківців. Однак те, що ви дізнаєтеся тут, узагальнюється на інші фреймворки, такі як Plonky3, Halo2, o1js і Gnark. Нові статті тепер роблять ZK Book довшою на понад 38 000 слів. Вам не обов'язково знати, як працює ZK-SNARK, щоб прочитати цей розділ книги, але є кілька передумов. Вони перелічені в розділі «Вступ до циркулю». Як завжди, матеріал абсолютно безкоштовний, для входу в систему не потрібно.

На початку вашого аудиторського шляху? Ми створили новий навчальний ресурс: Buggy ERC-20s Buggy ERC-20s — це репозиторій з 20 (так, це навмисно) реалізацій контрактів ERC-20, але з багом. Наскільки це було можливо, ми намагалися, щоб ці баги відображали помилки, які насправді допускають розробники. Це навчальна вправа, яку ми використовуємо в нашому Solidity Bootcamp, але, як ви знаєте, ми робимо всі наші навчальні ресурси безкоштовними. Ви загострите свій погляд, щоб вловити пропущені рядки, компіляційний, але неправильно поводиться код і важливі кутові випадки. Це не звичайний CTF, ми не надаємо модульні тести, щоб ви могли перевірити свою відповідь, оскільки це нереально. Вам доведеться вирішувати проблеми так, як це зазвичай робить аудитор! Ми зробили досить велику колекцію задач, тому що хочемо, щоб ви отримали певне повторення у своїй практиці. Практика не є одноразовою. Хоча між токенами є деякі схожі баги, жоден з репозиторіїв не має ідентичних багів. Кожен репозиторій має одну помилку, і вона серйозна, а не гіпотетична. Деякі з помилок очевидні, а деякі непомітні. Вважаєте себе досвідченим? Тоді ви зможете виявити помилку менш ніж за хвилину на кожну кодову базу. Стрибок в аудит великої кодової бази може бути лякаючим, тому ми зробили це сходинкою. Цей репозиторій було створено компанією @degenshaker. Посилання далі.