Новое от ZKM: Почему важна долговечность доказательств: https://t.co/ijSzNcFRo3

Большинство универсальных zkVM оптимизированы для скорости запуска. Мы оптимизированы для выносливости.

Часть 3 нашей нашумевшей серии ISA исследует, почему долгосрочная действительность доказательств зависит от архитектурных решений, начиная с ISA. Если ваш набор инструкций нестабилен, ваши схемы тоже не будут стабильными.

Часть 1: https://t.co/dfUYLWee9s (высоко оценена генеральным директором @StarkWareLtd @EliBenSasson)

Часть 2: https://t.co/nrhz2rKMn2