San Francisco-based smart contract security startup Synthetic Minds has raised $5.5 million in a round backed by Pantera Capital and Khosla Ventures. The company aims to roll out a product that analyses blockchain networks for code bugs, allowing blockchain and smart contract developers to focus on higher-level aspects of design.