This partnership will enable the advanced AI analysis of smart contracts in SingularityNET

Today, we’re pleased to announce our partnership with Kirik — an AI 2.0-based infrastructure to unite blockchains.

Kirik’s semantic contracts, which are smart contracts represented as collections of statements in formal logic, can be analyzed using mathematical and AI methods. This allows for reducing the possibilities of bugs and unexpected behaviors in smart contracts in a rigorous and automated manner.

“Along with benefits to blockchain security, the advanced AI analysis of smart contracts will be an important step toward meta-learning.”

Dr. Ben Goertzel, CEO, SingularityNET

The ability to analyze smart contracts within Kirik-enhanced OpenCog agents will allow SingularityNET to formally analyze and understand its own economic operations.

“This is an important step toward meta-learning — [which refers to] the ability of an AI system to understand and analyze itself. Ultimately, it will enable a future version of the SingularityNET network to revise and improve its own smart contract infrastructure.”

Dr. Ben Goertzel

Predicting Errors in Smart Contracts

The Kirik software can be used to help load smart contracts into OpenCog, an integral part of SingularityNET. The odds of bugs or problems occurring in those smart contracts can then be estimated using the OpenCog’s Probabilistic Logic Networks (PLN) engine, along with using ordinary crisp logic.

“We need to reduce the possibility for bugs and unexpected behaviors in the smart contract layers of decentralized applications. The only clear path to this lies in the development and rollout of executable specifications and formal software analysis tools.”

Vitaly Gumirov, CEO Kirik

The software developed via this partnership also has the potential to alter the way smart contracts are written.

“Before long, the details of most smart contracts are likely to be created by automated methods, i.e., it will be AI software writing detailed smart contracts. OpenCog or other logic engines can be used to transform initial higher level specifications provided by human developers into detailed smart contract code.” Dr. Ben Goertzel

Next Steps

SingularityNET plans to keep on increasing its internal capabilities through strategic partnerships. To read more about our other partners, click here.

For any additional information, please refer to our roadmaps and subscribe to our newsletter to stay informed about all of our developments. You can connect with our passionate and talented community by visiting our Community Forum.