KIRIK 在2012,为其电信运营商业务提供语义引擎业务,该业务覆盖近两亿用户。

智能合约 2.0

KIRIK(KRK)项目的目标是为客户提供智能的语义的合约,其中他们摒弃了以太网作为智能合约的缺点,实现了于语义合同=智能合同 2.0的部署。该技术是可以理解不同学科领域的专家,并允许进行各种 blockchains 之间的交易,以及与外部的交互。

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

易于理解

语义合约足够简单,任何一个没有区块链技术和背景的人都能够随心使用

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

自动验证

语义合同可以实现自动验证,它允许创建 履行义务监控系统

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

视觉生成器

语义合同有一个可视化编辑器(规格流程图)和模板 系统允许快速创建样本合同

新领域中的应用

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

法理应用

律师够轻松驾驭现实和虚拟世界的交易。例如,电子交易反映了运输和交付货物的过程。

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

人工智能

语义合同可以用来控制人工智能,因为它们是可以理解的人,像神经网络的内部结构。

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

公共事业

有效监控的国家大型工程(如在政府采购工作)的执行有效性。国家调控(例如,在金融市场领域)。

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

跨 链支持

KIRIK 支持不同 区块链之间操作,同样也可以使用在诸多与区块链无关的应用和领域。

人工智能 2.0

在语义建模语言起草智能合同,在一方面,容易被相应的主题领域的专家理解,在另一方面,是自动核查并在计算机或其它数字设备上运行。

允许建立人脑和人工智能之间的桥梁。这就是我们所说的人工智能 2.0。

语义合同可以建立算法规则并检查神经网络的各种行为,,现在就像一个黑盒子没有其他设置规则和检查。类似于阿西莫夫的机器人三个定律,语义合同可以用人类的语言来控制复杂的神经网络在紧急情况下的工作,例如,当人的生命危险系数增高的时候。

尽管神经网络和人工智能的行为承担法律责任的问题还未解决。然而,挑出最显著参数和写在语义合同文本的规范形式的复杂软件系统(或企业,分布式系统,人工智能等)的工作条件,我们可以引入法律相关的智能合同。这种趋势将很快给我们带来改变,多国家的立法和一个新的职业诞生 – 加密律师。

基础数学是核心

我们利用AI方法开发了基于语义建模/编程。这种方法的数学基础源自数学研究所,院士俄罗斯科学院西伯利亚分院成立 尤里 Yershov ,谢尔盖·冈察洛夫 和医生 德米特里 Sviridenko 。 该 KIRIK 概念开发和基于由 LibrettoLabs,Eyeline.mobi,MiniApps.pro 和数学研究所所做的铺垫 – 俄罗斯科学院西伯利亚分院

尤里 Yershov

尤里·叶尔绍夫是苏联和俄罗斯数学家,RAS,物理和数学,科学教授全博士,RAS 的辅导员,代数和逻辑的西伯利亚学校领导的院士。

谢尔盖·冈察洛夫

谢尔盖·冈察洛夫是苏联和俄罗斯数学家,RAS,教授,许多奖项的得主,在数学逻辑的专家和可计算性理论的院士。

梅德 Sviridenko

梅德 Sviridenko 是数学的一个完整的医生和计算机科学教授。他的专长领域是适用于语义智能讨价还价和合同语 义规划理论。

语义智能合约

该 KIRIK 概念不是基于 Blockchain 作为分布式账本,但其不与任何特定 区块链语义智能合同相连(ΣK)。语义智能合同允许指定可以绑定操作并在不同 Blockchain 平台和其他外部系统进行的交易,如银行,整合的综合交易协议。从数理逻辑的观点,语义智能合同表现形式理论具有建构的特性,这意味着,例如,在 Δ0-公式的形式,可以证实无论真假理论的某些建设性的模型。

语义智能合约

该 KIRIK 概念不是基于 Blockchain 作为分布式账本,但其不与任何特定 区块链语义智能合同相连(ΣK)。语义智能合同允许指定可以绑定操作并在不同 Blockchain 平台和其他外部系统进行的交易,如银行,整合的综合交易协议。从数理逻辑的观点,语义智能合同表现形式理论具有建构的特性,这意味着,例如,在 Δ0-公式的形式,可以证实无论真假理论的某些建设性的模型。

神谕或基础预测

KIRIK 平台是基于特点的声明,,其中使用具有一定的限制(又名 Δ0-式中,见下文)逻辑公式也允许调用外部函数(所谓的预言)的想法。语义合同表示(像一个普通合同一下)声明基于某些特定应用下的预测和规则这样预言通常被一些外部系统(如微服务)调用,或者通过一些其它语义合同定义的语义

神谕或基础预测

KIRIK 平台是基于特点的声明,,其中使用具有一定的限制(又名 Δ0-式中,见下文)逻辑公式也允许调用外部函数(所谓的预言)的想法。语义合同表示(像一个普通合同一下)声明基于某些特定应用下的预测和规则这样预言通常被一些外部系统(如微服务)调用,或者通过一些其它语义合同定义的语义

不同区块链的融合

特别是语义合同可以使用外部预言指定不同 Blockchain 平台之间的交易结合在一起,以形成一个单独的事务的协议逻辑。因此 KIRIK 充当元协议,汇集不同 Blockchain 平台。例如,基于以太坊,NEO,和/或 RSK / Bitcoin 的智能合同能起到基于语义 KIRIK 合同串联外部系统的作用。两步交易登记用于加快进程。KIRIK 交易被固定在 IOTA 分布式分类帐本中,KIRIK区块链平台是以太坊源代码的一个分叉,这样,一方面,以消除对扩大执行语义合同计算节点的网络壁垒,而另一方面可以实现以太坊可靠的安全算法。

不同区块链的融合

特别是语义合同可以使用外部预言指定不同 Blockchain 平台之间的交易结合在一起,以形成一个单独的事务的协议逻辑。因此 KIRIK 充当元协议,汇集不同 Blockchain 平台。例如,基于以太坊,NEO,和/或 RSK / Bitcoin 的智能合同能起到基于语义 KIRIK 合同串联外部系统的作用。两步交易登记用于加快进程。KIRIK 交易被固定在 IOTA 分布式分类帐本中,KIRIK区块链平台是以太坊源代码的一个分叉,这样,一方面,以消除对扩大执行语义合同计算节点的网络壁垒,而另一方面可以实现以太坊可靠的安全算法。

语义域

KIRIK 概念允许创建智能合同和/或使用其自己的分布式账本记录交易内容,。以提高可扩展性,这将使组织和社区使用语义合同,连接到自己 的区块链,或其他的交易记录中。。例如,银行业可以在自己的私有网络中创建自己的分布式语义网络或者被许可的区块链。。银行也可以向他的客户开放,或向外部公开他们的语义合同,形式很灵活。

语义域

KIRIK 概念允许创建智能合同和/或使用其自己的分布式账本记录交易内容,。以提高可扩展性,这将使组织和社区使用语义合同,连接到自己 的区块链,或其他的交易记录中。。例如,银行业可以在自己的私有网络中创建自己的分布式语义网络或者被许可的区块链。。银行也可以向他的客户开放,或向外部公开他们的语义合同,形式很灵活。

各领域应用

规格

符号
KRK
Blockchain
基于 ETH,战俘
Algo
Ethash
座时间
TBA

Meet Us

我们会在以下地区举行私人会议,但如果你想亲自来见我们,请告诉我们,我们会尽力安排的。

Tokyo

25-30 June

Seoul

June 30th – July 4th

Beijing

4-6 July

Guangzhou

7th-8th July

Hong Kong

9th-12th July

注册加入我们的预售

Join Whitelist