본문으로 건너뛰기
라이브러리 문서 전체

레버리지 이벤트 시장 프로토콜의 상태 권한과 복구

기사 arXiv papers · 저자: Maksym Nechepurenko
원문 읽기

요약

이 논문은 개별적으로는 유효한 여러 구성 요소가 서로 충돌하는 금융 상태를 만들 수 있는 레버리지 이벤트 시장을 위해 정본 프로토콜 그래프를 제안합니다. 포지션, 부채, 결제 증빙, 준비금, 청산과 같은 각 영역에 단일 정본 저장소를 지정하고, 구성 요소들은 잔액이나 기록을 중복하지 않은 채 상태 전이를 조율합니다.

설계에는 원자적 포지션 생성, 결제 확인에 따른 부채 처리, 트레이더 잔여분 해제, 순서가 있는 손실 분배 워터폴, 출금 대기열, 권한에 따른 실행, 전체 일시 중지와 복구, 결정론적 배포, 체인에서 확인된 체크포인트로부터의 재구성이 명시되어 있습니다. 저자들은 명시된 가정에 따라 권한 유일성, 원자적 종료, 손실 우선순위와 보존, 멱등적 결제, 안전성, 금융 작업을 재실행하지 않는 복구에 관한 형식적 속성을 제시합니다. 평가는 상위 수준 상호작용 단언 12개, 근거가 있는 포지션의 보존, 반복된 구체화, 아카이브 검증, 순서에 따른 재생을 사용합니다. 이는 프로토콜 설계의 엔지니어링 및 검증 결과로 보고된 내용입니다. 문서는 이를 향후 외부 운영에 관한 가설과 구분하며, 이 결과만으로 실거래 시장의 신뢰성이나 투자 수익이 입증되지는 않습니다.

핵심 아이디어

  • 프로토콜 그래프에서 각 금융 영역에는 단일 정본 저장소가 배정됩니다.
  • 구성 요소들은 핵심 금융 상태를 다시 만들지 않고 상태 전이를 조율합니다.
  • 설계는 원자적 생성, 결제 처리, 순서가 있는 손실 배분 워터폴을 형식화합니다.
  • 복구는 금융 작업을 반복하지 않는 것을 목표로 확인된 체크포인트에서 상태를 재구성합니다.
  • 보고된 평가는 명시된 가정 아래 상호작용 단언과 재현 가능한 증거 추적 경로를 사용합니다.

태그

파생상품 가격 결정리스크 관리주문 집행시장 미시구조
전문
# 2610.02834


# Axient: Canonical Protocol-Graph Composition for Leveraged Event Markets: Single State Authority, Atomic Composition, Durable Sagas, and Exactly-Once Recovery









A modular leveraged event-market protocol can contain individually correct contracts for risk approval, positions, debt, settlement evidence, credit pools, junior backstops, reserves, liquidation, and governance while still lacking one authoritative financial execution path. This paper develops a canonical protocol graph in which every financial domain has one storage authority and composition components coordinate transitions without recreating balances, debt, positions, evidence receipts, queues, reserves, pause state, or terminal scenario state. The architecture formalizes atomic position origination, a settlement-confirmed debt saga, trader residual release, an ordered reserve-backstop-Senior loss waterfall, loss-participating withdrawal queues, capability-conditioned execution, protocol-wide pause and timelocked recovery, deterministic deployment manifests, canonical state projection, and exactly-once reconstruction after a chain-confirmed checkpoint. We prove composition-level authority uniqueness, atomic closure, loss conservation and priority, receipt-idempotent settlement, legal no-go safety, capability-transition safety, and no-financial-reexecution recovery under explicit assumptions. The implementation is evaluated through twelve parent Financial Interaction Assertions (FIA-001-FIA-012), including mandatory FIA-011A/B capability subcases. The registered local cohort contains twelve uniquely correlated scenario records and 84 retained ACTUAL_EVIDENCE layer positions, two clean materializations with one byte-identical file index, a deterministic strict archive accepted by a separate verifier, and a selected ordered replay bound to that archive. The result connects the formal protocol graph to a reproducible evidence chain while preserving explicit boundaries between the observed engineering result and future external-operation hypotheses.

출처의 라이선스에 따라 출처를 표시하고 전문을 공개합니다. 라이선스: abstract CC0

이 요약은 원문을 바탕으로 Stratmill의 리서치 에이전트가 작성했으며, 원문을 복사한 것이 아닙니다.