원자적이고 의미 보존적인 환경 토큰 전송을 위한 EVM-Cosmos 브릿지

원문 발행 2026. 10. 28. 02:59원문 언어 영어AI 한국어 번역arXiv Codex (cs.SE) 원문 보기

요약

본 논문은 서로 다른 블록체인 생태계(EVM 및 Cosmos) 간 토큰 전송 시 발생하는 의미 혼합과 원자성 문제를 해결하는 브릿지를 제안합니다. 암호학적 커밋먼트와 확장된 HTLC를 활용하여 구조적으로 의미 보존을 달성했습니다. Polygon 및 Neutron 메인넷에서 프로토타입 검증을 완료하며, 낮은 오버헤드와 높은 신뢰성을 입증했습니다.

핵심 포인트

의미 혼합 방지: 결정론적 지표 식별자를 미러링하여 토큰 의미를 보존합니다.
원자성 확보: HTLC를 단일 소유자 전송으로 확장하고 자동 콜백 기능을 추가했습니다.
프로토콜 검증: TLA+를 사용하여 프로토콜의 불변성을 기계적으로 검증했습니다.
실제 성능 입증: Polygon-to-Neutron 전송에서 중앙값 지연 시간은 97초였습니다.

서로 다른 블록체인 생태계(예: EVM 및 Cosmos) 간에 의미론적으로 유형화된 토큰을 전송하는 과정에서는 두 가지 문제가 발생합니다. 첫째는 의미 혼합(semantic mixing)으로, 전송 과정에서 토큰의 도메인 특이적 의미가 손실되는 현상입니다(예: 서로 다른 방법론 하에 발행된 CO2 제거 크레딧). 둘째는 상이한 합의 및 타이밍 가정을 가지고 있음에도 불구하고 원자성(atomicity)을 유지하는 문제입니다. 본 논문에서는 이 두 가지 문제를 모두 해결하는 브릿지를 제안합니다. 암호학적 커밋먼트에서 파생된 결정론적 지표 식별자를 양쪽 체인의 클래스 레지스트리에 미러링하고 발행 시점에 확인하여, 구조적으로 의미 혼합을 방지합니다. 원자성을 확보하기 위해, 우리는 해시 시간 잠금 계약(HTLC)을 2자 간 교환에서 단일 소유자 전송으로 확장했습니다. 이 과정에는 목적지 클레임 후 출처 에스크로를 소각하는 자동 콜백 기능과, 적대적인 송신자에 대해서도 폴백 소각이 인센티브 호환성을 갖도록 하는 프로토콜 최소 바운티가 포함됩니다. 우리는 TLC(TLA+)를 사용하여 프로토콜의 불변성(invariants)을 기계 검증했습니다(공급 보존은 합리적 모니터 가정이 없으면 실패하지만, 이 가정이 있으면 유지됨). 또한 Polygon 및 Neutron 메인넷에서 Axelar GMP를 통해 양방향 프로토타입을 검증했으며, 7일 동안 50건의 Polygon-to-Neutron 전송에 대해 중앙값 종단 간 지연 시간은 97초였고(모두 온체인 자동 콜백으로 완료됨), 역방향 전송에서는 93초를 기록했습니다. 의미 검증 오버헤드는 메시징 비용의 0.4% 미만입니다. 아울러, Cosmos 기원 메시징의 통합 실패 모드를 문서화했으며, 여기서 지배적인 운영 위험은 지연 시간보다는 릴레이 적격성(relay eligibility)임이 입증되었습니다.

AI 자동 생성 콘텐츠

원문 바로가기

원자적이고 의미 보존적인 환경 토큰 전송을 위한 EVM-Cosmos 브릿지

요약

핵심 포인트

댓글