Cardano의 스마트 계약은 어떻게 작동합니까?

Cardano의 현명한 계약 이해

스마트 계약은 코드에 직접 작성된 이용 약관과 자체 실행 계약입니다. 3 세대 블록 체인 플랫폼 인 Cardano 에서 스마트 계약은 고유 한 아키텍처와 확장 성 및 보안에 대한 접근 방식으로 인해 Ethereum과 비교하여 다르게 작동합니다. Cardano의 스마트 계약 구현은 계정 값의 원장을 스마트 계약에 상주하는 계산 계층과 분리하는 계층 구조를 기반으로합니다.

CSL (Cardano Smart Contracts Layer) 으로 알려진 전산 계층을 통해 개발자는 Haskell을 기반으로 한 목적으로 제작 된 스마트 계약 언어 인 Plutus를 사용하여 분산 응용 프로그램 (DAPP)을 배포하고 실행할 수 있습니다.

Plutus는 논리 기반 트랜잭션 작성, 테스트 및 배포를위한 강력하고 안전한 환경을 제공함으로써 Cardano에서 스마트 계약을 가능하게하는 데 중심적인 역할을합니다.

Plutus가 Cardano Smart Contracts에 힘을 발휘하는 방법

Plutus는 Cardano에서 스마트 계약을 개발하는 데 사용되는 기본 언어입니다. 온쇄 및 오프 체인 구성 요소를 결합하여 높은 수준의 정확성과 안전을 보장합니다. 개발자는 기능적 프로그래밍 패러다임을 사용하여 Plutus에서 스마트 계약을 작성한 다음 Plutus Core (CVM)에서 이해하는 저수준 언어로 컴파일됩니다.

필수 모델을 사용하는 이더 리움의 견고성과 달리 Plutus는 순전히 기능적이며 실행 중 부작용과 예기치 않은 동작의 가능성을 줄입니다. 이 설계 선택은 스마트 계약의 감사 및 검증 기능을 크게 향상시킵니다.

• Plutus 계약의 체인 부분은 사전 정의 된 조건에 따라 거래를 검증 할 책임이 있습니다.
• 오프 체인 부품은 트랜잭션이 제출되기 전에 사용자 상호 작용 또는 데이터 가져 오기와 같이 블록 체인 외부에서 발생하는 계산을 처리합니다.

Cardano는 계산 및 검증을 분리함으로써 필요한 논리 만 사슬로 실행되어 가스 비용을 최소화하고 효율성을 향상시킵니다.

Cardano Smart Contracts에서 Marlowe의 역할

프로그래밍에 능숙하지 않은 사용자의 경우 Marlowe는 금융 스마트 계약에 맞게 조정 된 도메인 별 언어 (DSL)를 제공합니다. 이를 통해 비 개발자는 전통적인 코드를 쓰지 않고 에스크로 계약, 옵션 및 경매와 같은 복잡한 금융 상품을 만들 수 있습니다.

Marlowe는 스마트 계약 구축과 관련된 많은 복잡성을 요약합니다. 시각적 인터페이스와 단계별 빌더를 제공하여 비즈니스 전문가 및 재무 전문가가 액세스 할 수 있습니다.

• Marlowe 계약은 Plutus 프레임 워크에 의해 해석됩니다.
• 배치 전에 샌드 박스 환경에서 테스트 할 수 있습니다.
• 각 계약은 유한 상태 기계 모델을 따라 예측 가능한 행동을 보장합니다.

Marlowe는 최소한의 기술 지식을 가진 개인이 Cardano의 분산 금융 (Defi) 생태계에 참여할 수 있도록함으로써 현명한 계약 창출에 대한 접근을 민주화합니다.

트랜잭션 유효성 검사 및 UTXO 모델

Cardano는 이더 리움의 계정 기반 모델이 아닌 Bitcoin과 유사한 UTXO (UNSPENT TRANSACTION OUTPUT) 모델을 사용합니다. 이 시스템에서 각 트랜잭션은 기존의 UTXO를 소비하고 새로운 UTXO를 생성하여 개인 정보 및 병렬 처리 기능을 향상시킵니다.

스마트 계약이 실행되면 제공된 입력이 스크립트에 정의 된 필요한 조건을 충족하는지 여부를 확인합니다. 그들이 그렇게한다면, 거래는 받아 들여집니다. 그렇지 않으면 거부됩니다.

• 스마트 계약은 UTXOS에 스크립트로 첨부됩니다.
• 이 스크립트는 UTXO가 어떤 조건을 소비 할 수 있는지 정의합니다.
• 모든 유효성 검사기 스크립트는 부울 값 (트루 또는 거짓)을 반환해야합니다.

이 모델은 결정 론적 실행을 보장하고 의도하지 않은 상태 변경을 방지하여 Cardano의 스마트 계약을 매우 안전하고 예측할 수 있습니다.

Cardano에서 스마트 계약 개발 및 배포

Cardano에서 스마트 계약을 개발하려면 Plutus Playground , Haskell Development Tools 및 Cardano CLI를 포함한 적절한 도구 체인을 설정해야합니다. 시작하는 방법은 다음과 같습니다.

• Plutus Playground 및 지원 라이브러리가 포함 된 Plutus 개발 환경을 설치하십시오.
• Plutus 언어를 사용하여 Code 또는 Intellij와 같은 Haskell IDE에서 계약서를 작성하십시오.
• 배치 전에 Plutus Playground Simulator를 사용하여 계약 논리를 테스트하십시오.
• 내장 컴파일러를 사용하여 계약을 Plutus Core로 컴파일하십시오.
• Cardano CLI 또는 NAMI 지갑 또는 레이스와 같은 지갑 통합을 통해 계약을 제출하십시오.

배포에는 컴파일 된 스크립트를 UTXO에 첨부하고 수수료 및 시간 제약과 같은 실행 매개 변수를 지정하는 것이 포함됩니다.

Cardano 노드 소프트웨어와의 호환성을 보장하고 계약 실행 중 런타임 오류를 피하려면 각 단계를 정확하게 따라야합니다.

자주 묻는 질문 (FAQ)

Q : Solidity를 사용하여 Cardano에 스마트 계약을 작성할 수 있습니까? A : 아니요, Cardano는 견고성을 지원하지 않습니다. Plutus와 Marlowe를 기본 스마트 계약 언어로 사용합니다.

Q : Cardano Smart Contracts가 완료됩니까? A : Cardano의 Plutus 스크립트는 무한 루프와 자원 소진을 방지하기 위해 완전히 완전하지 않습니다. 대신, 그들은 불완전 하지만 대부분의 분산 응용 프로그램에 대해 충분히 표현되도록 설계되었습니다.

Q : Cardano의 스마트 계약에 대해 거래 수수료는 어떻게 계산됩니까? A : 수수료는 거래 규모와 소비 된 계산 자원에 따라 다릅니다. 복잡한 계약은 일반적으로 스크립트 실행 요구가 증가하여 수수료가 높아집니다.

Q : Cardano에 배포 된 스마트 계약을 업그레이드하는 방법이 있습니까? A : 그렇습니다. 개발자는 프록시 패턴 또는 버전의 스크립트로 설계하여 향후 수정을 허용하면서 불변성 보장을 유지함으로써 업그레이드 가능한 계약을 구현할 수 있습니다.