Більшість zkVM працюють як одна велика важка машина, яка робить все однаково... але Pico від @brevis_zk побудовано інакше. У нього є маленька "клейка" VM для звичайних завдань і він дозволяє вам додавати спеціальні сопроцесори для обробки складніших завдань, таких як обробка історичних даних ланцюга або виконання важких обчислень. Це робить його більш ефективним, оскільки ви прискорюєте лише ті частини, які цього потребують.

Ще одна велика різниця – це гнучкість. З Pico розробники можуть обирати різні системи доказів, поля та робочі процеси залежно від того, що вони хочуть... швидших доказів, менших доказів чи різних компромісів безпеки. Більшість zkVM не надають такої можливості.

Brevis також стверджує про високу продуктивність: Pico працює швидше на ЦП, ніж інші zkVM, до ~35x швидше для історичних запитів, і ще швидше, якщо ви використовуєте Pico-GPU. Звичайно, ці цифри потрібно перевіряти в реальному використанні, але потенційні прискорення є величезними.

Для розробників Pico є відкритим вихідним кодом з SDK на Rust та деякими готовими до використання копроцесорами. Існують ще ризики, такі як неперевірені бенчмарки та додаткова складність, але Pico виглядає як один із zkVM, який можна насправді використовувати в реальних додатках, а не лише в дослідженнях.

Brevis розробляє єдиний zkVM, з яким ви не боретеся... натомість ви співпроцесуєте з ним...

Бревіс Френс🔥