Cardano Tech Archive

카르다노(Cardano) 프로토콜의 분산 합의 메커니즘과 스마트 컨트랙트 명세를 기술적으로 분석·기록하는 연구 아카이브

[작성자:] 독립 연구자 (Solo Tech Archivist)

  • 카르다노 프로토콜의 자체 지속성 메커니즘: 재무부(Treasury)와 CIP 업그레이드 체계

    📌 [기록 기준 및 기술 면책 안내]

    • 기록 기준: 카르다노 공식 명세(Formal Specification), CIP 및 Haskell/Rust 오픈소스 노드 구현체
    • 연구 목적: 본 문서는 분산원장 기술의 아키텍처와 합의 원리를 분석한 순수 기술 아카이브입니다.
    • 투자 배제: 본 사이트는 어떠한 가상자산에 대한 투자 권유나 금융 조언을 하지 않습니다. 상세 내용은 면책고지 및 이용약관을 확인하시기 바랍니다.

    카르다노(Cardano) 블록체인은 중앙화된 재단이나 특정 기업의 영구적인 자금 지원 없이도 프로토콜 스스로 소프트웨어 개발, 인프라 유지, 연구 개발(R&D)을 지속할 수 있도록 수학적·경제학적 피드백 루프인 온체인 재무부(Treasury System)를 핵심 아키텍처로 내장하고 있습니다. 본 고에서는 Ouroboros 합의 계층에서 계산되는 에포크(Epoch) 수수료 분배 수식, CIP-1694에 따른 거버넌스 출금 절차, 그리고 분산 의사결정의 기술적 메커니즘을 상세히 분석합니다.

    1. 에포크 보상과 재무부 적립의 수학적 분배 모델

    카르다노의 1개 에포크(5일, 432,000 슬롯)가 종료될 때마다, 네트워크에서 발생한 총 트랜잭션 수수료와 미발행 ADA 적립금(Reserves)의 고정 비율이 보상 풀(Reward Pot, $ ho$)로 유입됩니다. 이 보상 풀은 스테이크 풀 운영자(SPO) 및 위임자에게 분배되기 전에 먼저 재무부로 일정 비율이 강제 적립됩니다.

    프로토콜 파라미터 공식 명칭 및 기본값 기술적 기능 및 수식 역할
    $ au$ (tau) treasuryCut (0.20, 즉 20%) 에포크 보상 총액 중 재무부 계좌로 직접 전송되는 고정 차감 비율
    $ ho$ (rho) monetaryExpansion (0.003, 즉 0.3%) 미발행 비축 풀(Reserves)에서 매 에포크마다 신규 공급되는 확장 비율
    Treasury Growth $\Delta T = au imes ( ext{Fees} + ho imes ext{Reserves})$ 에포크당 재무부 순증액을 결정하는 온체인 정적 계산식

    2. CIP-1694 기반 온체인 재무부 출금(Treasury Withdrawals) 거버넌스

    과거 재무부 자금은 IOG 및 재단이 주관하는 프로젝트 카탈리스트(Project Catalyst)의 오프체인 투표를 거쳐 수동 집행되었으나, 창(Chang) 하드포크 이후 CIP-1694가 적용되면서 완전한 온체인 스마트 거버넌스로 전환되었습니다.

    재무부에서 자금을 인출하기 위해서는 온체인 거버넌스 액션(Governance Action) 중 Treasury Withdrawal Action이 제출되어야 하며, 다음 세 거버넌스 주체의 다자 합의 임계치(Threshold)를 통과해야만 원장의 재무부 계좌에서 출금이 실행됩니다:

    • DRep(탈중앙화 대표자): 위임받은 활성 투표 지분의 과반(파라미터 정의치, 통상 51%~67%) 찬성.
    • 헌법위원회(Constitutional Committee): 출금 제안이 카르다노 온체인 헌법 원칙에 부합하는지에 대한 정족수 판정.
    • SPO(스테이크 풀 운영자): 네트워크 보안에 영향을 미치는 중요 재정 집행 시 지분 기반 투표 참여.

    3. Haskell 원장 코드 수준에서의 상태 전이 검증

    카르다노 노드의 Haskell 구현체(`cardano-ledger`)에서 재무부 잔고는 원장 상태(`NewEpochState`)의 `AccountState` 내 `_treasury` 필드로 엄밀하게 불변 관리됩니다. 정산 단계(`TICK` 및 `EPOCH` 트랜지션)에서 모든 산술 계산은 부동소수점 오차를 방지하기 위해 유리수(`Rational`) 타입으로 정밀 계산된 후 Lovelace 단위(10^-6 ADA)의 정수로 절사됩니다.


    ※ 기술 면책 및 서술 기준

    • 본 아티클은 공식 명세서, CIP(Cardano Improvement Proposals) 및 오픈소스 구현체 기준으로 작성된 기술 아카이브입니다.
    • 어떠한 금융상품에 대한 투자 권유나 가격 전망이 아니며, 네트워크 하드포크 및 버전에 따라 실제 구현이 달라질 수 있습니다.
    • 자세한 법적 권리와 한계는 면책고지, 이용약관 및 개인정보처리방침을 따릅니다.
  • 리눅스 커널 튜닝과 시스템 방화벽(UFW/IPTables)을 통한 카르다노 노드 요새화

    📌 [기록 기준 및 기술 면책 안내]

    • 기록 기준: 카르다노 공식 명세(Formal Specification), CIP 및 Haskell/Rust 오픈소스 노드 구현체
    • 연구 목적: 본 문서는 분산원장 기술의 아키텍처와 합의 원리를 분석한 순수 기술 아카이브입니다.
    • 투자 배제: 본 사이트는 어떠한 가상자산에 대한 투자 권유나 금융 조언을 하지 않습니다. 상세 내용은 면책고지 및 이용약관을 확인하시기 바랍니다.

    카르다노 메인넷에서 연중무휴 24시간 블록을 누락 없이 검증하고 전파해야 하는 블록 프로듀서(Block Producer, BP) 및 릴레이(Relay) 노드는 대규모 P2P 연결과 메모리 집약적인 UTxO 연산을 수행합니다. 기본 리눅스 배포판(Ubuntu Server 등)의 기본 커널 파라미터는 노드의 네트워크 I/O 병목을 유발할 수 있으므로, 시스템 수준의 TCP 스택 최적화와 계층형 방화벽 요새화가 필수적입니다. 본 고에서는 리눅스 커널 파라미터(`sysctl`) 설정과 방화벽 정책의 기술적 설계를 상세히 분석합니다.

    1. 카르다노 노드에 최적화된 리눅스 네트워크 커널 파라미터 (sysctl.conf)

    수백 개의 피어와 안정적인 TCP 연결을 유지하고 패킷 드롭을 방지하기 위한 핵심 파라미터 구성은 다음과 같습니다.

    파라미터 명칭 권장 설정값 기술적 최적화 목적
    net.core.somaxconn 65535 소켓 백로그 대기열 크기를 확장하여 순간적인 동시 연결 요청 유실 방지
    net.ipv4.tcp_max_syn_backlog 65535 SYN Flood 공격에 대한 저항력을 높이고 신규 피어 핸드셰이크 안정화
    net.ipv4.tcp_rmem / tcp_wmem 4096 87380 16777216 TCP 송수신 버퍼 자동 튜닝 상한을 16MB로 확대하여 대역폭 지연곱(BDP) 최적화
    vm.swappiness 10 GHC 런타임 메모리가 스왑 영역으로 페이징되는 지연을 억제하고 물리 RAM 우선 사용

    2. 블록 프로듀서(BP)의 위상적 격리 방화벽 정책

    카르다노 블록 프로듀서 노드는 인터넷에 직접 노출되어서는 안 되며, 오직 사설 서브넷(WireGuard VPN 또는 내부 VLAN)을 통해서만 자체 릴레이 노드와 1:1로 통신해야 합니다.

    IPTables 또는 UFW를 적용하여 사설 릴레이 IP를 제외한 외부로부터의 모든 수신(Ingress) 트래픽을 차단(DROP)함으로써 분산 서비스 거부(DDoS) 및 키 탈취 공격으로부터 KES 서명 키를 원천 보호합니다.


    ※ 기술 면책 및 서술 기준

    • 본 아티클은 공식 명세서, CIP(Cardano Improvement Proposals) 및 오픈소스 구현체 기준으로 작성된 기술 아카이브입니다.
    • 어떠한 금융상품에 대한 투자 권유나 가격 전망이 아니며, 네트워크 하드포크 및 버전에 따라 실제 구현이 달라질 수 있습니다.
    • 자세한 법적 권리와 한계는 면책고지, 이용약관 및 개인정보처리방침을 따릅니다.
  • DRep(탈중앙화 대표자) 활동 가이드: 메타데이터 앵커링과 투표 정당성 확보

    📌 [기록 기준 및 기술 면책 안내]

    • 기록 기준: 카르다노 공식 명세(Formal Specification), CIP 및 Haskell/Rust 오픈소스 노드 구현체
    • 연구 목적: 본 문서는 분산원장 기술의 아키텍처와 합의 원리를 분석한 순수 기술 아카이브입니다.
    • 투자 배제: 본 사이트는 어떠한 가상자산에 대한 투자 권유나 금융 조언을 하지 않습니다. 상세 내용은 면책고지 및 이용약관을 확인하시기 바랍니다.

    카르다노의 온체인 분산 거버넌스 프레임워크인 CIP-1694의 핵심 주체는 일반 ADA 보유자로부터 투표권을 위임받아 거버넌스 액션에 찬성, 반대, 기권을 행사하는 DRep(Delegated Representative, 탈중앙화 대표자)입니다. DRep의 등록, 메타데이터 해시 검증, 그리고 위임자의 신뢰를 유지하기 위한 기술적 절차는 완전한 암호학적 검증성을 요구합니다. 본 고에서는 DRep의 기술 사양과 온체인 앵커(Anchor) 아키텍처를 상세히 검토합니다.

    1. DRep 등록 및 자격 인증의 암호학적 구조

    DRep으로 활동하고자 하는 주체는 `cardano-cli`를 통해 Ed25519 기반 거버넌스 키 쌍(DRep Verification Key 및 Signing Key)을 생성하고 보증금(Deposit)을 포함한 온체인 인증서(Certificate)를 블록체인에 발행해야 합니다.

    컴포넌트 기술 사양 역할 및 검증 메커니즘
    drep.vkey Ed25519 공개키 해시 투표 위임자들이 식별하는 공개 DRep ID 생성의 원천
    Anchor URL HTTPS / IPFS URI (최대 128바이트) DRep의 공약, 신원 및 거버넌스 원칙을 담은 JSON-LD 문서의 위치
    Anchor Hash Blake2b-256 (32바이트) 오프체인 메타데이터 파일의 위·변조를 원천 차단하는 온체인 해시 불변값

    2. CIP-119 메타데이터 앵커링과 변조 검증

    카르다노 블록 탐색기 및 투표 포털은 DRep의 Anchor URL에서 JSON 문서를 내려받은 후, 그 본문의 Blake2b-256 해시를 계산하여 온체인 등록 해시와 일치하는지 무결성을 검증합니다. 단 1바이트라도 변경될 경우 메타데이터 무효(Tampered) 경고가 표시되므로 분산 환경에서의 투명성이 수학적으로 보장됩니다.


    ※ 기술 면책 및 서술 기준

    • 본 아티클은 공식 명세서, CIP(Cardano Improvement Proposals) 및 오픈소스 구현체 기준으로 작성된 기술 아카이브입니다.
    • 어떠한 금융상품에 대한 투자 권유나 가격 전망이 아니며, 네트워크 하드포크 및 버전에 따라 실제 구현이 달라질 수 있습니다.
    • 자세한 법적 권리와 한계는 면책고지, 이용약관 및 개인정보처리방침을 따릅니다.
  • eUTxO 인덱서 아키텍처: Kupo와 Ogmios를 활용한 온체인 데이터 실시간 파싱

    📌 [기록 기준 및 기술 면책 안내]

    • 기록 기준: 카르다노 공식 명세(Formal Specification), CIP 및 Haskell/Rust 오픈소스 노드 구현체
    • 연구 목적: 본 문서는 분산원장 기술의 아키텍처와 합의 원리를 분석한 순수 기술 아카이브입니다.
    • 투자 배제: 본 사이트는 어떠한 가상자산에 대한 투자 권유나 금융 조언을 하지 않습니다. 상세 내용은 면책고지 및 이용약관을 확인하시기 바랍니다.

    카르다노의 eUTxO(extended Unspent Transaction Output) 아키텍처는 트랜잭션의 결정론적 검증과 고도의 병렬성을 보장하지만, 상태가 계정(Account) 단위로 집계되지 않고 원장 전체의 개별 출력값(Output)으로 파편화되어 분산 존재합니다. 따라서 dApp 백엔드와 오프체인 애플리케이션이 실시간 잔고, 스마트 컨트랙트 데이터(Datum), 스크립트 참조(Reference Script)를 효율적으로 질의하기 위해서는 전문적인 온체인 인덱서 파이프라인이 필수적입니다. 본 고에서는 Rust 기반 경량 인덱서인 Kupo와 JSON-WSP 웹소켓 브리지인 Ogmios의 결합 구조 및 데이터 동기화 아키텍처를 분석합니다.

    1. Kupo와 Ogmios의 계층별 파이프라인 아키텍처

    카르다노 풀 노드(`cardano-node`)의 Ouroboros 체인 동기화 프로토콜(Mini-protocols)과 클라이언트 애플리케이션 사이에서 Ogmios와 Kupo는 각각 직렬화 브리지 및 인덱싱 데이터베이스의 역할을 분담합니다.

    컴포넌트 구현 언어 및 프로토콜 핵심 역할 및 동작 방식
    Ogmios Haskell / WebSocket (JSON-WSP) 카드라노 노드의 유닉스 도메인 소켓(N2C)에 연결하여 바이너리 CBOR 데이터를 구조화된 JSON 메시지로 실시간 변환 스트리밍
    Kupo Rust / HTTP REST (SQLite / PostgreSQL) Ogmios로부터 전달받은 블록 이벤트를 기반으로 특정 주소, 스마트 컨트랙트 해시, 정책 ID의 UTxO 패턴만을 필터링하여 고속 인덱싱

    2. 블록 롤백(Rollback) 및 원장 일관성 보장 메커니즘

    블록체인 분산 합의 과정에서는 네트워크 지연으로 인해 일시적인 체인 분기(Fork) 및 롤백이 필연적으로 발생합니다. Kupo는 Ogmios의 `ChainSync` 프로토콜에서 발행되는 `RollBackward` 이벤트를 수신할 때, 분기 발생 지점 이후에 저장된 UTxO 데이터베이스 레코드를 원자적 트랜잭션(ACID)으로 롤백하여 메모리 풀 및 인덱스의 완벽한 상태 정합성을 유지합니다.


    ※ 기술 면책 및 서술 기준

    • 본 아티클은 공식 명세서, CIP(Cardano Improvement Proposals) 및 오픈소스 구현체 기준으로 작성된 기술 아카이브입니다.
    • 어떠한 금융상품에 대한 투자 권유나 가격 전망이 아니며, 네트워크 하드포크 및 버전에 따라 실제 구현이 달라질 수 있습니다.
    • 자세한 법적 권리와 한계는 면책고지, 이용약관 및 개인정보처리방침을 따릅니다.
  • 우로보로스 크로노스(Chronos): NTP 타임서버 의존 없는 암호학적 온체인 시계

    📌 [기록 기준 및 기술 면책 안내]

    • 기록 기준: 카르다노 공식 명세(Formal Specification), CIP 및 Haskell/Rust 오픈소스 노드 구현체
    • 연구 목적: 본 문서는 분산원장 기술의 아키텍처와 합의 원리를 분석한 순수 기술 아카이브입니다.
    • 투자 배제: 본 사이트는 어떠한 가상자산에 대한 투자 권유나 금융 조언을 하지 않습니다. 상세 내용은 면책고지 및 이용약관을 확인하시기 바랍니다.

    기존 블록체인 합의 알고리즘들은 노드 간 슬롯(Slot) 시간을 동기화하기 위해 중앙화된 NTP(Network Time Protocol) 서버에 의존하거나 대략적인 블록 타임스탬프 허용 오차에 의존하는 취약점을 안고 있었습니다. 카르다노의 합의 프로토콜 연구진(Badertscher et al.)이 제안한 우로보로스 크로노스(Ouroboros Chronos)는 중앙화된 시간 서버 없이도 P2P 네트워크의 로컬 클럭 틱(Local Clock Ticks)과 암호학적 상호작용만으로 정밀한 글로벌 공통 시간을 합의하는 탈중앙화 시계 프로토콜입니다. 본 고에서는 크로노스의 수학적 검증 모델과 클럭 드리프트(Clock Drift) 보정 알고리즘을 분석합니다.

    1. NTP 의존성 제거의 보안상 필요성

    중앙화된 시각 동기화 프로토콜(NTP)은 DNS 스푸핑, BGP 하이재킹 또는 시간 조작(Time-shifting) 공격에 노출될 수 있습니다. 슬롯 기반 지분증명(PoS)에서 특정 노드의 시계가 몇 초만 왜곡되어도 슬롯 리더 자격이 박탈되거나 유효한 블록이 고아 블록(Orphan Block)으로 폐기되어 네트워크 포크를 유발할 수 있습니다.

    비교 항목 기존 NTP 기반 동기화 (NTP Client) 우로보로스 크로노스 (Chronos Protocol)
    시간 기준점 외부 중앙화 타임서버 (Stratum 1 원자시계) 온체인 슬롯 전파 및 암호학적 핑퐁 레이턴시
    비잔틴 내성 NTP 서버 변조 시 동기화 붕괴 악의적 노드가 지분의 50% 미만인 한 클럭 동기화 유지
    오차 범위 네트워크 지연에 따라 수백 밀리초 단위 요동 수학적으로 증명된 상한 $\Delta$ 이내로 엄밀히 한정

    2. 2-Round 핑퐁 프로토콜을 통한 로컬 클럭 동기화 수식

    크로노스에서 노드 $i$는 노드 $j$와 서명된 타임스탬프 메시지를 교환하며 라운드 트립 시간(RTT)을 측정합니다. 노드 간 클럭 드리프트 속도가 최대 $ ho$로 유계(Bounded)되어 있을 때, 정직한 노드들은 중간값 합의(Approximate Agreement) 함수를 통해 로컬 에포크 틱을 단일 가상 시간 축으로 수렴시킵니다.


    ※ 기술 면책 및 서술 기준

    • 본 아티클은 공식 명세서, CIP(Cardano Improvement Proposals) 및 오픈소스 구현체 기준으로 작성된 기술 아카이브입니다.
    • 어떠한 금융상품에 대한 투자 권유나 가격 전망이 아니며, 네트워크 하드포크 및 버전에 따라 실제 구현이 달라질 수 있습니다.
    • 자세한 법적 권리와 한계는 면책고지, 이용약관 및 개인정보처리방침을 따릅니다.
  • 영지식 롤업(ZK-Rollup)과 카르다노 레이어-2 확장성의 미래 로드맵

    📌 [기록 기준 및 기술 면책 안내]

    • 기록 기준: 카르다노 공식 명세(Formal Specification), CIP 및 Haskell/Rust 오픈소스 노드 구현체
    • 연구 목적: 본 문서는 분산원장 기술의 아키텍처와 합의 원리를 분석한 순수 기술 아카이브입니다.
    • 투자 배제: 본 사이트는 어떠한 가상자산에 대한 투자 권유나 금융 조언을 하지 않습니다. 상세 내용은 면책고지 및 이용약관을 확인하시기 바랍니다.

    카르다노는 레이어-1의 높은 탈중앙성과 결정론적 보안을 희생하지 않으면서도 수만 건의 초당 트랜잭션(TPS)을 처리하기 위해 플루투스 V3(Plutus V3)에 영지식 증명(Zero-Knowledge Proofs, ZKP) 전용 암호학적 프리미티브를 탑재하였습니다. 특히 페어링 친화 타원곡선인 BLS12-381 및 Groth16/Plonk 검증 빌트인 함수의 도입은 카르다노 상에서 모듈러 ZK-롤업(ZK-Rollup) 네트워크가 직접 정산될 수 있는 기술적 토대를 완성하였습니다. 본 고에서는 카르다노의 ZK 검증 원리와 롤업 아키텍처를 분석합니다.

    1. Plutus V3에 탑재된 ZK 암호학적 원시 함수 (CIP-381)

    과거 스마트 컨트랙트에서 영지식 증명을 검증하려면 수천만 단위를 초과하는 연산 메모리(ExUnits)가 소모되어 온체인 블록 한도 내 실행이 불가능했습니다. 카르다노는 CIP-381 제안을 통해 C/Rust 수준에서 최적화된 저수준 타원곡선 연산을 원장 내장 함수(Built-in Functions)로 추가하였습니다.

    원시 함수 명칭 암호학적 타원곡선 기능 및 연산 비용 절감 효과
    bls12_381_G1_add / mul BLS12-381 군 G1 증명자(Prover)의 서명 및 점(Point) 덧셈/스칼라 곱셈 고속 계산
    bls12_381_miller_loop Tate / Ate 페어링 밀러 루프(Miller Loop) 알고리즘을 통한 쌍선형 사상(Bilinear Pairing) 연산
    bls12_381_final_verify 최종 지수승(Final Exponentiation) Groth16 SNARK 증명의 최종 타당성(1 or 0)을 단일 트랜잭션 스크립트로 즉시 검증

    2. 카르다노 eUTxO 기반 롤업 상태 업데이트의 결정론적 특성

    이더리움의 계정 기반 롤업은 공유 메모리 상태 경합(State Contention)으로 인해 가스비 경쟁 및 트랜잭션 실패가 빈번하지만, 카르다노의 ZK-롤업은 단일 UTxO에 루트 머클 트리 해시(State Root)를 저장하고 해당 UTxO를 소비(Consume)하여 새로운 상태를 생성하는 방식으로 작동합니다. 따라서 오프체인에서 증명 검증 비용이 이미 정확히 계산되어 트랜잭션 제출 전 실행 성공 여부가 100% 보장됩니다.


    ※ 기술 면책 및 서술 기준

    • 본 아티클은 공식 명세서, CIP(Cardano Improvement Proposals) 및 오픈소스 구현체 기준으로 작성된 기술 아카이브입니다.
    • 어떠한 금융상품에 대한 투자 권유나 가격 전망이 아니며, 네트워크 하드포크 및 버전에 따라 실제 구현이 달라질 수 있습니다.
    • 자세한 법적 권리와 한계는 면책고지, 이용약관 및 개인정보처리방침을 따릅니다.
  • 스테이크 풀 운영자를 위한 KES 키 회전(Key Rotation)과 서명 보안 관리 실무

    📌 [기록 기준 및 기술 면책 안내]

    • 기록 기준: 카르다노 공식 명세(Formal Specification), CIP 및 Haskell/Rust 오픈소스 노드 구현체
    • 연구 목적: 본 문서는 분산원장 기술의 아키텍처와 합의 원리를 분석한 순수 기술 아카이브입니다.
    • 투자 배제: 본 사이트는 어떠한 가상자산에 대한 투자 권유나 금융 조언을 하지 않습니다. 상세 내용은 면책고지 및 이용약관을 확인하시기 바랍니다.

    카르다노(Cardano)의 Ouroboros Praos 합의 메커니즘은 과거에 생성된 블록의 서명을 사후에 위조하는 장거리 공격(Long-range Attack)을 원천 봉쇄하기 위해 전방향 보안(Forward-Secure) 서명 체계인 KES(Key Evolving Signature, RFC 8591 표준 기반)를 필수적으로 채택하고 있습니다. 스테이크 풀 운영자(SPO)는 정해진 KES 진화 기간(약 90일, 62개 KES 기간)이 만료되기 전에 블록 프로듀서(BP) 노드의 운영 인증서(Node Certificate)를 회전해야 합니다. 본 고에서는 KES의 암호학적 원리와 단계별 갱신 절차를 기술적으로 검증합니다.

    1. 전방향 보안(Forward Secrecy)과 KES 서명 트리의 암호학적 구조

    KES는 단일 비밀키가 고정된 것이 아니라, 매 $T$ 슬롯마다 내부 상태가 단방향 암호학적 해시 트리(Merkle Tree)를 따라 이전 상태를 영구 삭제하며 진화합니다.

    파라미터 / 파일 기술 사양 및 공식 값 역할 및 보안상 중요성
    slotsPerKESPeriod 129,600 슬롯 (정확히 1.5일) 1 KES 주기가 진화하는 슬롯 단위 간격
    maxKESEvolutions 62회 (총 93일) 생성된 KES 키 쌍이 유효하게 서명할 수 있는 최대 수명 한도
    node.cert Cold Key 서명 인증서 현재 유효한 KES 공개키와 풀의 Cold Vkey를 바인딩하고 시퀀스 카운터를 증명

    2. 단계별 KES 갱신 및 노드 재시작 무중단 절차

    운영자는 네트워크 단절 없이 안전하게 블록 생산 권한을 연장하기 위해 에어갭(Air-gapped) 오프라인 콜드 환경에서 다음 단계를 수행합니다:

    1. 현재 KES 주기 산출: `cardano-cli query tip` 명령을 통해 현재 슬롯을 확인하고, `slot / slotsPerKESPeriod` 공식으로 현재 주기(Current KES Period)를 정확히 정수 계산.
    2. 신규 KES 키 생성: `cardano-cli node key-gen-KES`를 실행하여 핫 노드에 위치할 새 `kes.skey`와 `kes.vkey` 생성.
    3. 콜드 환경 인증서 서명: 인터넷과 분리된 콜드 머신에서 `node.cert`의 카운터를 1 증가시키고 Cold Key로 신규 운영 인증서 서명.
    4. 무중단 교체: 블록 프로듀서 노드의 파일 시스템에 새 인증서와 KES 키를 배치한 후, `SIGHUP` 신호를 전송하여 프로세스 재시작 없이 메모리 상의 서명 키를 실시간 리로드.

    ※ 기술 면책 및 서술 기준

    • 본 아티클은 공식 명세서, CIP(Cardano Improvement Proposals) 및 오픈소스 구현체 기준으로 작성된 기술 아카이브입니다.
    • 어떠한 금융상품에 대한 투자 권유나 가격 전망이 아니며, 네트워크 하드포크 및 버전에 따라 실제 구현이 달라질 수 있습니다.
    • 자세한 법적 권리와 한계는 면책고지, 이용약관 및 개인정보처리방침을 따릅니다.
  • 카르다노 온체인 임시 헌법(Interim Constitution)과 거버넌스 투표 절차 해설

    📌 [기록 기준 및 기술 면책 안내]

    • 기록 기준: 카르다노 공식 명세(Formal Specification), CIP 및 Haskell/Rust 오픈소스 노드 구현체
    • 연구 목적: 본 문서는 분산원장 기술의 아키텍처와 합의 원리를 분석한 순수 기술 아카이브입니다.
    • 투자 배제: 본 사이트는 어떠한 가상자산에 대한 투자 권유나 금융 조언을 하지 않습니다. 상세 내용은 면책고지 및 이용약관을 확인하시기 바랍니다.

    카르다노의 창(Chang) 하드포크 1단계에서는 온체인 탈중앙화 거버넌스 체계인 CIP-1694가 가동되면서 프로토콜의 최고 규범으로 기능하는 임시 헌법(Interim Constitution)과 이를 수호하는 임시 헌법위원회(Interim Constitutional Committee, ICC)가 공식 출범하였습니다. 본 고에서는 헌법 거버넌스의 계층 구조, 7가지 온체인 거버넌스 액션(Governance Action)의 유형, 그리고 각 주체별 의결 정족수 임계치(Threshold)의 수학적 조건을 분석합니다.

    1. 7대 온체인 거버넌스 액션의 법적·기술적 분류 (CIP-1694)

    원장의 규칙, 경제 파라미터, 재무부 자금 지출 등 카르다노의 모든 중대한 변경은 스마트 컨트랙트 트랜잭션의 형태로 제안되며 다음 유형으로 엄격히 한정됩니다.

    거버넌스 액션 변경 대상 및 실행 범위 필수 투표 주체 및 가결 기준
    Parameter Change 수수료 계수($a, b$), KES 주기 등 프로토콜 파라미터 조정 DRep 과반 + 헌법위원회 적합성 판정
    HardFork Initiation 원장 메이저 버전 판올림 (새로운 합의 규칙 적용) SPO 51% 이상 + DRep 과반 + 헌법위원회 전원 합의
    Treasury Withdrawal 온체인 재무부 계좌에서 ADA 인출 및 수령 주소 전송 DRep 정족수 + 헌법위원회 헌법 일치성 검증
    No Confidence 헌법위원회가 역할을 방기하거나 위헌적 행위를 할 때 불신임 DRep 및 SPO의 절대다수 의결 (헌법위원회 배제)

    2. 헌법위원회의 온체인 가드레일 검증 절차

    헌법위원회는 제안된 거버넌스 액션이 카르다노 헌법 문서(Constitution)의 기본권(ADA 총발행량 450억 개 불변, PoS 원칙, 오픈소스 라이선스 존중 등)을 위반하는지 심사합니다. 위원의 온체인 투표는 서명 트랜잭션으로 원장에 기록되며 정족수(Quorum) 미달 시 액션은 다음 에포크에 자동으로 만료(Expire) 처리됩니다.


    ※ 기술 면책 및 서술 기준

    • 본 아티클은 공식 명세서, CIP(Cardano Improvement Proposals) 및 오픈소스 구현체 기준으로 작성된 기술 아카이브입니다.
    • 어떠한 금융상품에 대한 투자 권유나 가격 전망이 아니며, 네트워크 하드포크 및 버전에 따라 실제 구현이 달라질 수 있습니다.
    • 자세한 법적 권리와 한계는 면책고지, 이용약관 및 개인정보처리방침을 따릅니다.
  • 카르다노 네이티브 에셋(Native Assets)과 이더리움 ERC-20 토큰의 아키텍처 비교

    📌 [기록 기준 및 기술 면책 안내]

    • 기록 기준: 카르다노 공식 명세(Formal Specification), CIP 및 Haskell/Rust 오픈소스 노드 구현체
    • 연구 목적: 본 문서는 분산원장 기술의 아키텍처와 합의 원리를 분석한 순수 기술 아카이브입니다.
    • 투자 배제: 본 사이트는 어떠한 가상자산에 대한 투자 권유나 금융 조언을 하지 않습니다. 상세 내용은 면책고지 및 이용약관을 확인하시기 바랍니다.

    블록체인 상에서 사용자 정의 토큰(Token)이나 대체불가토큰(NFT)을 발행하고 전송하는 방식은 원장의 근본 설계 철학에 따라 양대 진영으로 나뉩니다. 이더리움은 스마트 컨트랙트 코드(Solidity ERC-20 스크립트)의 내부 매핑(Mapping) 테이블을 갱신하는 애플리케이션 계층 토큰 모델을 취하는 반면, 카르다노는 토큰을 ADA와 동등하게 원장 회계 엔진 자체에서 직접 추적하는 다중 자산 원장(Multi-Asset Ledger) 모델을 구현하였습니다. 본 고에서는 두 아키텍처의 가스비 구조, 보안성 및 실행 메커니즘을 상세히 대조합니다.

    1. 토큰 회계 아키텍처 및 트랜잭션 실행 메커니즘 비교

    비교 지표 이더리움 ERC-20 토큰 카르다노 네이티브 에셋 (MA Ledger)
    토큰의 원장상 성격 스마트 컨트랙트 상태(Storage) 내 변수 원장 회계 엔진의 1급 시민(First-Class Citizen)
    전송 시 연산 방식 EVM 스마트 컨트랙트 함수(`transfer`) 실행 필수 단순 UTxO 입출력 이동 (스크립트 실행 불필요)
    수수료 (가스비) 스마트 컨트랙트 연산 복잡도에 따라 가변·고비용 일반 ADA 전송과 거의 동일한 기본 수수료(약 0.17 ADA)
    스마트 컨트랙트 취약점 컨트랙트 버그 시 토큰 무한 발행/탈취 위험 원장 노드 엔진이 직접 잔고 보존 법칙 검증 (탈취 불가)

    2. 민팅 정책 스크립트(Minting Policy Script)에 의한 토큰 식별

    카르다노에서 네이티브 에셋은 단순한 심볼 이름이 아닌 정책 ID(PolicyID: 민팅 스크립트의 해시값)와 에셋 이름(AssetName)의 바이트 조합으로 고유하게 식별됩니다. 따라서 스크립트 작성 시 타임락(Time-lock)이나 다중 서명(Multi-sig)을 결합하여 추가 발행을 수학적으로 영구 봉인할 수 있어 토큰 공급량의 절대적 불변성이 코드 수준에서 보증됩니다.


    ※ 기술 면책 및 서술 기준

    • 본 아티클은 공식 명세서, CIP(Cardano Improvement Proposals) 및 오픈소스 구현체 기준으로 작성된 기술 아카이브입니다.
    • 어떠한 금융상품에 대한 투자 권유나 가격 전망이 아니며, 네트워크 하드포크 및 버전에 따라 실제 구현이 달라질 수 있습니다.
    • 자세한 법적 권리와 한계는 면책고지, 이용약관 및 개인정보처리방침을 따릅니다.
  • 플루투스(Plutus) 스마트 컨트랙트의 온체인 검증 스크립트와 데이터 모델

    📌 [기록 기준 및 기술 면책 안내]

    • 기록 기준: 카르다노 공식 명세(Formal Specification), CIP 및 Haskell/Rust 오픈소스 노드 구현체
    • 연구 목적: 본 문서는 분산원장 기술의 아키텍처와 합의 원리를 분석한 순수 기술 아카이브입니다.
    • 투자 배제: 본 사이트는 어떠한 가상자산에 대한 투자 권유나 금융 조언을 하지 않습니다. 상세 내용은 면책고지 및 이용약관을 확인하시기 바랍니다.

    이더리움의 EVM이 전역 상태(Global Mutable State)를 변경하는 명령형(Imperative) 가상머신 모델인 것과 대조적으로, 카르다노의 플루투스(Plutus)는 순수 함수형 언어인 하스켈(Haskell)의 수학적 람다 대수(Lambda Calculus)에 기초한 결정론적 eUTxO 스크립트 엔진입니다. 본 고에서는 Plutus Core V3의 검증 모델, 3대 핵심 인자(Datum, Redeemer, ScriptContext)의 데이터 구조, 그리고 트랜잭션 연산 예산(ExUnits: Execution Units) 계산 원리를 상세히 분석합니다.

    1. Plutus 스크립트 검증 함수의 3대 핵심 인자 구조

    카르다노에서 스마트 컨트랙트는 상태를 직접 ‘쓰기(Write)’하지 않고, 잠겨 있는 UTxO를 소비(Spend)할 수 있는지를 판정하는 불리언(Boolean) 검증자 함수(Validator Function)로 동작합니다.

    인자 명칭 하스켈 타입 표현 기능 및 온체인 역할
    Datum BuiltinData UTxO 출력값에 고정 부착되는 계약의 상태 데이터 (예: 만기 블록 높이, 소유자 공개키 해시)
    Redeemer BuiltinData UTxO를 소비하려는 트랜잭션 서명자가 제공하는 입력 매개변수 (예: 암호 해답, 청구 명령)
    ScriptContext ScriptContext (TxInfo + Purpose) 트랜잭션 전체의 입출력, 서명자 목록, 유효 시간 범위(Valid Range) 등 전체 원장 문맥

    2. 2단계 검증(Phase-2 Validation)과 결정론적 가스비 보호

    플루투스의 가장 독보적인 아키텍처적 장점은 트랜잭션의 실행 성공 여부와 수수료가 로컬 노드에서 사전에 100% 확정된다는 점입니다. 1단계(Phase-1)에서 서명과 UTxO 존재 여부를 확인하고, 2단계(Phase-2)에서 스크립트를 평가합니다. 스크립트 실행이 실패하더라도 채굴자에게 가스비만 빼앗기고 트랜잭션이 취소되는 이더리움과 달리, 유효하지 않은 트랜잭션은 애초에 네트워크 멤풀(Mempool)에 전파되지 않아 수수료 낭비가 원천 방지됩니다.


    ※ 기술 면책 및 서술 기준

    • 본 아티클은 공식 명세서, CIP(Cardano Improvement Proposals) 및 오픈소스 구현체 기준으로 작성된 기술 아카이브입니다.
    • 어떠한 금융상품에 대한 투자 권유나 가격 전망이 아니며, 네트워크 하드포크 및 버전에 따라 실제 구현이 달라질 수 있습니다.
    • 자세한 법적 권리와 한계는 면책고지, 이용약관 및 개인정보처리방침을 따릅니다.