Hvordan holder vi ZK-kretser bunnsolide og deterministiske under revisjoner? Vår medgründer @IsilDillig deler innsikt om å kombinere statisk analyse og SMT-løsere i våre ZK-verktøy.
438