Pre-Sale is Over

Hard cap is reached in 15 hours

1002888

Contributed

1000000

Hard Cap

Current Status

Distributed semantic engine for telecom serves more than 200 mln users since 2012

Check Use Cases

Partnership With SingularityNET

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 GoertzelCEO, SingularityNET
Read more

Smart Contracts 2.0

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. The technology is understandable to specialists in various subject areas and allows to conduct transactions between various blockchains and outside of them.

https://kirik.io/wp-content/themes/salient/css/fonts/svg/basic_eye.svg

Easy to understand

Semantic contracts are simple enough so they can be read by an average person who is not a programmer familiar with blockhain technology

https://kirik.io/wp-content/themes/salient/css/fonts/svg/arrows_rotate_anti_dashed.svg

Automatic verification

Semantic contracts can be automatically verified, which allows to create an obligations performance monitoring system

https://kirik.io/wp-content/themes/salient/css/fonts/svg/software_scale_expand.svg

Visual Builder

Semantic contracts has a visual editor (flowcharts of specifications) and a template system which allows a quick creation of a sample contract

New Fields Of Application

https://kirik.io/wp-content/themes/salient/css/fonts/svg/basic_book.svg

Jurisprudence

Lawyers will be able to accompany transactions that connect the real and virtual world. E.g., electronic transactions reflecting the process of shipment and delivery of goods.

https://kirik.io/wp-content/themes/salient/css/fonts/svg/basic_target.svg

Artificial Intelligence

Semantic contracts can be used to control artificial intelligence, since they are understandable to people, unlike the innards of the neural network.

Semantic smart contracts
Convergence of different blockchains
Smart wallet
https://kirik.io/wp-content/themes/salient/css/fonts/svg/ecommerce_graph_increase.svg

Public administration

Improving the effectiveness of monitoring the implementation of large state projects (such as work on government procurement). State regulation (e.g. in the field of financial markets).

https://kirik.io/wp-content/themes/salient/css/fonts/svg/software_remove_vectorpoint.svg

Cross-blockchain support

KIRIK supports operations between different blockchains and can be used in various areas unrelated to blockchains

Artificial Intelligence 2.0

A smart contract drafted in a semantic modelling language is, on the one hand, easily understood by specialists of the appropriate subject domain, on the other hand, is automatically verifiable and can be run on a computer, or other digital device.

It allows to build a bridge between the human brain and artificial intelligence. This is what we call Artificial Intelligence 2.0.

With semantic contracts one can set rules and checks upon the neural network behaviour, which now is nothing other than a black box. Analogous to Isaac Asimov’s three laws of robotics, semantic contracts can use human language to control the work of complicated neural networks in critical situations, e.g. when the danger of loss of human life is high.

The problem of legal liability for behaviour of neural networks and artificial intelligence is not as yet solved. Nevertheless, singling out the most significant parameters and working conditions of a sophisticated software system (or enterprise, distributed system, artificial intelligence, etc.) in the form of a specification written in a semantic contract language, we can introduce legally relevant smart contracts. This trend will soon bring us to change of legislation in many countries and the birth of a new profession – crypto-lawyer.

Artificial Intelligence 2.0

A smart contract drafted in a semantic modelling language is, on the one hand, easily understood by specialists of the appropriate subject domain, on the other hand, is automatically verifiable and can be run on a computer, or other digital device.

It allows to build a bridge between the human brain and artificial intelligence. This is what we call Artificial Intelligence 2.0.

With semantic contracts one can set rules and checks upon the neural network behaviour, which now is nothing other than a black box. Analogous to Isaac Asimov’s three laws of robotics, semantic contracts can use human language to control the work of complicated neural networks in critical situations, e.g. when the danger of loss of human life is high.

The problem of legal liability for behaviour of neural networks and artificial intelligence is not as yet solved. Nevertheless, singling out the most significant parameters and working conditions of a sophisticated software system (or enterprise, distributed system, artificial intelligence, etc.) in the form of a specification written in a semantic contract language, we can introduce legally relevant smart contracts. This trend will soon bring us to change of legislation in many countries and the birth of a new profession – crypto-lawyer.

Fundamental Mathematics At The Core

We develop new approach in AI based on semantic modelling/programming. The mathematical foundation of this approach was set in the Institute of Mathematics, the Siberian Branch of Russian Academy of Science by Academicians Yuri YershovSergey Goncharov and Doctor Dmitriy Sviridenko. The KIRIK concept is developed and based on the groundwork made by LibrettoLabs, Eyeline.mobi, MiniApps.pro, and the Institute of Mathematics – Siberian Branch of Russian Academy of Science.

Yuri Yershov

Yuri Ershov is a Soviet and Russian mathematician, academician of RAS, Full Doctor of science in physics and mathematics, professor, counsellor of RAS, the leader of Siberian school of algebra and logics.

Sergey Goncharov

Sergey Goncharov is a Soviet and Russian mathematician, academician of RAS, professor, laureate of many prizes, a specialist in mathematical logics and the computability theory.

Dmitry Sviridenko

Dmitry Sviridenko is a Full Doctor of Mathematics and Computer Science, Professor. His area of expertise is the Theory of Semantic Programming applied to semantic smart bargains and contracts.

Semantic Smart Contracts

The KIRIK concept is not based on Blockchain as the distributed ledger, but on semantic smart contracts (ΣK) which are not linked to any specific blockchain platform. Semantic smart contracts allow to specify protocols that can bind operations and transactions made in different Blockchain platforms and other external systems, like banks or exchanges, into one integrated transaction. From the Mathematical Logic’s formal point of view a semantic smart contract represents a formal theory that has a property of constructivism, which means that, for example, any expression in the form of Δ0-formula can be verified whether it is true or false in a certain constructive model of that theory.

Semantic Smart Contracts

The KIRIK concept is not based on Blockchain as the distributed ledger, but on semantic smart contracts (ΣK) which are not linked to any specific blockchain platform. Semantic smart contracts allow to specify protocols that can bind operations and transactions made in different Blockchain platforms and other external systems, like banks or exchanges, into one integrated transaction. From the Mathematical Logic’s formal point of view a semantic smart contract represents a formal theory that has a property of constructivism, which means that, for example, any expression in the form of Δ0-formula can be verified whether it is true or false in a certain constructive model of that theory.

Oracles Or Base Predicates

KIRIK platform is based on the idea of declarative specifications, where logical formulas with certain restrictions (a.k.a. Δ0-formulas, see below) are used that also allow to call external functions (so called oracles or base predicates). Semantic contract represents (as does a common contract) declarative (expressed using common logic) specifications of predicates and rules. Such oracles are usually represented by some external systems (like micro-services), or by semantic predicates defined by some other semantic contract.

Oracles Or Base Predicates

KIRIK platform is based on the idea of declarative specifications, where logical formulas with certain restrictions (a.k.a. Δ0-formulas, see below) are used that also allow to call external functions (so called oracles or base predicates). Semantic contract represents (as does a common contract) declarative (expressed using common logic) specifications of predicates and rules. Such oracles are usually represented by some external systems (like micro-services), or by semantic predicates defined by some other semantic contract.

Convergence Of Different Blockchains

Particularly a semantic contract can use external oracles to specify the protocol logic for binding together transactions between different Blockchain platforms to form a single transaction. Thus KIRIK acts as a meta-protocol that brings together different Blockchain platforms. For instance, smart contracts based on Ethereum, NEO, and/or RSK/Bitcoin can play a role of such external oracles for KIRIC based semantic contracts. Two-step transaction registration is used for speeding up the process. KIRIK transactions are anchored onto IOTA distributed ledger and then onto KIRIK Blockchain that is forked from Ethereum source code. This allows on the one hand to remove barriers for scaling up a network of nodes performing semantic contract calculations, and on the other hand use the reliable security algorithms of Ethereum.

Convergence Of Different Blockchains

Particularly a semantic contract can use external oracles to specify the protocol logic for binding together transactions between different Blockchain platforms to form a single transaction. For instance, smart contracts based on Ethereum, NEO, and/or RSK/Bitcoin can play a role of such external oracles for KIRIC based semantic contracts. Two-step transaction registration is used for speeding up the process. KIRIK transactions are anchored onto IOTA distributed ledger and then onto KIRIK Blockchain that is forked from Ethereum source code. This allows on the one hand to remove barriers for scaling up a network of nodes performing semantic contract calculations, and on the other hand use the reliable security algorithms of Ethereum.

Semantic Domains

The KIRIK concept allows for creation of distinct domains of smart contracts and/or oracles with their own distributed ledgers for transaction registration. This is required to enhance scalability, which will allow organizations and communities to use semantic contracts and at the same time anchor transactions onto their own Blockchain, or other transaction registries. For instance, a banking association can create a distributed semantic contract network of its own with anchoring onto its private, or permissioned Blockchain. The banks can also open for their clients, or make public in the form of external oracles some of their semantic contracts.

Semantic Domains

The KIRIK concept allows for creation of distinct domains of smart contracts and/or oracles with their own distributed ledgers for transaction registration. This is required to enhance scalability, which will allow organizations and communities to use semantic contracts and at the same time anchor transactions onto their own Blockchain, or other transaction registries. For instance, a banking association can create a distributed semantic contract network of its own with anchoring onto its private, or permissioned Blockchain. The banks can also open for their clients, or make public in the form of external oracles some of their semantic contracts.

Specs

Symbol
KRK
Blockchain
ETH based, PoW
Algo
Ethash
Block time
TBA

Our Next Roadshow

We will have private meetups in that locations but if you want to meet us in person just let us know and we will try to arrange it

Tokyo

Aug 26-29

Seoul

Aug 29-31

Hong Kong

Sep 1-2

Shanghai

Sep 3-4

Beijing

Sep 5-6

Geneva

Sep 12-14

Register to join our presale

Join Whitelist