San Francisco-based smart contract security startup Synthetic Minds has raised $5.5 million for its bid to roll out a technology that analyses blockchain networks for coding bugs.
Announcing the news on Monday, Synthetic Minds said the round was backed by blockchain investment firm Pantera Capital and Khosla Ventures, a California-based venture capital firm focusing on internet startups.
Founded in 2017, Synthetic Minds has just graduated from from startup accelerator Y Combinator's summer program, during which it also received investment and launched the first version of its technology.
The company explained in its release that it is building its product using a computer science method called program synthesis, which is utilize by organizations dealing with high value and permanent programs, such as NASA with the space station and the Mars Rover.
Since space applications and blockchains share these characteristics, Synthetic Minds turned to program synthesis to design automation technology that it claims is able to "analyze (read) and synthesize (write) computer code better than humans can."
The tech would allow blockchain and smart contract developers to focus on higher-level aspects of design, while the product itself would detect and optimize technological bugs found in blockchain networks' code.
The startup states in the release:
The seed funding follows Pantera's recent news that it has launched its third crypto fund, with over $71 million committed from 90 investors.
The venture firm has previously invested in major blockchain projects including zcash, ShapeShift, and more recently Bakkt, the crypto assets trading platform announced by ICE, the parent company of the New York Stock Exchange.
Coding image via Shutterstock
The leader in news and information on cryptocurrency, digital assets and the future of money, CoinDesk is an award-winning media outlet that strives for the highest journalistic standards and abides by a strict set of editorial policies. In November 2023, CoinDesk was acquired by Bullish group, owner of Bullish, a regulated, institutional digital assets exchange. Bullish group is majority owned by Block.one; both groups have interests in a variety of blockchain and digital asset businesses and significant holdings of digital assets, including bitcoin. CoinDesk operates as an independent subsidiary, and an editorial committee, chaired by a former editor-in-chief of The Wall Street Journal, is being formed to support journalistic integrity.