Как мы сохраняем надежность и детерминированность схем ZK во время аудита? Наш соучредитель @IsilDillig делится своими мыслями о том, как объединить статический анализ и SMT-решатели в наших инструментах ZK.
532