Недавно мы сотрудничали с @SuccinctLabs для проверки детерминизма SP1 circuits с использованием Picus — инструмента формальной верификации Veridise для zero-knowledge circuits.

Это знаменует собой первый шаг к формальной верификации всей SP1 zkVM 🧵

1/6 https://t.co/tVvSR8GPNn