KIRIK Protocol

ICO Ended
367 days 11 hours ago

Description

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.

General
ICO Dates
15 Sep 2018 - 15 Oct 2018
Whitelist / KYC
Whitelist & KYC
Country
Singapore
Ticket
KRK
Token Type
erc20
Available for Sale
Financial
Pre sale Price
1 KRK = 0.05
Accepting
ETH, BTC
Hard Cap
35M $
Tokens for sale
700,000,000
Team
Vitaly Gumirov
CEO
ADVISORS
Dmitry Khan
ADVISOR
  • 1
    August 2018

    - Contest of KIRIK-based projects

  • 2
    September 2018

    - Crowd Sale

  • 3
    October 2018

    - KIRIK semantic contracts visual editor

  • 4
    November 2018

    - Contest of KIRIK-based projects (deadline)

  • 5
    December 2018

    - KIRIK decentralized MVP

  • 6
    April 2019

    - KIRIK AI contracts to semantic contracts conversion MVP

  • 7
    July 2019

    - Semantic Oracles/Predicates marketplace MVP

  • 8
    August 2019

    - Contest for blockchains semantic gateways

  • 9
    December 2019

    - Semantic decentralized exchange MVP

  • 10
    May 2020

    - AI based semantic contracts verification MVP