Review ICO Kirik.io (KRK Token) – Tiền điện tử và giao thức hợp đồng blockchain

Hợp đồng thông minh đã ra đời và đi được một chặng đường dài. Toàn bộ khái niệm smart contract đang phát triển với tốc độ rất nhanh. Với công nghệ mới được tạo ra , hợp đồng thông minh hiện đang hiển thị các dấu hiệu khác nhau cần cải thiện.

Giới thiệu ICO Kirik.io

KIRIK là giao thức meta mã nguồn mở đầu tiên trên thế giới để hội tụ các blockchains hiện có. Nó trao quyền cho người dùng xây dựng các giao thức giao dịch giúp chuyển các tài sản số giữa các hệ thống blockchain khác nhau.

Cốt lõi của dự án là khái niệm về Hợp đồng thông minh ngữ nghĩa – một đặc tả thực thi được xây dựng bằng Logic toán học, đặc biệt là Lý thuyết mô hình hóa ngữ nghĩa. Hợp đồng thông minh ngữ nghĩa mô tả các lĩnh vực chủ đề cụ thể (như bất động sản, thuê xe và các hợp đồng khác) trong các điều khoản logic quen thuộc. Không giống như các hợp đồng thông minh cổ điển, họ làm điều đó theo cách mà logic con người và ý nghĩa ngữ nghĩa của một hợp đồng không “tan biến” khi được chuyển sang mã máy tính mà ở lại dễ đọc và dễ hiểu hơn. Một kết quả là chúng ta không cần một đội ngũ lập trình để biến hợp đồng thành mã hoặc kiểm toán hợp đồng thông minh – người ta có thể xây dựng một hợp đồng ngữ nghĩa mà không cần lập trình, và KIRIK sẽ thực thi nó một cách tự động.

Mục tiêu của dự án ICO Kirik.io

Mục tiêu của dự án KIRIK (KRK) là tạo ra các hợp đồng ngữ nghĩa, không có những thiếu sót của các hợp đồng thông minh dựa trên Ethereum. Hợp đồng ngữ nghĩa = Hợp đồng thông minh 2.0. Công nghệ này là dễ hiểu đối với các chuyên gia trong các lĩnh vực chủ đề khác nhau và cho phép thực hiện các giao dịch giữa các blockchains khác nhau và bên ngoài chúng.

  • Dễ hiểu:
    Các hợp đồng ngữ nghĩa đủ đơn giản để chúng có thể được đọc bởi một người trung bình không phải là lập trình viên quen thuộc với công nghệ ngăn chặn
  • Xác minh tự động:
    Hợp đồng ngữ nghĩa có thể được tự động xác minh, cho phép tạo ra một hệ thống giám sát hiệu suất nghĩa vụ
  • Visual Builder:
    Các hợp đồng ngữ nghĩa có một trình soạn thảo trực quan (các sơ đồ chi tiết kỹ thuật) và một hệ thống mẫu cho phép tạo nhanh một hợp đồng mẫu.

Các lợi ích của Kirik.io

  • Semantic Smart Contracts:
    Khái niệm KIRIK không dựa trên Blockchain như sổ kế toán phân tán, nhưng trên các hợp đồng thông minh ngữ nghĩa (ΣK) không liên kết với bất kỳ nền tảng blockchain cụ thể nào. Các hợp đồng thông minh ngữ nghĩa cho phép xác định các giao thức có thể ràng buộc các hoạt động và giao dịch được thực hiện trong các nền tảng Blockchain khác nhau và các hệ thống bên ngoài khác, như các ngân hàng hoặc trao đổi, thành một giao dịch được tích hợp. Từ quan điểm chính thức của Logic Toán học, một hợp đồng thông minh ngữ nghĩa đại diện cho một lý thuyết chính thức có tính chất xây dựng, nghĩa là, chẳng hạn, bất kỳ biểu thức nào dưới dạng công thức Δ0 có thể được xác minh xem nó có đúng hay sai trong một mô hình xây dựng nhất định của lý thuyết đó.
  • Oracles Or Base Predicates:
    Nền tảng KIRIK dựa trên ý tưởng về các đặc tả khai báo, trong đó các công thức logic với các hạn chế nhất định (a.k.a. Δ0-công thức, xem bên dưới) được sử dụng cho phép gọi các hàm bên ngoài (được gọi là oracles hoặc các vị từ cơ sở). Hợp đồng ngữ nghĩa đại diện cho (cũng như một hợp đồng chung) khai báo (được biểu diễn bằng cách sử dụng logic chung) thông số kỹ thuật của các biến vị ngữ và các quy tắc. Các oracles như vậy thường được đại diện bởi một số hệ thống bên ngoài (như các dịch vụ vi mô), hoặc bởi các vị ngữ ngữ ngữ được định nghĩa bởi một số hợp đồng ngữ nghĩa khác.
  • Convergence Of Different Blockchains:
    Đặc biệt là một hợp đồng ngữ nghĩa có thể sử dụng các oracles bên ngoài để xác định logic giao thức để liên kết các giao dịch với nhau giữa các nền tảng Blockchain khác nhau để tạo thành một giao dịch đơn lẻ. Vì vậy, KIRIK hoạt động như một giao thức meta tập hợp các nền tảng Blockchain khác nhau. Ví dụ, các hợp đồng thông minh dựa trên Ethereum, NEO, và / hoặc RSK / Bitcoin có thể đóng một vai trò quan trọng đối với các hợp đồng ngữ nghĩa dựa trên KIRIC. Đăng ký giao dịch hai bước được sử dụng để đẩy nhanh quá trình đăng ký.

Chi tiết ICO và KRK Token

Kirik cung cấp tổng cộng 1,4 tỷ tokens KRK. Trong đó dành ra 700 triệu tokens trong quá trình mở bán ICO. Phân phối tokens như dưới đây:

Trong đó:

  • Tổng cung cấp: 1 400 000 000 KRK
  • Mở bán ICO: 700 000 000 KRK
  • 1 KRK = 0,05 USD trong ICO
  • Đối tác & Cố vấn & Quỹ: 420 000 000 KRK
  • Đội nhóm: 280 000 000 KRK

Chi tiết Kirik.io ICO

– Mã Token: KRK
– Tổng số tokens cung cấp: 1.4 tỷ tokens
– Giá: 1 KRK = 0.05 USD
– Bounty: Có
– Nền tảng:  Ethereum
– Chấp nhận đóng góp: BTC, ETH
– Hard cap: 35,000,000 USD
– ICO chính thức: 15.09.2018 đến 15.10.2018
– Quốc gia: Singapore

Đội ngũ dự án

Kirik.io được điều hành bởi CEO Vitaly Gumirov, tốt nghiệp từ Novosibirsk State Uni, nơi ông chuyên về Toán học Logic và Khoa học Máy tính. Ông có 25 năm kinh nghiệm trong ngành công nghiệp CNTT và một số doanh nghiệp thành công trong hồ sơ theo dõi của mình.

Video giới thiệu dự án

Thông tin thêm về dự án

 WhitepaperEnglish – Tiếng Trung – Tiếng Hàn – Tiếng Nhật
 Facebookhttps://www.facebook.com/kirik.metaprotocol
 Twitterhttps://twitter.com/kirik_protocol
 Mediumhttps://medium.com/kirik-protocol
 Bitcoin talkhttps://bitcointalk.org/index.php?topic=3374696.40
 Github: https://github.com/kirikprotocol
 LinkedInhttps://www.linkedin.com/company/kirik-protocol
 Reddit: https://www.reddit.com/r/KirikMetaProtocol
 Telegramhttps://t.me/kirik_protocol

Review ICO Kirik.io (KRK Token) – Tiền điện tử và giao thức hợp đồng blockchain
5 (100%) 2 votes

Bình luận

comments

Tags
Show More

Related Articles

Trả lời

Thư điện tử của bạn sẽ không được hiển thị công khai. Các trường bắt buộc được đánh dấu *

Close