Kuinka pidämme ZK-piirit kivenkovana ja deterministisenä auditointien aikana? Perustajamme @IsilDillig jakaa näkemyksiä staattisen analyysin ja SMT-ratkaisijoiden yhdistämisestä ZK-työkaluissamme.
681