Посилання на джерело: https://x.com/Zypher_Network/status/1871383005505396853
Від Goth16 до Plonk, вся індустрія zk працює над проектуванням більш ефективних систем доказів. Проте, як об'єктивно оцінити продуктивність системи zk-доказів завжди було складним питанням, оскільки наразі немає єдиного стандарту тестування. У липні цього року StareWare випустила систему доказів наступного покоління Stwo, завдяки впровадженню показника хеш-доказів на секунду (HPPS), що дозволяє візуально оцінити продуктивність системи. Тести показали, що Stwo на ноутбуці M3 може доказувати 620 000 Poseidon2 хешів за секунду, і вважалася найбільш швидкою системою доказів. Проте цей рекорд швидко було побито. У серпні Expander опублікував свій останній звіт про продуктивність, вказавши, що на машині AMD Ryzen 7950X3D продуктивність Expander досягає 2 160 000 HHPS, що значно перевищує 960 000 HHPS Stwo, фактично ставши найшвидшим доказувачем у світі.
Zypher Network — це платформа, що базується на AI Agents та технології ZKP, яка активно стежить за розвитком індустрії та впроваджує ефективні системи доказів. Ефективніші системи доказів не тільки значно покращують досвід користувачів, але й відкривають безмежні можливості для створення високопродуктивних децентралізованих додатків на блокчейні. Наразі ми співпрацюємо з винахідниками Expander, командою Polyhedra Network, активно досліджуючи створення наступної генерації децентралізованої інфраструктури на блокчейні з використанням Expander, надаючи нашій екосистемі безперервне джерело інноваційної енергії. Як лідер у сфері досліджень та застосування нульового знання, Polyhedra побудувала базову технологію довіри та масштабованості в AI та блокчейн системах через свій EXPchainLayer1. Спираючись на ефективність Expander, вони реалізували перевіряємий AI на блокчейні, що надає нові можливості та рішення для розвитку індустрії.
Що таке Expander
Більшість SNARK використовують однозмінні поліноми, що в основному визначається їх основними схемами полігональних зобов'язань (такими як KZG, FRI), а полігональні зобов'язання зазвичай є основним вузьким місцем продуктивності SNARK. Останніми роками з'явилися нові системи доказів, такі як схема на основі GKR+sumcheck, що значно знизила складність доказувача завдяки розумному використанню багатозмінних поліномів.
GKR протокол був запропонований у 2008 році і далі вдосконалений Libra, він представив першу схему нульового знання з суворим лінійним часом доказувача. На цій основі автори Libra — команда Polyhedra, розробили систему доказів Expander. Ця система поєднує ефективний протокол GKR з схемою полігональних зобов'язань, основаною на багатозмінних поліномах (таких як Orion і Brakedown), що дозволяє обчисленням доказувача залучати лише хешування та операції над полем, що має лінійний зв'язок з розміром полінома. Ця система доказів не потребує обчислень FFT, отже, може використовувати популярніші малі поля, що також означає зменшення витрат доказувача та кращу апаратну сумісність. Expander наразі підтримує наступні поля:
Написання GKR-циркулює відносно складно, тому Expander пропонує компілятор циркулюючих схем ECC, що дозволяє перетворювати схеми, написані за допомогою gnark, у ієрархічні схеми, а потім використовувати доказувач Expander для доказування; весь процес розробки наведено на наступній схемі:
Заглиблення в протокол GKR
Повний процес протоколу наведений нижче, нехай:
Рішення Zypher
Expander демонструє переваги в продуктивності, особливо в сфері AI. Відомо, що Expander може швидко генерувати докази для моделі Llama-3 з 8 мільярдами параметрів за кілька хвилин, що є вражаючим досягненням і відкриває шлях для застосування AI Agent. Zypher Network є платформою, що базується на AI Agents та технології ZKP, яка використовує AI Agents для створення розумних непідконтрольних персонажів, супротивників та потужних Boss-ів, для щоденного тренування персонажів та реалізації автоматизованих PvP боїв тощо.
Завдяки Expander, Zypher, з одного боку, може реалізувати більш складні практичні AI Agents та швидше генерувати докази з меншими обчислювальними ресурсами; з іншого боку, Zypher може більш ефективно перевіряти дії AI agent та гравців, забезпечуючи безпеку та справедливість системи, піднісши децентралізовані ігри на блокчейні на новий рівень, забезпечуючи вищий рівень досвіду користувачів.