Чи важко це? Так Наші помилки здоров'я руйнівні? Так Чи ми ближче, ніж ви думаєте? Так З першого дня, так, того ж дня, коли ми випустили нашу систему доказів, @RiscZero розпочали довгий процес офіційної перевірки нашого zkVM. Нещодавно ми запустили "Picus", який математично доводить детермінізм у наших схемах під час CI! Це є причиною 96% багів звуковості в системах ZK (за даними ZK-Security). Ці зусилля, а також деякі інші, над якими ми працюємо, показують, що ми можемо отримати достовірно звуковий RISC-V zkVM швидше, ніж ви думаєте.