The core of the project is the concept of the Semantic Smart Contract an executable specification built using Mathematical Logic, specifically the Theory of Semantic Modelling. Semantic smart contracts describe specific subject domains (like real estate, car rental and other contracts) in familiar logical terms. Unlike classical smart contracts, they do it in such way that human logic and the semantic meaning of a contract don’t “dissolve” when transferred to computer code but rather stay readable and understandable by laymen. One outcome is that we do not need an army of programmers to turn a contract into a code or to audit smart contracts one can construct a semantic contract without programming, and KIRIK will execute it automatically.
|Token Sale Start Date||Aug 15, 2018|
|Token Sale End Date||Oct 15, 2018|
|Latest Tweets||Tweets by kirik_protocol|