zk-SNARK надають можливість одній стороні довести іншій стороні, що вони знають секрет, не розкриваючи сам секрет, дозволяючи безпечну приватну взаємодію з невідомими та ненадійними сторонами в блокчейні.
Автор: Dayou IPFS Research Institute
zk-SNARK (короткий неінтерактивний аргумент знання з нульовим знанням) надають одній стороні можливість довести іншій стороні, що вони знають секрет, не розкриваючи сам секрет. zk-SNARK дозволяють безпечно приватно взаємодіяти з невідомими та ненадійними сторонами в блокчейні.
**Мережа Filecoin наразі генерує 6-7 мільйонів доказів zk-SNARK на день, кожна з яких містить понад 100 мільйонів арифметичних обмежень. **Для досягнення цієї мети ми, Protocol Labs, удосконалили та суттєво оптимізували наявний інструмент генерації snark, дозволивши йому масштабуватись відповідно до наших безпрецедентних потреб.
**Filecoin є найбільшою мережею zk-SNARK на сьогодні. **
кілька аспектів:
Довірена установка Filecoin підтримує схеми до 2^27 = ~134 млн обмежень.
Filecoin має обмеження > 100 млн для великих окремих схем.
Щоб відповідати вимогам безпеки Filecoin, деякі докази об’єднують до 10 окремих zk-snarks в один великий доказ.
Filecoin також розширює та розгортає дослідження агрегацій zk-SNARK, щоб дозволити стискати тисячі окремих доказів в одне доказування.
Усе це сприяє здатності Filecoin підтверджувати більше інформації у виробництві.
Сила Тау та зміцнення довіри
Щоб підтримати обмежену суму, необхідну для Filecoin, ми провели нову церемонію Tau Power, яка збільшила кількість підтримки в 64 рази, ніж сума, яку проводив Zcash. Це дозволяє нам генерувати докази понад 100 мільйонів обмежень, обмежених лише розміром параметра розподілу.
Щоб підтримати нашу довірену установку другого етапу (для окремих ланцюгів) для великих ланцюгів, ми реалізували методи значного зменшення використання оперативної пам’яті, забезпечення паралелізму та зменшення накладних витрат на введення/виведення, щоб дозволити сторонам, які використовують практичне обладнання, взяти участь протягом 7 тижнів після церемонія.
Використовуйте перевірку на основі GPU
Генерація zk-snark швидко стає вузьким місцем, тому дорога частина реалізується на GPU за допомогою OpenCL і CUDA. Оскільки основні операції, що підтримують створення доказів, є високорозпаралелізованими, ми використовуємо сучасні обчислення графічного процесора загального призначення, щоб розвантажити їх із ЦП.
**Це забезпечує більшу пропускну здатність, а також економічну ефективність. **Перекладаючи розпаралелювану роботу на відносно дешеві паралельні процесори, ми можемо залишити основну пам’ять і ЦП вільними для роботи високого рівня та інтенсивної пам’яті, яка використовується для створення майнерів даних.
Алгоритми домену низького рівня лежать в основі більшості операцій, що виконуються під час генерації та перевірки zk-snarks. **Бібліотека blst реалізує критичні розділи в збірці та C, щоб отримати останню продуктивність ЦП. **Щоб гарантувати, що ці оптимізації не ставлять під загрозу безпеку, код (навіть мова асемблера!) офіційно перевіряється Галуа.
Посилена пакетна перевірка
Для підвищення швидкості верифікації кількох zk-snark реалізована пакетна верифікація. Це техніка, описана в Додатку B2 специфікації Zcash, але ще не використовується. Це дозволяє зменшити кількість циклів Міллера (найдорожча операція в процесі перевірки), які потрібно виконати, таким чином значно зменшуючи кількість перевірок одночасно.
Хоча пакетна перевірка допомагає, нам потрібна була швидша перевірка, тому ми запровадили SnarkPack. Це дозволяє нам об’єднати багато zk-snarks у об’єднаний доказ. **Ця оптимізація не тільки скорочує час перевірки більш ніж у 10 разів у масштабі, але також зменшує пропускну здатність ланцюга за рахунок зменшення середньої кількості байтів на підтвердження, яке необхідно надіслати в ланцюг. **
Щоб досягти цього, ми створили внутрішнє обґрунтування продукту та працювали з авторами, щоб розширити його для наших потреб, не вимагаючи нового надійного налаштування. Ми досягли цього, адаптувавши техніку для безпечного застосування за допомогою двох існуючих надійних налаштувань потужності Tau. **Це чудовий приклад перешкод, які нам історично доводилося долати, щоб досягти прориву масштабу. **
Dayou IPFS Research Institute продовжить приділяти увагу останнім новинам навколо проекту Filecoin.
Незалежно від того, новачок ви чи досвідчений практик, Dayou IPFS Institute надасть вам інноваційні перспективи та поглиблений аналіз. Ми підтримуємо дух відкритості та толерантності та запрошуємо вас приєднатися до нас, щоб навчатися та розвиватися разом.
Переглянути оригінал
Контент має виключно довідковий характер і не є запрошенням до участі або пропозицією. Інвестиційні, податкові чи юридичні консультації не надаються. Перегляньте Відмову від відповідальності , щоб дізнатися більше про ризики.
Детальне пояснення застосування zk-SNARK в мережі Filecoin
Автор: Dayou IPFS Research Institute
zk-SNARK (короткий неінтерактивний аргумент знання з нульовим знанням) надають одній стороні можливість довести іншій стороні, що вони знають секрет, не розкриваючи сам секрет. zk-SNARK дозволяють безпечно приватно взаємодіяти з невідомими та ненадійними сторонами в блокчейні.
**Мережа Filecoin наразі генерує 6-7 мільйонів доказів zk-SNARK на день, кожна з яких містить понад 100 мільйонів арифметичних обмежень. **Для досягнення цієї мети ми, Protocol Labs, удосконалили та суттєво оптимізували наявний інструмент генерації snark, дозволивши йому масштабуватись відповідно до наших безпрецедентних потреб.
**Filecoin є найбільшою мережею zk-SNARK на сьогодні. **
кілька аспектів:
Усе це сприяє здатності Filecoin підтверджувати більше інформації у виробництві.
Сила Тау та зміцнення довіри
Щоб підтримати обмежену суму, необхідну для Filecoin, ми провели нову церемонію Tau Power, яка збільшила кількість підтримки в 64 рази, ніж сума, яку проводив Zcash. Це дозволяє нам генерувати докази понад 100 мільйонів обмежень, обмежених лише розміром параметра розподілу.
Щоб підтримати нашу довірену установку другого етапу (для окремих ланцюгів) для великих ланцюгів, ми реалізували методи значного зменшення використання оперативної пам’яті, забезпечення паралелізму та зменшення накладних витрат на введення/виведення, щоб дозволити сторонам, які використовують практичне обладнання, взяти участь протягом 7 тижнів після церемонія.
Використовуйте перевірку на основі GPU
Генерація zk-snark швидко стає вузьким місцем, тому дорога частина реалізується на GPU за допомогою OpenCL і CUDA. Оскільки основні операції, що підтримують створення доказів, є високорозпаралелізованими, ми використовуємо сучасні обчислення графічного процесора загального призначення, щоб розвантажити їх із ЦП.
**Це забезпечує більшу пропускну здатність, а також економічну ефективність. **Перекладаючи розпаралелювану роботу на відносно дешеві паралельні процесори, ми можемо залишити основну пам’ять і ЦП вільними для роботи високого рівня та інтенсивної пам’яті, яка використовується для створення майнерів даних.
Алгоритми домену низького рівня лежать в основі більшості операцій, що виконуються під час генерації та перевірки zk-snarks. **Бібліотека blst реалізує критичні розділи в збірці та C, щоб отримати останню продуктивність ЦП. **Щоб гарантувати, що ці оптимізації не ставлять під загрозу безпеку, код (навіть мова асемблера!) офіційно перевіряється Галуа.
Посилена пакетна перевірка
Для підвищення швидкості верифікації кількох zk-snark реалізована пакетна верифікація. Це техніка, описана в Додатку B2 специфікації Zcash, але ще не використовується. Це дозволяє зменшити кількість циклів Міллера (найдорожча операція в процесі перевірки), які потрібно виконати, таким чином значно зменшуючи кількість перевірок одночасно.
Хоча пакетна перевірка допомагає, нам потрібна була швидша перевірка, тому ми запровадили SnarkPack. Це дозволяє нам об’єднати багато zk-snarks у об’єднаний доказ. **Ця оптимізація не тільки скорочує час перевірки більш ніж у 10 разів у масштабі, але також зменшує пропускну здатність ланцюга за рахунок зменшення середньої кількості байтів на підтвердження, яке необхідно надіслати в ланцюг. **
Щоб досягти цього, ми створили внутрішнє обґрунтування продукту та працювали з авторами, щоб розширити його для наших потреб, не вимагаючи нового надійного налаштування. Ми досягли цього, адаптувавши техніку для безпечного застосування за допомогою двох існуючих надійних налаштувань потужності Tau. **Це чудовий приклад перешкод, які нам історично доводилося долати, щоб досягти прориву масштабу. **
Dayou IPFS Research Institute продовжить приділяти увагу останнім новинам навколо проекту Filecoin.
Незалежно від того, новачок ви чи досвідчений практик, Dayou IPFS Institute надасть вам інноваційні перспективи та поглиблений аналіз. Ми підтримуємо дух відкритості та толерантності та запрошуємо вас приєднатися до нас, щоб навчатися та розвиватися разом.