Skip to main content
이 문서들은 네 가지 주장을 반복합니다. 증거금 계산은 따로 떼어 검증할 수 있고, 자동 디레버리징 선정은 누구나 다시 계산할 수 있으며, 펀딩은 정해지는 것이 아니라 도출되고, 정직한 두 노드는 바이트 단위로 같은 결과를 낸다는 것입니다. 이런 형태의 주장은 프로토콜 바깥의 누군가가 실제로 돌려보기 전까지는 아무 값어치가 없습니다. 이 페이지가 그 방법입니다. 각 점검은 필요한 입력, 그것을 어디서 얻는지, 그리고 그만큼 중요한 것 — 그것이 증명하지 못하는 것을 함께 밝힙니다.
산술만으로
공개 데이터, 아무 노드
직접 운영하는 풀노드
증거금 요건
청산 가격
ADL 선정
펀딩 지급
블록을 바이트 단위로
다섯 중 둘은 네트워크가 전혀 필요 없습니다. 공개된 등급 레코드에 대한 순수 함수이기 때문입니다.

​
1 · 증거금 요건

필요한 것: 레버리지 등급 레코드와 포지션 규모. 그것뿐입니다. 노드도, 네트워크도, 계정도 필요 없습니다. 개시증거금과 유지증거금은 명목 가치와 등급 레코드의 순수 함수이며, 수식과 정확한 반올림은 레버리지에 있습니다. IM=명목 가치×im_leverage×10exponent\text{IM} = \text{명목 가치} \times \text{im\_leverage} \times 10^{\text{exponent}} MM=max⁡ ⁣(명목 가치×mm_leverage×10exponent−차감분,  0)\text{MM} = \max\!\left(\text{명목 가치} \times \text{mm\_leverage} \times 10^{\text{exponent}} - \text{차감분},\; 0\right) 등급 레코드는 API 레퍼런스의 DEX Config 그룹에 공개되어 있습니다. im_leverage, mm_leverage, 공용 exponent, 그리고 등급별 deduction입니다. 명목 가치를 하나 골라 두 식을 종이에서 계산한 뒤, 같은 포지션에 대해 거래 장소가 실제로 매기는 값과 비교해 보십시오. 증명되는 것: 그 요건이 계정별 판단이 아니라 공개 파라미터의 공개된 함수라는 것. 증명되지 않는 것: 그 등급 레코드가 잘 정해졌다는 것. 그것은 거버넌스 문제이지 산술 문제가 아닙니다.
반올림은 허용 오차가 아니라 명세의 일부입니다. 당신의 정수가 거래 장소의 값과 한 단위 다르다면 둘 중 하나가 틀린 것입니다. 어느 쪽인지 결론 내리기 전에 클리어링 하우스 페이지의 반올림 규칙을 확인하십시오.

​
2 · 청산 가격

필요한 것: 같은 등급 레코드에 당신의 잔액과 포지션. 임계값은 비율이며 청산에 정의되어 있습니다. 사용률=유지증거금순담보\text{사용률} = \frac{\text{유지증거금}}{\text{순담보}} 순담보는 잔액에 미실현 손익을 더하고 대기 주문이 예약한 몫을 뺀 것입니다. 이 비율이 트리거에 도달하는 마크 가격을 풀면, 프로토콜이 움직일 가격을 그것이 움직이기 전에 손에 넣게 됩니다. 증명되는 것: 트리거를 당신 자신의 숫자로 미리 도출할 수 있다는 것. 증명되지 않는 것: 실제로 청산될 가격. 그것은 그 순간의 오더북에 달려 있고 파산 가격을 한계로 삼습니다.

​
3 · 자동 디레버리징 선정

필요한 것: 한 마켓의 미결제 포지션과 마크 가격. 아무 풀노드에서나 얻을 수 있습니다. 선정은 점수이며 자동 디레버리징에 정의되어 있습니다. 점수=미실현 이익률 %×실효 레버리지\text{점수} = \text{미실현 이익률 \%} \times \text{실효 레버리지} Accounts 그룹에서 그 마켓의 포지션을, Oracle 그룹에서 인증된 가격을 가져와 이익 쪽 포지션마다 점수를 계산하고 정렬하십시오. 그 순서가 큐입니다. 당신이 계산한 큐의 맨 앞을 인터페이스가 보여 주는 ADL 표시와 비교해 보십시오. 증명되는 것: 큐가 공개 상태의 함수라는 것. 고르는 사람은 없고, 당신의 산술로 찾을 수 없는 포지션도 그 안에 없습니다. 증명되지 않는 것: 디레버리징이 당신에게 닿지 않으리라는 것. 계산할 수 있는 큐라도 당신이 서 있는 큐일 수 있습니다.

​
4 · 펀딩 지급

필요한 것: 정산 라운드의 오더북과 인증된 인덱스, 그리고 당신의 포지션. 비율은 펀딩에서 세 단계로 만들어집니다. 깊이 가중 프리미엄, 마켓 주기에 맞춘 스케일링, 그리고 클램핑입니다. P=max⁡(0,  DW 매수호가−인덱스)  −  max⁡(0,  인덱스−DW 매도호가)인덱스P = \frac{\max(0,\; \text{DW 매수호가} - \text{인덱스}) \;-\; \max(0,\; \text{인덱스} - \text{DW 매도호가})}{\text{인덱스}} F=F8h×주기 길이(초)28,800Ffinal=clamp⁡ ⁣(F,  Fmin⁡,  Fmax⁡)F = F_{8h} \times \frac{\text{주기 길이(초)}}{28{,}800} \qquad F_{\text{final}} = \operatorname{clamp}\!\left(F,\; F_{\min},\; F_{\max}\right) 그다음이 청구 자체입니다. 펀딩 지급액=포지션 규모×마크 가격×펀딩 비율\text{펀딩 지급액} = \text{포지션 규모} \times \text{마크 가격} \times \text{펀딩 비율} 오더북은 Markets 그룹, 인증된 인덱스는 Oracle, 프로토콜이 실제로 집행한 지급은 Accounts 그룹의 펀딩 지급 엔드포인트에서 가져옵니다. 다시 계산하고 비교하십시오. 증명되는 것: 비율이 오더북과 인덱스에서 도출되었을 뿐 운영자가 정한 것이 아니라는 것. 증명되지 않는 것: 인덱스가 옳았다는 것. 오라클이 보장하는 것과 보장하지 않는 것을 보십시오.

​
5 · 블록을 바이트 단위로

필요한 것: 직접 운영하는 풀노드. 누구나 하나 돌릴 수 있습니다 — 노드 운영을 보십시오.
이 페이지에서 오늘 아직 실행할 수 없는 유일한 점검입니다. 공개 접근이 열릴 때까지 네트워크는 비공개 테스트넷 위에 있으므로 앞의 네 가지는 지금 실행할 수 있고 이것은 그때부터 실행 가능해집니다. 여기 실어 둔 이유는 나머지 넷의 가치가 전부 이 하나에 얹혀 있기 때문입니다.
나머지 넷이 기대고 있는 점검입니다. 커밋된 블록과 그 직전 상태를 가져와 실행하고, 당신의 결과를 네트워크의 것과 비교하십시오. 여기서 결정성은 기대가 아니라 강제입니다. 실행 경로는 벽시계도, 런타임 엔트로피도, 부동소수점도, 해시로 무작위화된 순회 순서도 읽지 않습니다. 그래서 불일치는 허용 오차가 아니라 결함입니다. 왜 결과가 재현 가능한가를 보십시오. 이것을 의례가 아니라 진짜 시험으로 만드는 성질이 둘 있습니다. 순서는 합의가 커밋한 객체이므로, 당신이 리플레이하는 순서는 노드가 추론한 것이 아니라 쿼럼이 서명한 것입니다. 그리고 가격은 같은 서명으로 커밋되므로, 네트워크가 인증하지 않은 가격을 상대로 리플레이할 수 있는 창은 없습니다. 증명되는 것: 당신에게 제공되는 상태가 공개된 규칙대로, 네트워크가 커밋한 입력 위에서 만들어졌다는 것. 증명되지 않는 것: 그 규칙에 결함이 없다는 것. 버그를 정확히 재현해도 재현되는 것은 여전히 버그입니다. 감사와 버그 바운티가 이것과 나란히 존재하는 이유입니다.

​
어느 것도 다루지 못하는 부분

검증은 신뢰에 맡겨야 할 범위를 좁힐 뿐 없애지는 못합니다. 남는 것 — 검증자 집합, 가격 쿼럼, 파라미터에 미치는 거버넌스의 범위, 그리고 브릿지 — 은 신뢰 가정에 열거되어 있습니다. 보장이 아니라 한계를 찾으러 오셨다면 다음은 그 페이지입니다.

​
다음으로 읽을 문서

신뢰 가정

확인할 수 있는 것을 모두 확인한 뒤에 남는 것.

노드 운영

하드웨어, 동기화, 그리고 검증자가 실제로 돌리는 것.

IntentionKernel

리플레이를 의미 있게 만드는 네 겹의 닫힘.

API 레퍼런스

위에서 언급한 모든 입력의 필드 수준 상세.