Cardano 스마트 계약을 간단하게 설명

Plutus 스크립트 언어 기초

1. Plutus는 Cardano의 스마트 계약 실행 환경을 위해 특별히 설계된 기능적 프로그래밍 언어입니다.

2. 확장된 UTXO(EUTXO) 모델에서 작동합니다. 이는 각 거래 출력을 가치와 논리를 모두 전달하는 독립적이고 불변의 단위로 취급한다는 점에서 이더리움의 계정 기반 모델과 근본적으로 다릅니다.

3. 모든 Plutus 스크립트는 트랜잭션이 원장에 승인되기 전에 검증을 통과해야 결정적인 결과를 적용하고 다른 생태계에서 흔히 발생하는 재진입 취약성을 제거합니다.

4. 스크립트는 온체인 배포에 앞서 정확성과 안전성을 보장하기 위해 공식 검증을 거치는 하위 수준 중간 표현인 Plutus Core로 컴파일됩니다.

5. 개발자는 런타임 오류를 줄이고 감사 가능성을 높이는 강력한 유형 안전성과 컴파일 타임 보장을 활용하여 Haskell 구문을 사용하여 Plutus 계약을 작성합니다.

Marlowe 금융 계약 모델

1. Marlowe는 Plutus 위에 구축된 도메인별 언어로, 옵션, 스왑, 에스크로 계약과 같은 금융 계약에 맞춰 제작되었습니다.

2. 낮은 수준의 블록체인 메커니즘을 추상화하여 경제학자나 법률 전문가와 같은 프로그래머가 아닌 사람도 시각적 편집기나 선언적 구문을 통해 계약 논리를 정의할 수 있습니다.

3. 계약은 역할, 작업 및 결과로 구성되며 경쟁 조건이나 모호한 상태 전환을 방지하기 위해 런타임에 엄격한 시간 순서가 적용됩니다.

4. 모든 Marlowe 계약은 자동으로 Plutus Core로 변환되고 동일한 검증 규칙이 적용되어 Cardano 합의 계층과의 완전한 호환성이 보장됩니다.

5. 이 모델은 구성성을 지원합니다. 단일 거래 내에 여러 Marlowe 계약을 내장할 수 있으므로 외부 오라클 없이 복잡한 다자간 조정이 가능합니다.

Ouroboros 합의 통합

1. 스마트 계약 실행은 슬롯 리더가 정기적인 전송과 함께 Plutus 스크립트가 포함된 트랜잭션을 검증하는 Ouroboros 시대 내에서 전적으로 발생합니다.

2. 스크립트 실행은 서비스 거부 공격을 방지하고 공정한 수수료 할당을 보장하기 위해 트랜잭션별로 제한된 "메모리 단위"와 "CPU 단위"로 측정된 계산 리소스를 소비합니다.

3. 프로토콜은 엄격한 시간 잠금 메커니즘을 시행하여 스크립트가 Cardano의 에포크 및 슬롯 타이밍 인프라에 맞춰 유효성 간격을 지정하도록 요구합니다.

4. 외부 상태 읽기는 허용되지 않습니다. 모든 입력은 트랜잭션 컨텍스트에서 명시적으로 제공되어야 하며 불변성을 유지하고 계약 평가의 전체 재생성을 활성화해야 합니다.

5. 스테이크 풀 운영자는 스크립트 검증을 독립적으로 처리하며 합의에는 중간 계산 단계가 아닌 최종 출력에 대한 동의만 필요하므로 노드 간 동기화 오버헤드가 줄어듭니다.

Project Catalyst를 통한 온체인 거버넌스

1. ADA 보유자는 기본 토큰을 사용하여 자금 제안을 제출하고, 스마트 계약 표준과 관련된 CIP를 포함한 기술 업그레이드에 투표하고, 재무 자원을 할당합니다.

2. 각 제안은 연속적인 시대에 걸쳐 커뮤니티 검토, 공식 평가 및 다단계 투표를 거치며 최종 승인을 통해 자동 자금 지급이 실행됩니다.

3. Cardano에 배포된 스마트 계약에는 거버넌스 후크가 통합되어 토큰 가중치 결정을 통해 수수료 구조나 보상 분배 논리와 같은 매개변수를 수정할 수 있습니다.

4. 투표권은 위임 페널티나 잠금 요구 사항 없이 스테이킹된 ADA 잔액에서 직접 계산되므로 참여 인센티브를 유지하면서 유동성을 보존할 수 있습니다.

5. 모든 거버넌스 조치는 공개 탐색기를 통해 액세스할 수 있는 온체인 기록을 생성하여 투명성을 지원하고 분석 및 책임 추적을 위한 제3자 도구를 활성화합니다.

네이티브 토큰 및 NFT 기능

1. Cardano는 기본적으로 다중 자산 발행을 지원합니다. 즉, 맞춤형 스마트 계약을 배포하지 않고도 스테이블 코인 및 NFT를 포함한 토큰을 발행할 수 있습니다.

2. 정책 스크립트는 Plutus로 작성되고 원장 수준에서 시행되는 토큰 생성 및 파괴를 관리하며 공급 제어 및 메타데이터 무결성에 대한 암호화 보장을 제공합니다.

3. Cardano의 NFT는 오프체인 스토리지 솔루션에 의존하는 대신 블록 생성 중에 검증인이 검증한 거래 출력에 직접 인코딩된 풍부한 메타데이터를 전달합니다.

4. 토큰 전송은 Plutus 스크립트 실행과 원자적으로 공존하여 자산 간 조건부 논리를 활성화합니다. 예를 들어 지정된 ADA 금액을 받은 경우에만 NFT를 릴리스합니다.

5. 모든 자산은 Plutus 스크립트 해시에서 파생된 고유한 정책 ID를 가지고 있어 입증 가능한 출처를 설정하고 지갑과 시장에서 결정적인 식별을 가능하게 합니다.

자주 묻는 질문

Q1: Cardano 스마트 계약에는 가스 수수료가 필요합니까? 아니요. 거래 수수료는 크기와 계산 복잡성을 기준으로 계산되지만 Ethereum의 EVM과 같은 동적 가스 계량 메커니즘은 없습니다. 요금은 소비된 메모리 및 CPU 단위별로 고정되어 제출 시 결정됩니다.

Q2: Plutus 스크립트는 외부 API 또는 오라클과 상호 작용할 수 있습니까? 직접적으로는 아닙니다. 외부 데이터는 신뢰할 수 있는 오프체인 서비스를 통해 수집되고 트랜잭션 입력의 일부로 제출된 다음 스크립트 내에서 사전 정의된 제약 조건에 대해 유효성을 검사해야 합니다.

Q3: 배포된 Plutus 계약을 업그레이드할 수 있나요? 예. 하지만 원본 스크립트에 변경 가능한 정책 ID 참조 또는 거버넌스 제어 주소에 대한 권한 위임과 같은 업그레이드 논리가 명시적으로 포함된 경우에만 해당됩니다.

Q4: Cardano는 계약 재진입을 어떻게 처리합니까? EUTXO 모델은 각 출력이 새 트랜잭션에서 완전히 소비되기 때문에 본질적으로 재진입을 방지합니다. 호출 간에 공유된 변경 가능한 상태가 없으므로 재귀 호출 위험이 제거됩니다.