Большинство zkVM работают как одна большая тяжелая машина, которая делает все одинаково.... но Pico от @brevis_zk построен иначе. У него есть маленькая "склеивающая" ВМ для обычных задач, и она позволяет добавлять специальные сопроцессоры для обработки более сложных задач, таких как обработка исторических данных цепочки или выполнение тяжелых вычислений. Это делает его более эффективным, потому что вы ускоряете только те части, которые в этом нуждаются.

Еще одно важное отличие — это гибкость. С Pico разработчики могут выбирать различные системы доказательства, поля и рабочие процессы в зависимости от того, что они хотят .... более быстрое доказательство, меньшие доказательства или различные компромиссы по безопасности. Большинство zkVM этого варианта не предоставляют.

Brevis также утверждает о высокой производительности: Pico быстрее на ЦП, чем другие zkVM, до ~35 раз быстрее для исторических запросов, и еще быстрее, если вы используете Pico-GPU. Конечно, эти цифры нужно тестировать в реальных условиях, но потенциальные ускорения огромны.

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

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

gBrevis Frens🔥