KIRIK Review ICO

基里克：聪明的合同努力进入实体经济

区块链正在进入经济领域，很快智能合约将取代签名和邮票协议。制作智能合约需要多长时间？数学语言学如何帮助？俄罗斯科学家如何与之相关？

图1. KIRIK允许每个人写一份智能合约

由俄罗斯数学家领导的KIRIK开发团队提供语义元协议 - 智能合约2.0。除了代码行之外，还有俄语，英语和任何其他语言的短语。

什么是KIRIK？
独立的软件模块，可识别人类语音并创建智能合约，无需链接到特定平台。这允许区块链适应政府部门，并根据程序代码制作法律文件。

图2. KIRIK项目的概念：“人类语言”中的合同法

●易于理解。KIRIK的智能合约对于没有编程技能的用户来说很清楚。创建智能合约将变得更快，更容易。

●自动验证。将自动检查语义智能合约，这就是为什么可以在CRM系统中设置持续监控的原因。金融家和律师会感到宽慰：如果合同不正确或逾期，可以用几句话来纠正。

●Visual Builder。使用模板，图形和属性创建语义合约并不比在Excel中构建图形更困难。在数学语言学中“训练”的人工智能识别语义结构并完成智能契约而不是用户。

●跨区块链支持。KIRIK的智能合约支持不同的区块链架构，例如通常的ERC 20，传统协议和其他修改。程序代码由用户自己选择。

开发人员注意到该平台不仅用于法理学。这些从人类语言轻松转化为程序代码的合同将在每个经济领域都有用，例如银行官员。

KIRIK合同的主要功能

图3. KIRIK合同的工作基于逻辑功能

语义智能合约。语义智能合约基于声明的逻辑验证，因此模块化结构不受任何块系统的约束。修改KIRIK合同对法律公司，银行机构和政府部门都有用。

神谕预言。合同工作由逻辑功能（基本谓词）提供，逻辑功能嵌入系统或从外部请求。例如，根据标准模板制定租赁合同，然后租户希望增加维护外来动物的费用。合同的基本条款是从系统加载的，而附加条件则从法律文件的外部数据库加载。

不同区块链的收敛性。根据ETH，NEO，RSK或比特币标准创建的智能合约部分可以无需更改即可集成到KIRIK合同中。这种逻辑将简化文档周转，并使新的智能合约成为区块链的通用解决方案。

语义域。KIRIK合同可以轻松扩展，并与其他分布式服务器一起执行（例如，在区块链架构上）。银行或国家机构可能会将KIRIK合同中的信息复制到区块链，而不会丢失任何数据。

总结
语义建模方法和跨平台架构允许KIRIK合同适应实体经济的任何分支，并为智能合约带来法律效力。

作者：thuhuyen1996

Bitcointalk：https：//bitcointalk.org/index.php ？ action = profile; u = 2101303

ERC 20：0xE324d03D6D7B2D5E8e57ae64C57e621950fC3eCD