KIRIK is an open-source meta-protocol for converging existing blockchains. It empowers users to build transactional protocols that help transfer digital assets between different blockchain systems. 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.