News Synthetic Minds raises $5.5 million to build trust in...

Synthetic Minds raises $5.5 million to build trust in blockchain code

-

- Advertisment -

Synthetic Minds, which aims to build safer blockchain code, today announced it has raised $5.5 million in a new round of funding.

The San Francisco startup is a graduate of the most recent summer class from the Y Combinator accelerator.

The money came from Khosla Ventures and Pantera Capital (a cryptocurrency-focused fund). This funding comes on the heels of investment from Y Combinator.

Synthetic Minds’ core technology is called program synthesis. This falls under the umbrella of a computer science discipline called formal methods. NASA uses formal methods to ensure the safety of mission critical software in the space station and the Mars Rover.

With program synthesis and formal methods, Synthetic Minds has built automation that can analyze (read) and synthesize (write) computer code better than humans can.

Synthetic Minds was created with the objective of bringing automation to coding.

Above: Synthetic Minds was created to bring automation to coding.

Image Credit: Synthetic Minds

This technology is perfect for cases in which software embodies high value and permanence. Space applications and blockchain code interestingly share those characteristics. Because smart contracts are permanent, multiple $100 million bugs have disabled large important projects.

Using Synthetic Minds, blockchain companies can build more trust in their smart contract code.

The company is currently run by just its founder, Saurabh Srivastava, and will start hiring soon. The product is ready and Synthetic Minds has paying customers, with the goal of having 10 customers by the end of 2018.

“Synthetic Minds was created with the objective of bringing automation to coding,” said Srivastava, in an email. “Specifically, our code analysis tools read code better than humans, and we are getting close to automation that can write code better, as well. Our long-term mission is make software creation accessible to everybody, especially non-programmers.”

Srivastava has a doctorate in computer science from the University of California at Berkeley. His previous company, 20n, was funded by YC, Khosla Ventures, Blumberg Capital, and Paul Buchheit, amongst others.

“We believed in the team at Synthetic Minds and their expertise to build hard tech that will further grow adoption of smart contracts, both in the public and enterprise domains,” said Khosla Ventures founder Vinod Khosla, in a statement. “They are uniquely positioned to enable an enterprise-grade, safe, smart contract platform. Provably correct smart contracts through program synthesis are key steps needed for smart contracts on the blockchain and for software in general.”

Source link

LEAVE A REPLY

Please enter your comment!
Please enter your name here

Latest news

Why could GLBrain become a great solution to receive support during the crisis?

To support smaller and medium-sized businesses during the ongoing crisis, GLBrain offers services cost-free for all Austrians....

Make Fast and Secure Trades Using Bitengo.io

Bitengo.io is a Cryptocurrency trading platform that allows users to buy and sell their Cryptocurrency in a...

Network Security Using Cryptography: Everything you need to know

This article will describe what is Network Security Using Cryptography and everything you need to know before...

Mercuriex Cryptocurrency Exchange Launches New Utility Token, SURF

MercuriEx Cryptocurrency Exchange, originally developed in 2017, came under new ownership in December 2019. Since taking over the exchange,...
- Advertisement -Synthetic Minds raises $5.5 million to build trust in blockchain code

Fungibility: Bitcoin Mixers Favorite Term That No One Understands

Fungibility, perhaps the most important concept when dealing with a decentralized and anonymous currency, but does bitcoin...

Crypto can’t thrive in the real world – but stablecoins can

We can safely say that the hype about cryptocurrencies is pretty much over. The claims of Bitcoin...

Must read

Make Fast and Secure Trades Using Bitengo.io

Bitengo.io is a Cryptocurrency trading platform that...
- Advertisement -Synthetic Minds raises $5.5 million to build trust in blockchain codeSynthetic Minds raises $5.5 million to build trust in blockchain code

You might also likeRELATED
Recommended to you