This post is from a low-reputation account and contains an unverified outbound link. Be cautious before clicking external links.
The goal of the KIRIK (KRK) project is creation of semantic contracts, which have no shortcomings of Ethereum based smart contracts. Semantic Contracts = Smart Contracts 2.0 