Cardano 스마트 계약은 무엇이며 어떻게 다른가요?

Cardano 스마트 계약 개요

1. Cardano 스마트 계약은 Haskell을 기반으로 구축된 기능적 프로그래밍 언어인 Plutus로 작성된 자체 실행 계약입니다.

2. Cardano 블록체인에서 작동하며 중개자 없이 사전 정의된 논리를 시행합니다.

3. 모든 계약은 결정론적 실행을 보장하는 저수준 유형의 람다 계산 언어인 Plutus Core로 컴파일됩니다.

4. 계약은 거래의 일부로 배포되며 전체 노드에 의한 원장 처리 중에 검증됩니다.

5. 스크립트 검증을 위해 오프체인에서 실행이 이루어지며, 온체인 검증은 암호화 증명 및 입력 데이터 무결성에만 의존합니다.

온체인과 오프체인 실행 모델

1. 블록 검증 중에 계약 코드가 EVM에서 직접 실행되는 Ethereum과 달리 Cardano는 스크립트 평가와 합의를 분리합니다.

2. 사용자는 입력, 출력 및 상환자를 사용하여 트랜잭션을 구성한 다음 트랜잭션 포함 시간에 유효성을 검사할 직렬화된 Plutus 스크립트를 첨부합니다.

3. 유효성 검사기는 트랜잭션 유효성 검사 중에만 실행됩니다. 체인에는 지속적인 상태나 런타임 환경이 존재하지 않습니다.

4. 스크립트 실행은 실행 예산으로 측정된 메모리 및 CPU 단위를 소비하며, 이는 ADA에서 선언하고 비용을 지불해야 합니다.

5. 이 모델은 엄격한 리소스 계산을 시행하고 무한 루프 또는 무제한 온체인 계산을 방지합니다.

공식 검증 및 보안 기반

1. Plutus 계약은 특정 가정 하에서 정확성을 보장하는 수학적 증명을 사용하여 공식적으로 검증될 수 있습니다.

2. 기본 UTXO 회계 모델은 각 거래가 특정하고 변경 불가능한 출력을 소비하도록 보장하여 재진입 취약성을 제거합니다.

3. Cardano의 원장 규칙은 Haskell로 표현되며 구현 전에 엄격한 동료 검토 사양을 거칩니다.

4. 계약 논리는 지갑 동작과 분리됩니다. 서명 키는 자금을 제어하고 스크립트는 지출 조건을 제어합니다.

5. 이 아키텍처는 계정 기반 모델에서 흔히 발생하는 DAO 해킹이나 플래시 대출 조작과 같은 클래스 전반의 공격을 제거합니다.

Marlowe와 Plutus 생태계를 통한 상호 운용성

1. Marlowe는 Plutus 위에 계층화된 도메인별 언어로, 금융 계약을 위해 명시적으로 설계되었으며 개발자가 아닌 사람도 액세스할 수 있습니다.

2. Plutus는 REPL, 테스트 프레임워크, 로컬 시뮬레이션을 위한 Cardano-node CLI와의 통합을 포함한 개발자 도구를 제공합니다.

3. 계약은 UTXO 구성을 통해 상호 작용합니다. 여러 스크립트가 단일 출력을 보호하여 변경 가능한 상태를 공유하지 않고도 구성이 가능하도록 할 수 있습니다.

4. 글로벌 계약 레지스트리가 존재하지 않습니다. 스크립트 해시는 트랜잭션 출력에 직접 포함된 고유 식별자 역할을 합니다.

5. 교차 계약 호출은 기본이 아닙니다. 상호 작용은 명시적인 트랜잭션 구성 및 출력 참조를 통해 발생합니다.

자주 묻는 질문

Q: Cardano 스마트 계약이 실제 데이터에 액세스할 수 있나요? A: 기본 오라클은 기본 프로토콜의 일부가 아닙니다. 외부 데이터는 거래 입력으로 포함되거나 신뢰할 수 있는 증명을 통해 검증된 서명된 오프체인 피드를 통해 제공되어야 합니다.

Q: Cardano 스마트 계약은 업그레이드 가능성을 지원합니까? A: 업그레이드 기능이 내장되어 있지 않습니다. 계약은 일단 배포되면 변경할 수 없습니다. 개발자는 매개변수화된 유효성 검사기, 위임 패턴 또는 다중 서명 거버넌스 출력을 사용하여 유연성을 구현합니다.

Q: Cardano에서는 가스 가격이 역동적인가요? A: 실행 수수료는 작업당 고정 계산 비용을 사용하여 결정론적으로 계산되며, 시장 중심 경매가 아닌 온체인 거버넌스 제안을 통해 주기적으로 조정됩니다.

Q: Plutus 스크립트는 ADA 이외의 토큰과 상호 작용할 수 있습니까? 답: 그렇습니다. Cardano의 기본 토큰은 동일한 UTXO 모델을 공유합니다. 스크립트는 트랜잭션 입력 및 출력 내에서 토큰 존재, 수량 및 정책 ID를 확인할 수 있습니다.