TRUST 컨트랙트

• 트러스트 컨트랙트(trust contracts)란 아울체인(OWLchain)이라 불리는 결정가능성을 가지는 프레임워크에 기반하여 안전하게 실행되는 계약을 말한다. 아울체인(OWLchain)은 온톨로지 웹 언어(OWL; Ontology Web Language)와 타임드 오토마타 언어(TAL; Timed Automata Language)로 구성되어 있다. 아울체인이라 불리는 결정가능성을 가진 프로그래밍 프레임워크에 기반하여 안전한 계약을 보장하며, 기존 스마트 계약의 결정불가능성으로부터 발생되는 문제들을 극복할 수 있다. 온톨로지 웹 언어(OWL)의 목적은 기존의 웹 표준 기술들의 조합을 통해 인터넷 상에서 정보의 신뢰성을 제공하는 것이다. 보스코인 블록체인 위에 만들어진 아울체인에 기반한 계약을 트러스트 컨트랙트라고 한다. 이 아키텍처는 표현력을 확장하면서도 계약이 안전하고 정확하게 실행되도록 지원할 수 있는 결정가능성을 유지하도록 설계되어 있다. 아울(OWL)과 RDF 모두 모호하지 않은, 구조화된 데이터 분류체계를 작성하는데 사용될 수 있다. 보스코인은 온톨로지 웹 언어(OWL)를 트러스트 컨트랙트의 기반 언어로 선택했다. 그 이유는 OWL은 이전에 제시된 사실 또는 공리의 집합에서 논리적인 결과를 추론하는 도구인 Reasoners를 사용하여 P-TIME 복잡성을 보장하기 때문이다.