Zen에 대해서 배우기

F*—일반적인 확인

모든 스마트 컨트랙트 플랫폼은 올바른 실행과 리소스 소비라는 두 가지 문제를 처리해야합니다. 이것들은 탈중앙화된 플랫폼에서 해결하기가 특히 어렵습니다.

Zen은 스마트 컨트랙트을 정의하기 위한 시작점으로 F*를 사용합니다. Microsoft Research에서 개발한 F *는 공식 검증을 목표로 하는 기능적인 언어입니다. Zen은 F *의 강력한 증명 기법을 사용하여 정확성 증명을 작성하고 제한된 시간 내에 계약이 실행된다는 것을 증명합니다. 정확성의 증거는 누구나 특정 계약을 작성하여 예를 들어 콜 옵션과 같은 특정 자산을 구현할 수 있음을 의미하며 그리고 사용자 또는 계약서는 그 주장대로 행동 할 때 자신감을 가지고 즉시 해당 자산을 발견하여 사용할 수 있습니다.

한정된 계산

입증된 자원 범위를 통해 마이너는 서비스 공격 거부의 위험을 겪지 않고 계약을 사용하는 모든 거래를 수락하고 청구 할 수 있습니다. 입증 된 리소스 범위는 또한 매우 중요한 최적화를 가능하게합니다. 계약서는 작성된 순간 .NET 바이트 코드로 컴파일되어 인터프리터 스크립팅 언어보다 훨씬 빠르게 실행될 수 있습니다.

UTXOs & 불변성

가장 낮은 수준에서, Zen은 비트코인과 유사하게 코인을 잠금 해제하고 새로운 결과물로 다시 잠그는 거래를 합니다. "사용되지 않은 거래 출력" 또는 "UTXO" 패러다임이라고도 하는이 패러다임은 계약 생성 거래를 포함하여 모든 거래가 계약을 실행하거나 거래 서명을 확인하기 전에 네트워크 합의에 분명하게 영향을 미친다는 것을 의미합니다. Zen 컨트랙트는 변경 불가능합니다. 일단 생성되면 내부적으로 변경되지 않습니다. 데이터를 저장해야하는 계약은 거래 출력에서 수행됩니다.

활성 계약 설정 & 오프체인 거래

Zen 컨트랙트는 일정 기간 유효한 상태를 유지하기 위해 지급되며, 지급이 만료되면 비유효 상태가되어 더 이상 마이너 또는 노드에 부담을주지 않습니다. 재 유효화되면 계약서가 원래대로 비유효화 된 적이 없는것처럼 정확한 원본 코드로 나타납니다. 이를 통해 사용자는 계약 자체를 사용하지 않고 계약 발급 자산을 거래하고 오직 최종 결제에서만 계약을 유효화 할 수 있습니다.

UTXO 패러다임과 활성 계약 설정의 결합은 스마트 컨트랙트에 의해 확보된 지불 채널을 허용합니다. 사용자는 분쟁의 경우 Zen 네트워크에만 배치되는 서명된 거래를 교환하거나 채널을 폐쇄하기 위해 신속하게 오프 체인을 거래 할 수 있습니다. 분쟁이 발생하지 않는 한 매우 복잡한 계약도 예비로 보유 할 수 있으며, 활성화되거나 지급되지 않을 수 있습니다.

오라클 및 외부 데이터

Zen 및 비트코인 블록체인 외부의 데이터는 Zen에서 외부 세계의 이벤트와 자산에 대한 합의를 가능하게합니다. Zen 신탁은 효과적이고 잘 보상됩니다. 오라클은 각 부분에 대해 입증된 비용과 함께 많은 양의 데이터에 머클 트리 약정을 사용하고 개별 데이터 조각을 판매 할 수 있습니다.

통합된 합의 & 비트코인 완성

Zen 마이너는 Zen 블록 체인을 캐고 있지만 또한 비트코인 블록체인을 모니터링하고 유효성을 검사해야합니다. Zen의 각 블록은 여러 블록 헤더의 비트코인을 참조 할 수 있으므로 비트코인 합의에 따르게됩니다.

이것은 비트코인 노드의 수를 증가시킬뿐만 아니라, Zen을 비트코인과 상호 운영 할 수있게합니다. 비트코인의 모든 활동은 Zen의 이벤트에 영향을 미칠 수 있습니다.

Zen 계약은 비트코인 주소를 모니터링하고 이에 따라 자산을 자동으로 발행 할 수 있습니다. 그러나 이것은 비트코인 사용자가 비트코인을 떠나지 않고 Zen에서 직책을 맡고 계약을 체결하고 안전한 탈중앙화 거래를 할 수 있음을 의미합니다. 담보물을 보유한 Zen 계약은 비트코인으로 적절한 지불을 시행합니다.

Bitzen

담보로 확보된 Zen의 비트코인 크레딧은 특별한 자산을 얻습니다. 계약은 담보 금액, 비트코인 네트워크상의 실제 비트코인의 존재 여부 및 위험 결과의 정도를 이해할 수 있습니다. 그들은 비트코인 크레딧의 여러 다른 소스를 받아 들여 위험에 맞추기 위해 가격을 조정할 수 있습니다.