2012년부터 통신회사였던 KIRIK 테크놀로지의 중앙집중화 버전

스마트 컨트랙트2.0

KIRIK (KRK) 프로젝트의 목표는 시멘틱 컨트랙트를 만드는 것으로, 이 컨트랙트에는 이더리움 기반의 스마트 컨트랙트의 단점이 없습니다. 시멘틱 컨트랙트 = 스마트 컨트랙트 2.0. 이 기술은 다양한 분야의 전문가가 이해할 수 있으며 다양한 블록체인과 외부의 거래를 처리할 수 있습니다.

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에 대한 새로운 접근법을 개발합니다. 이 접근법의 수학적 기초는 러시아 과학 아카데미 시베리아 지부, 수학 연구소의 Yuri Yershov, Sergey GoncharovDr. Dmitriy Sviridenko에 의해 세워졌습니다. KIRIK의 컨셉은 LibrettoLabs, Eyeline.mobi, MiniApps.pro 및 수학 연구소(러시아 과학 아카데미 시베리아 지부)의 기초 작업에 기반을 두고 개발되었습니다.

Yuri Yershov

Yuri Yershov는 RAS의 물리학 및 수학 전공의 교수이며, 자문가인 러시아인 수학자입니다. 시베리아 학교의 대수학 및 논리학 부분 대표이기도 합니다.

Sergey Goncharov

Sergey Goncharov는 러시아의 수학자이자 RAS의 학자로, 많은 상을 수상한 교수이며, 수학적 논리와 이산론의 전문가입니다.

Dmitry Sviridenko

Dmitry Sviridenko는 수학 및 컴퓨터 과학 전공의 교수입니다. 그의 전문 분야는 시멘틱 스마트 거래 및 컨트랙트에 적용되는 시멘틱 프로그래밍 이론입니다.

시멘틱 스마트 컨트랙트

KIRIK의 컨셉은 분산원장처럼 블록체인에 기반하지 않으며, 특정 블록체인 플랫폼에 연동되지 않은 시멘틱 스마트 컨트랙트(ΣK)에 기반합니다. 시멘틱 스마트 컨트랙트는 서로 다른 블록체인 플랫폼과 은행이나 거래소와 같은 다른 외부 시스템의 작업을 트랜잭션과 묶어 하나의 통합 트랜잭션이 되도록 프로토콜을 지정할 수 있습니다. 수학적 논리의 관점에서 시멘틱 스마트 컨트랙트는 구성주의 성질을 가진 형식 이론을 나타냅니다. 예를 들면, Δ0 공식의 형태로 된 표현이 그 이론의 특정 모델안에서 사실인지 거짓인지를 검증할 수 있습니다.

시멘틱 스마트 컨트랙트

KIRIK의 컨셉은 분산원장처럼 블록체인에 기반하지 않으며, 특정 블록체인 플랫폼에 연동되지 않은 시멘틱 스마트 컨트랙트(ΣK)에 기반합니다. 시멘틱 스마트 컨트랙트는 서로 다른 블록체인 플랫폼과 은행이나 거래소와 같은 다른 외부 시스템의 작업을 트랜잭션과 묶어 하나의 통합 트랜잭션이 되도록 프로토콜을 지정할 수 있습니다. 수학적 논리의 관점에서 시멘틱 스마트 컨트랙트는 구성주의 성질을 가진 형식 이론을 나타냅니다. 예를 들면, Δ0 공식의 형태로 된 표현이 그 이론의 특정 모델안에서 사실인지 거짓인지를 검증할 수 있습니다.

오라클 혹은 베이스 프리디케이트

KIRIK 플랫폼은 외부 기능(소위 오라클 혹은 베이스 프리디케이트)을 호출할 수 있는 특정 제한 사항(a.k.a. Δ 공식, 아래 참조)의 논리 공식을 사용하는 선언적 사양의 개념을 기반으로 합니다. 시멘틱 컨트랙트는 (일반 컨트랙트와 마찬가지로) 선언적(일반 로직을 사용하여 표현되는) 사양과 규칙을 나타냅니다. 이러한 오라클은 대개 (마이크로 서비스와 같은) 외부 서비스 혹은 다른 시멘틱 컨트랙트에 의해 정의된 시멘틱 프리디케이트로 나타납니다.

오라클 혹은 베이스 프리디케이트

KIRIK 플랫폼은 외부 기능(소위 오라클 혹은 베이스 프리디케이트)을 호출할 수 있는 특정 제한 사항(a.k.a. Δ 공식, 아래 참조)의 논리 공식을 사용하는 선언적 사양의 개념을 기반으로 합니다. 시멘틱 컨트랙트는 (일반 컨트랙트와 마찬가지로) 선언적(일반 로직을 사용하여 표현되는) 사양과 규칙을 나타냅니다. 이러한 오라클은 대개 (마이크로 서비스와 같은) 외부 서비스 혹은 다른 시멘틱 컨트랙트에 의해 정의된 시멘틱 프리디케이트로 나타납니다.

서로 다른 블록체인들의 수렴

특히 시멘틱 컨트랙트는 외부 오라클을 사용하여 서로 다른 블록체인 플랫폼 간의 트랜잭션을 묶어 단일 트랜잭션을 형성하는 프로토콜 로직을 지정할 수 있습니다. 따라서 KIRIK은 다양한 블록체인 플랫폼을 통합하는 메타 프로토콜 역할을 합니다. 예를 들어, 이더리움, NEO 또는 RSK/Bitcoin을 기반으로 하는 스마트 컨트랙트는 KIRIC 기반의 시멘틱 컨트랙트에 대해 외부 오라클 역할을 수행할 수 있습니다. 2단계 트랜잭션 등록은 프로세스의 속도를 높이는 데 사용됩니다. KIRIK 트랜잭션은 IOTA 분산원장에 앵커링된 다음 이더리움 소스 코드에서 포크된 KIRIK 블록체인에 앵커링됩니다. 이를 통해 시멘틱 컨트랙트의 계산을 수행하는 노드 네트워크를 확장하기 위한 장벽을 제거할 수 있으며, 한편으로는 이더리움의 신뢰성 높은 보안 알고리즘을 사용할 수 있습니다.

서로 다른 블록체인들의 수렴

특히 시멘틱 컨트랙트는 외부 오라클을 사용하여 서로 다른 블록체인 플랫폼 간의 트랜잭션을 묶어 단일 트랜잭션을 형성하는 프로토콜 로직을 지정할 수 있습니다. 따라서 KIRIK은 다양한 블록체인 플랫폼을 통합하는 메타 프로토콜 역할을 합니다. 예를 들어, 이더리움, NEO 또는 RSK/Bitcoin을 기반으로 하는 스마트 컨트랙트는 KIRIC 기반의 시멘틱 컨트랙트에 대해 외부 오라클 역할을 수행할 수 있습니다. 2단계 트랜잭션 등록은 프로세스의 속도를 높이는 데 사용됩니다. KIRIK 트랜잭션은 IOTA 분산원장에 앵커링된 다음 이더리움 소스 코드에서 포크된 KIRIK 블록체인에 앵커링됩니다. 이를 통해 시멘틱 컨트랙트의 계산을 수행하는 노드 네트워크를 확장하기 위한 장벽을 제거할 수 있으며, 한편으로는 이더리움의 신뢰성 높은 보안 알고리즘을 사용할 수 있습니다.

시멘틱 도메인

KIRIK은 거래 등록을 위해 자체 분산원장과 스마트 컨트랙트 또는 오라클의 고유한 도메인을 생성할 수 있도록 합니다. 이는 조직 및 커뮤니티가 시멘틱 컨트랙트를 사용하고 동시에 자신의 블록체인 또는 다른 트랜잭션 레지스트리에 트랜잭션을 앵커링시킬 수 있는 확장성을 향상시키는 데 필요합니다. 예를 들어, 은행 협회는 허가된 블록체인에 앵커링시켜 분산된 시멘틱 컨트랙트 네트워크를 만들 수 있습니다. 은행은 또한 그들의 고객에게 시멘틱 컨트랙트 중 일부를 외부 오라클의 형태로 공개할 수 있습니다.

시멘틱 도메인

KIRIK은 거래 등록을 위해 자체 분산원장과 스마트 컨트랙트 또는 오라클의 고유한 도메인을 생성할 수 있도록 합니다. 이는 조직 및 커뮤니티가 시멘틱 컨트랙트를 사용하고 동시에 자신의 블록체인 또는 다른 트랜잭션 레지스트리에 트랜잭션을 앵커링시킬 수 있는 확장성을 향상시키는 데 필요합니다. 예를 들어, 은행 협회는 허가된 블록체인에 앵커링시켜 분산된 시멘틱 컨트랙트 네트워크를 만들 수 있습니다. 은행은 또한 그들의 고객에게 시멘틱 컨트랙트 중 일부를 외부 오라클의 형태로 공개할 수 있습니다.

다양한 분야에 응용

사양

심볼
KRK
블록체인
基于 ETH,战俘
Algo
Ethash
座时间
TBA

밋업 행사

우리는 해당 장소에서 밋업을 열 것입니다. 개인적으로 만나기를 원한다면 연락주세요. 해당 밋업을 성사시킬 수 있도록 최대한 노력할 것입니다.

도쿄

6월 25일~30일

서울

6월30일~7월4일

베이징

7월 4일~6일

광저우-션전

7월 7일~8일

홍콩

7월 9일~12일

注册加入我们的预售

Join Whitelist