За останні два роки технологія zkVM (віртуальна машина з нульовими знаннями) зробила значний прогрес, від початкового "можливість доведення" до сучасного "реального доведення", що є важливим стрибком у цій сфері.
Компанія Succinct, яка випустила систему SP1 Hypercube у травні цього року, викликала широкий інтерес у галузі. Ця система використовує інноваційну архітектуру багатолінійних багаторазових поліномів для повторного проектування системи доказів, що забезпечує порядкове поліпшення затримки та витрат в порівнянні з її попередником SP1 Turbo. Згідно з офіційними даними, до 93% блоків Ethereum можуть бути підтверджені протягом 12 секунд, а загальне покращення продуктивності досягає вражаючих 5 разів.
Цей прорив не можна досягти лише за рахунок оптимізації коду, а вимагає повної реконструкції всієї системи. Інженери переробили систему обмежень і конвеєр, розглядаючи кожен згенерований блок у кожному часовому проміжку як об'єкт, що може бути оброблений у режимі реального часу, що суттєво підвищило ефективність системи.
Основна оптимізація системи SP1 полягає в максимальному стисненні процесу "виконання → відстеження → обмеження → доведення". Відповідні навчальні матеріали Стенфордського університету детально аналізують процес доведення SP1, починаючи з виконання інструкцій RISC-V, через збір відстеження, до обмежень AIR/многочленів і, нарешті, до генерації доказів, детально пояснюючи важливість кожного етапу та його перевірюваність.
Варто зазначити, що оптимізація сучасних zkVM вже вийшла за межі традиційних оптимізацій компіляторів. Останні дослідження показують, що хоча стандартна оптимізація LLVM все ще має значний ефект на zkVM типу RISC-V (такі як RISC Zero та SP1) (збільшення продуктивності більше ніж на 40%), цей приріст значно нижчий, ніж ефект оптимізації на традиційних ЦП. Головна причина цього явища полягає в тому, що вузькі місця продуктивності zkVM переважно обумовлені їх унікальною системою обмежень, а не апаратними характеристиками, такими як управління кешем або прогнозування гілок у традиційних ЦП.
З розвитком технології zkVM ми можемо очікувати побачити більше проривних досягнень у майбутньому, що відкриє нові можливості для застосування та поширення технології блокчейн.
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
13 лайків
Нагородити
13
6
Репост
Поділіться
Прокоментувати
0/400
RugResistant
· 08-29 11:09
Знову технічний бик, можна бути реалістом?
Переглянути оригіналвідповісти на0
AirdropHarvester
· 08-27 22:41
бик! Дванадцять секунд справи!
Переглянути оригіналвідповісти на0
PumpingCroissant
· 08-27 22:41
П’ятиразова продуктивність Купити, купити, купити
Переглянути оригіналвідповісти на0
MoonRocketman
· 08-27 22:34
До місяця двигун вже прогрітий 93% швидкість перевірки просто має прорвати атмосферу
За останні два роки технологія zkVM (віртуальна машина з нульовими знаннями) зробила значний прогрес, від початкового "можливість доведення" до сучасного "реального доведення", що є важливим стрибком у цій сфері.
Компанія Succinct, яка випустила систему SP1 Hypercube у травні цього року, викликала широкий інтерес у галузі. Ця система використовує інноваційну архітектуру багатолінійних багаторазових поліномів для повторного проектування системи доказів, що забезпечує порядкове поліпшення затримки та витрат в порівнянні з її попередником SP1 Turbo. Згідно з офіційними даними, до 93% блоків Ethereum можуть бути підтверджені протягом 12 секунд, а загальне покращення продуктивності досягає вражаючих 5 разів.
Цей прорив не можна досягти лише за рахунок оптимізації коду, а вимагає повної реконструкції всієї системи. Інженери переробили систему обмежень і конвеєр, розглядаючи кожен згенерований блок у кожному часовому проміжку як об'єкт, що може бути оброблений у режимі реального часу, що суттєво підвищило ефективність системи.
Основна оптимізація системи SP1 полягає в максимальному стисненні процесу "виконання → відстеження → обмеження → доведення". Відповідні навчальні матеріали Стенфордського університету детально аналізують процес доведення SP1, починаючи з виконання інструкцій RISC-V, через збір відстеження, до обмежень AIR/многочленів і, нарешті, до генерації доказів, детально пояснюючи важливість кожного етапу та його перевірюваність.
Варто зазначити, що оптимізація сучасних zkVM вже вийшла за межі традиційних оптимізацій компіляторів. Останні дослідження показують, що хоча стандартна оптимізація LLVM все ще має значний ефект на zkVM типу RISC-V (такі як RISC Zero та SP1) (збільшення продуктивності більше ніж на 40%), цей приріст значно нижчий, ніж ефект оптимізації на традиційних ЦП. Головна причина цього явища полягає в тому, що вузькі місця продуктивності zkVM переважно обумовлені їх унікальною системою обмежень, а не апаратними характеристиками, такими як управління кешем або прогнозування гілок у традиційних ЦП.
З розвитком технології zkVM ми можемо очікувати побачити більше проривних досягнень у майбутньому, що відкриє нові можливості для застосування та поширення технології блокчейн.