체인 간 감사

(섹션: 생태계 및 네트워크)

1) 목표와 범위

• 마무리 및 조직을 고려하여 레코드의 정확성과 완전성을 확인하십시오.
• 의사 결정 및 거래 (암호 서명, 상업적 증거, ZK/낙관적 모델) 의 가능성을 보장하십시오.
• 보고서에서 원시 이벤트까지 계보를 제공하십시
• 표준화 된 저널 및 절차를 통해 운영 및 규제 위험을 줄입니다.

2) 진실의 근원과 신뢰의 모델

체인 상태 및 로그: 블록, 계약 이벤트, 메시지 패킷 해시.
교량 및 예고편: 응용 프로그램, 영수증, 증거 (경량 고객/낙관적/ZK).
PSP/KYC/AML: 수표 상태, 지불 영수증, 제재 조치.
운영 체제: 구성 요소, 기능 플래그, SDK 버전, 한계, 키.
정부/솔루션: 제안, 시간 잠금, 실행.

신뢰 수준: 암호 학적으로 검증 된 → 경제적으로 확정 된 → 운영 인증 (서명 및 변경 불가능한 로그).

3) 마무리, 조직 및 확률 상태

• '관찰 된 → 확인 (K) → 확정 → 도전 (낙관적) → 무효 (reorg)'

• 체인/자산/위험 클래스 당 K 확인.
• 낙관적 인 다리에 대한 도전 창.
• 대량/중요 활동에 대한 최종 지연.
• 재생 처리: 오래된 해시를 참조하여 자동 장애/재생.

4) 불변의 로그 및 해시 체인

감사 로그 (추가 전용): record = (시간, 소스, 페이로드 해시, 서명).

5) 엔드 투 엔드 계보 데이터

• 칼럼 수준 계보: 쇼케이스/보고서에서 변형 및 원시 이벤트까지.

6) 브리지 및 도메인 구성 제어

교량/증기 체인 등록: chainID, 증거 유형, K 확인/분쟁 창, 계약 주소, 10 진수/자산 맵.
SDK/에이전트 버전: 최소 지원, LTS, 버전 별 트래픽 공유.
키 및 역할: org _ id → peer _ id → 기능, 용어 및 회전.
ACL/한계: 요율 제한, 일일 거래량, 화이트리스트 자산/방법.

7) 증거 스택

로그 증명: 소스 서명 + 해시 체인/앵커.
상태 증명: 가벼운 클라이언트/확인 헤더 + 머클 브랜치.
실행 증명: ZK 계산 정확성 증명 (사용 가능한 경우).
낙관적 증거: 도전 할 때까지 사실 (도전 기간, 스테이크, 심판).
영수증 페어링: 배송 증명/실행.

8) 체인 간 감사의 SLI/SLO

• '관찰 된 _ at' 에서 금을 치기 위해 신선도 p95 (최소).
• K 창에서 예상되는 완전성 (%) vs.
• 수정 (%) (체계 검증, 서명, 증명).
• 증명 범위 (%) - 암호화 증거가있는 기록의 비율.
• Reorg 핸들링 성공 (%).
• 드리프트 감지 MTTA (

SLO: 신선도 7%, 정확도는 99 이상입니다. 9%, 증명 범위 0%, Reorg Success 9%, MTTA는 5 분 드리프트합니다.

9) 데이터 스키마 (pseudo-SQL)

이벤트/번역 등록

sql
CREATE TABLE xchain_events (
id TEXT PRIMARY KEY,
observed_at TIMESTAMPTZ,
status TEXT,         -- observed    confirmed    finalized    challenged    invalidated chain_id TEXT, block_height BIGINT, tx_hash TEXT, log_index INT,
type TEXT,          -- bridge.lock    bridge.mint    transfer    kyc.pass...
actor_src TEXT, actor_dst TEXT,
asset TEXT, amount NUMERIC, usd_value NUMERIC,
bridge_ref TEXT, idempotency_key TEXT,
proof_ref TEXT
);

증명

sql
CREATE TABLE proofs (
id TEXT PRIMARY KEY,
kind TEXT,          -- log    state    zk    optimistic root_hash TEXT, leaf_hash TEXT, proof JSONB,
anchored_chain TEXT, anchor_tx TEXT,
created_at TIMESTAMPTZ
);

수정 불가능한 감사 로그

sql
CREATE TABLE audit_log (
seq BIGSERIAL PRIMARY KEY,
ts TIMESTAMPTZ,
source TEXT, record_hash TEXT, prev_hash TEXT,
sig_org TEXT, sig_payload TEXT
);

브리지/설정 등록

sql
CREATE TABLE bridge_registry (
pair_id TEXT PRIMARY KEY,
src_chain TEXT, dst_chain TEXT,
proof_mode TEXT, confirmations INT, challenge_minutes INT,
contracts JSONB, assets_map JSONB, sdk_min TEXT, lts TEXT,
updated_at TIMESTAMPTZ, updated_by TEXT
);

10) 무결성 제어보고 (의사 요청)

보고서를 전문가와 비교

sql
SELECT r.report_id, COUNT() AS rows,
100.0 SUM(CASE WHEN e.proof_ref IS NOT NULL THEN 1 ELSE 0 END) / COUNT() AS proof_coverage_pct
FROM report_rows r
JOIN xchain_events e ON r.event_id = e.id
GROUP BY r.report_id;

구성 드리프트 탐지

sql
SELECT pair_id, COUNT() AS changes_24h
FROM config_audit
WHERE ts >= now() - INTERVAL '24 hours'
GROUP BY pair_id
HAVING COUNT() > 0;

리그 분석

sql
SELECT chain_id, date_trunc('hour', observed_at) AS h,
SUM(CASE WHEN status='invalidated' THEN 1 ELSE 0 END) AS reorg_cnt
FROM xchain_events
WHERE observed_at >= now() - INTERVAL '7 days'
GROUP BY chain_id, h;

11) 구성 (의사 -YAML)

마무리 창 및 증명 모드

yaml finality:
eth-mainnet: { k: 12, proof: light_client }
polygon:   { k: 256, proof: light_client }
solana:   { k: "optimistic:32 slots", proof: optimistic, challenge_minutes: 20 }
zk-bridge:  { proof: zk, sla_proof_sec: 180 }

품질 감사 매개 변수

yaml audit:
freshness_p95_min: 3 completeness_min_pct: 99.7 correctness_min_pct: 99.9 proof_coverage_min_pct: 99.0 drift_mtta_min: 5

앵커링 정책

yaml anchoring:
cadence: "15m"
chains: ["eth-mainnet"]
anchor_contract: "0xANCh..."

12) 관찰 및 대시 보드

감사 작전 (реа복잡한 -та여러 가지): 신선도, 완전성, 증명 범위, Reorg/Challenge, Drift-alerts, 오류 예산 연소.
교량 준수: 레지스트리, SLA 마무리, 이상 비율에 대한 실제 구성 요소 준수.
데이터 계보: 대화 형 경로 보고서 → 쇼케이스 → 변환 → 원료 → 증거/앵커.
키 및 액세스 위생: 만료 된 키, 의심스러운 서명, 회전 주파수.

13) 프로세스 및 역할

데이터 소유자-Schemas 및 상점이 정확합니다.
감사 (내부/외부) -증거 확인, 샘플링, 정책 준수.
교량/릴레이 운영자-증거 유지 보수 및 마무리.
보안/준수-제재, 사건, 키 및 액세스 검토.
거버넌스-구성 요소/제한 변경 승인, 보고서 게시.

14) 플레이 북 사건

A. 설정 드리프트 (레지스트리 및 사실 불일치)

1. 영향을받는 쌍 동결, 2) 마지막 서명 된 버전으로 설정을 롤백합니다. 3) 보고서 재계산, 4) 공개 메모.

B. Reorg/챌린지 서지

1. 확장 K/분쟁 창, 2) 대량의 마무리 지연, 3) 참가자에게 경고, 4) 복고풍 분석.

C. 불충분 한 증거 범위

1. 고정/수은 재개, 2) 로깅 수준 상승, 3) 샘플 100 수동 점검 케이스, 4) 24 시간 동안보고.

D. 소스 키 타협

1. 즉각적인 철회, 2) 임계 배치 다시 서명, 3) 신뢰할 수있는 목록 업데이트, 4) 영향 분석 및 사후 부검.

자산 가이드의 불일치

1. 영향을받는 자산이있는 보고서, 2) 카탈로그 롤백, 3) USD 정규화 재 계산, 4) 수정 된 보고서의 게시에서 중지하십시오.

15) 외부 감사 점검 및 선택

샘플링 계획: 회로/브리지/섬 클래스별로 계층화 된 샘플링.
레퍼포먼스 테스트: 원자재로부터의 지표의 독립적 인 재구성.
워크 스루: 증거 확인 기능이있는 보고서에서 원료 (및 백) 까지.
키 제어 테스트: 회전, 취소 된 키, 권한 제한.

관리 변경: 타임 록/제외 정책으로 릴리스 준수

16) 구현 점검표

1. 도메인별로 진실의 근원과 마무리 창을 식별하십시오.
2. 불변의 로그, 해시 체인 및 정기적 인 고정을 사용하십시오.
3. 표준화 체계, demempotency 키 및 열에 대한 계보.
4. 서명 및 감사 로그를 사용하여 브리지/컨디션의 레지스터를 올립니다.
5. SLI/SLO 및 감사 대시 보드 설정; 드리프트 경고가 포함됩니다.
6. 재구성/챌린지 처리 및 지연된 마무리.
7. 샘플링, 워크 스루, 재성능 등 외부 감사 파일럿을 수행합니다.
8. 사고에 대해 정기적으로 사후에 정책을 업데이트하십시오.

17) 용어집

최종 - 주/이벤트의 돌이킬 수 없음.
Reorg-체인을 재 조립하여 블록의 일부를 취소합니다.
고정-공공 네트워크에서 로그 해시 수정.
머클 트리-많은 레코드의 입증 가능한 집계 구조.
조명 클라이언트 증명-헤더/머클 브랜치로 다른 네트워크의 상태를 확인합니다.
ZK-proof-계산/상태의 정확성에 대한 짧은 증거.
낙관적 인 증거-' 도전 '창에서 도전의 가능성에 대한 수용.
계보-데이터 원점의 종단 간 추적 성.
증명 범위-유효한 증거가있는 레코드의 비율.

결론: 체인 감사는 확률의 분야입니다. 마무리 및 재구성 처리, 변경되지 않은 로그와 고정, 통합 체계 및 구성 요소 레지스터를 결합하고 명확한 SLO 및 플레이 북을 통해 생태계는 원시 이벤트에서 관리 결정에 이르기까지 검증 가능한 보고서와 관리 가능한 위험을받습니다.