Наразі однією з основних викликів галузі є її вроджене обмеження обчислювальної потужності. Щоб забезпечити Децентралізацію та безпеку, всі мережеві Ноди повинні повторно виконувати однакові обчислення, що призводить до високих витрат і низької ефективності.
—————————————————————————
Щоб вирішити цю суперечність, @brevis_zk позиціює себе як безмежний обчислювальний шар, який має на меті забезпечити обчислювальну потужність за допомогою верифікованих обчислень «поза ланцюгом, перевірка в ланцюзі», зберігаючи при цьому свою бездокументальну безпеку.
Основою Brevis є "перевіряєме обчислення", яке розділяє процес обчислення та процес перевірки. Важкі обчислювальні завдання виконуються поза ланцюгом і генерують компактне ZK-доказ, тоді як смарт-контракт на ланцюзі лише за дуже низькою ціною перевіряє правильність цього доказу, не повторюючи весь процес обчислення.
У процесі реалізації Brevis в основному використовує унікальну змішану архітектуру, що містить два основні модулі: Pico zkVM і zkCoprocessor.
Pico zkVM (універсальна нульова знання віртуальна машина)
Універсальний обчислювальний двигун, здатний генерувати ZK-докази для виконання будь-якої програми. Розробники, навіть якщо не мають знань у криптографії, можуть створити середовище для ZK-додатків. Pico zkVM використовує високо модульний дизайн, що дозволяє підключати зовнішні сопроцесори для прискорення певних завдань.
zkCoprocessor (ZK дані спільний процесор)
Спеціально розроблений для сценаріїв даних блокчейну копрограматор. Смарт-контракти не можуть безпосередньо отримувати доступ або обчислювати історичний стан. zkCoprocessor зчитує та агрегує історичні дані (такі як транзакції користувачів, залишки, позиції тощо) поза ланцюгом та генерує докази, щоб підтвердити справжність цих даних.
Архітектура "Універсальний zkVM + Спеціалізований сопроцесор", поєднуючи гнучкість і високу продуктивність, дозволяє @brevis_zk ефективно обробляти різні завдання, від аналізу даних DeFi до складної валідації алгоритмів.
Зі зростанням продуктивності Pico zkVM та постійним розширенням сценаріїв застосування zkCoprocessor, Brevis перебуває на етапі переходу від масштабованості до верифікації.
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
Наразі однією з основних викликів галузі є її вроджене обмеження обчислювальної потужності. Щоб забезпечити Децентралізацію та безпеку, всі мережеві Ноди повинні повторно виконувати однакові обчислення, що призводить до високих витрат і низької ефективності.
—————————————————————————
Щоб вирішити цю суперечність, @brevis_zk позиціює себе як безмежний обчислювальний шар, який має на меті забезпечити обчислювальну потужність за допомогою верифікованих обчислень «поза ланцюгом, перевірка в ланцюзі», зберігаючи при цьому свою бездокументальну безпеку.
Основою Brevis є "перевіряєме обчислення", яке розділяє процес обчислення та процес перевірки. Важкі обчислювальні завдання виконуються поза ланцюгом і генерують компактне ZK-доказ, тоді як смарт-контракт на ланцюзі лише за дуже низькою ціною перевіряє правильність цього доказу, не повторюючи весь процес обчислення.
У процесі реалізації Brevis в основному використовує унікальну змішану архітектуру, що містить два основні модулі: Pico zkVM і zkCoprocessor.
Pico zkVM (універсальна нульова знання віртуальна машина)
Універсальний обчислювальний двигун, здатний генерувати ZK-докази для виконання будь-якої програми. Розробники, навіть якщо не мають знань у криптографії, можуть створити середовище для ZK-додатків. Pico zkVM використовує високо модульний дизайн, що дозволяє підключати зовнішні сопроцесори для прискорення певних завдань.
zkCoprocessor (ZK дані спільний процесор)
Спеціально розроблений для сценаріїв даних блокчейну копрограматор. Смарт-контракти не можуть безпосередньо отримувати доступ або обчислювати історичний стан. zkCoprocessor зчитує та агрегує історичні дані (такі як транзакції користувачів, залишки, позиції тощо) поза ланцюгом та генерує докази, щоб підтвердити справжність цих даних.
Архітектура "Універсальний zkVM + Спеціалізований сопроцесор", поєднуючи гнучкість і високу продуктивність, дозволяє @brevis_zk ефективно обробляти різні завдання, від аналізу даних DeFi до складної валідації алгоритмів.
Зі зростанням продуктивності Pico zkVM та постійним розширенням сценаріїв застосування zkCoprocessor, Brevis перебуває на етапі переходу від масштабованості до верифікації.