Jak udržujeme obvody ZK během auditů skálopevné a deterministické? Náš spoluzakladatel @IsilDillig sdílí poznatky o kombinaci statické analýzy a SMT řešičů v našich nástrojích ZK.
437