code: def verify_precompiled_checksums(self, precompiled_path: Path) -> None:
          
  
          # We get the precompiled file data
          contracts_precompiled = ContractManager(precompiled_path)
  
          # Silence mypy
          assert self.contracts_checksums is not None
  
          # Compare each contract source code checksum with the one from the precompiled file
          for contract, checksum in self.contracts_checksums.items():
              try:
                  # Silence mypy
                  assert contracts_precompiled.contracts_checksums is not None
                  precompiled_checksum = contracts_precompiled.contracts_checksums[contract]
              except KeyError:
                  raise ContractSourceManagerVerificationError(
                      f'No checksum for {contract}',
                  )
              if precompiled_checksum != checksum:
                  raise ContractSourceManagerVerificationError(
                      f'checksum of {contract} does not match {precompiled_checksum} != {checksum}',
                  )
  
          # Compare the overall source code checksum with the one from the precompiled file
          if self.overall_checksum != contracts_precompiled.overall_checksum:
              raise ContractSourceManagerVerificationError(
                  f'overall checksum does not match '
                  f'{self.overall_checksum} != {contracts_precompiled.overall_checksum}',
              )
docs: Compare source code checksums with those from a precompiled file.