Это сложно? Да Наши ошибки устойчивости разрушительны? Да Мы ближе, чем вы думаете? Да С первого дня, да, в тот же день, когда мы выпустили нашу систему доказательств, @RiscZero начал долгий процесс формальной проверки нашего zkVM. Недавно мы запустили "Picus", который математически доказывает детерминизм в наших схемах во время CI! Это причина 96% ошибок устойчивости в системах ZK (по данным ZK-Security). Эти усилия, плюс некоторые другие, над которыми мы работаем, показывают, что мы можем достичь доказуемо устойчивого RISC-V zkVM быстрее, чем многие думают.