Based in the San Francisco startup Synthetic Minds raised $5.5 million for the development of analysis technology and error detection in smart contracts, reports VentureBeat.

The company is working on a product based on software synthesis. Last, believe in Synthetic Minds, to be used for automation of processes “analysis and synthesis of computer code” in blockchain systems.

The technology will allow developers of blockchain-based solutions and smart contracts to focus on higher-level aspects of development at the time, as the program itself will deal with the detection of bugs and code optimization.

The round of funding was led by investment company Pantera Capital and Khosla Ventures. The latter is based in California and specializiruetsya on investments in Internet startups.

Startup based Synthetic Minds in 2017. The project took part in the summer program accelerator Y Combinator, where he also attracted investment and introduced the first version of the technology.

We will remind, recently a venture Fund Pantera Capital participated in the financing of well-known application to manage cryptocurrency portfolio Blockfolio, which the developers have raised $11.5 million