스테이킹 엔진 백서 v1.0
BlazePhoenix 스테이킹 엔진은 BZPX를 위한 단일 자산 볼트이자 신용 설비이며, 어디에도 오라클을 두지 않습니다. 담보와 부채가 같은 토큰이기 때문입니다. 마스터 보존 항등식(Master Conservation Identity)은 가치를 옮기는 모든 트랜잭션에서 conserves 수정자에 의해 강제됩니다. 장부가 계약이 보유한 것보다 더 많이 주장하게 만드는 트랜잭션은 되돌려집니다. 발행량은 블록 시계 위의 닫힌 형태로 2년짜리 기간 여덟 번(eight two-year periods)에 걸쳐 절반씩 줄어듭니다. 이차 부스트는 잠금 약정에 보상하여 7년에서 최대 2.75×에 이릅니다. 서로 겹치지 않는 두 누적기가 어떠한 교차 보조도 없이 발행분과 차입자 이자를 지급합니다. 유지 관리는 평범한 트랜잭션에 얹혀 가스 한도 안에서 이루어집니다. 그리고 지구상 누구든 지급 불능의 온체인 증명과 함께 서킷 브레이커를 내릴 수 있습니다. 이 설계는 BlazePhoenix 애그리게이터와 공유하며 여기서는 프로토콜 자신의 자본에 적용되는 하나의 규율 위에 서 있습니다. 곧, 신뢰하지 말고 계산하라. 모든 수익률, 모든 금리, 모든 지급 능력 검사는 독자가 직접 다시 계산할 수 있는 산술로 체인 상태에서 유도됩니다. 가격 피드도, 키퍼 함대도, 믿어야만 하는 대시보드도 없습니다. 보증은 그 가장자리만큼만 정직하기에, 세 가지 경계를 앞머리에 밝혀 둡니다. 엔진은 건설 중입니다. 이는 각주가 아니라 위에 내건 고지입니다. 관리 역할은 존재하며, 각각은 그것을 한정하는 선과 함께 열거됩니다. 가치를 옮기는 권한이 스테이커의 원금에는 닿지 못하는 관리자(§10.3), 그리고 가장 강한 권한으로도 어떤 자금도 움직이지 못하는 가디언(§12)입니다. 그리고 잠금은 무조건적이지 않습니다. 의도적으로 서로 닮지 않은 두 개의 정지 경로가 존재하며, 각각 온전히 명세되고 그 출처가 영구히 기록됩니다(§12). 독자가 평가해야 할 것은 우리의 정직함이 아니라 우리의 출처입니다.
상태: 엔진은 건설 중입니다
BlazePhoenix 유동성 애그리게이터는 출시된 제품입니다. 스테이킹 엔진은 출시되지 않았습니다. 현재 활발히 엔지니어링 중입니다. 이 문서는 스테이킹 엔진의 설계를 현재 상태 그대로 명세합니다. 아래에 이름이 나오는 모든 방정식, 불변식, 상수, 진입점은 구현이 지켜야 할 사양입니다. 독자가 엔진이 존재하기 전에 그것을 평가할 수 있게 하기 위함입니다. 변경 불가능한 소프트웨어에서는 설계를 먼저 공개하는 것이 올바른 순서입니다. 패치할 수 없는 계약은 배포 이후가 아니라 그 전에 판단되어야 하며, 이 문서는 바로 그 판단이 가능하도록 지어졌습니다. 모든 수치는 다시 유도할 수 있고, 모든 보증은 그 강제 지점과 한계가 같은 문단 안에 함께 적혀 있습니다. 엔진이 출시되면 배포된 바이트코드가 정본이 되고 이 문서는 그 기록이 됩니다. 그때까지 이 문서는 엔진이 무엇이 될 것인지에 대한 공개적이고 반증 가능한 주장입니다. 전문(영어): https://blazephoenix.xyz/staking-whitepaper.md
§1 · 하나의 규율, 두 개의 엔진
BlazePhoenix는 맞물린 두 엔진, 곧 유동성 애그리게이터와 스테이킹 엔진으로 지어진 완전한 온체인 금융 프로토콜이며, 두 엔진은 하나의 규율을 공유합니다. 곧, 신뢰하지 말고 계산하라. 프로토콜의 모든 가격, 모든 수익률, 모든 지급 능력 검사는 독자가 직접 다시 계산할 수 있는 산술로 체인 상태에서 유도됩니다. 라우팅 서비스도, 가격 오라클도, 키퍼도, 업그레이드 경로도 없습니다. 대부분의 프로토콜이 자신을 믿어 달라고 요청하는 자리에서, 이 프로토콜은 검증할 수단을 공개합니다.
§2 · 스테이킹 명제와 마스터 보존 항등식
애그리게이터는 남의 유동성을 경유시킵니다. 프로토콜은 자기 유동성도 길러야 합니다. BlazePhoenix 스테이킹 엔진은 BZPX를 정적인 잔액에서 생산적인 자본으로 바꿉니다. 수익 상품이자, 담보된 신용 한도이며, 장기 보유자를 프로토콜의 성공에 묶어 두는 정렬 장치이기도 합니다. 그리고 이 모두를 하나의 방정식이 다스리는 하나의 계약 안에서 해냅니다.
§3 · 토큰과 발행 일정
10억 BZPX, 영구히 고정, 평범한 ERC-20으로: 소수점 18자리, 발행 경로 없음, 전송 수수료 없음, 리베이싱 없음, 전송 훅 없음, 일시 중지도 블랙리스트도 없음. 이것이 스테이킹 저장소에 기록된 여섯 가지 배포 불변식이며, 연결 시점에 토큰 바이트코드와 대조해 검사합니다. 완전 희석 공급량은 제네시스부터 알려져 있습니다. 희소성은 정책이 아니라 계약의 성질입니다. 10억의 프로토콜 배분은 프로토콜 수준의 기록으로, 동반 문서 및 토큰 자신의 온체인 기록과 함께 있습니다. 이 문서가 담는 것은 엔진이 강제하는 부분, 곧 발행 예산입니다
§4 · 의무 잠금 스테이킹과 부스트 곡선
쉽게 말해, 유동 스테이킹은 없습니다. 모든 예치는 선택한 기간 동안 자본을 묶고, 프로토콜은 그저 그 기간을 지킵니다. 정확히 말해:
§5 · 이중 누적기 원칙(Dual-Accumulator Doctrine)
엔진은 서로 겹치지 않는 두 원천에서 서로 다른 두 수익을 지급하며, 스테이커는 차입 여부에 따라 그중 하나 또는 둘 다를 얻습니다. 설계에서 가장 미묘한 부분이자, 하나의 계약이 예치자와 차입자를 어느 한쪽이 다른 쪽을 보조하지 않으면서 함께 섬길 수 있는 이유입니다. 회계는 DeFi 전반에서 검증된 누적기 패턴을 따릅니다. 가치가 들어올 때마다 지분당 전역 인덱스가 전진하고, 각 포지션은 마지막 정산 시점의 인덱스를 저장하며, 미지급 수익은 그 차이에 포지션의 가중치를 곱한 값입니다. 두 누적기는 같은 시계 위에서 전진합니다. 모든 진입점에서 _updateGlobal이 가장 먼저 실행되고,
§6 · 신용 설비
대출 프로토콜은 수학보다 오라클에서 훨씬 자주 부서집니다. 조작된 피드는 건전한 담보를 무가치해 보이게 하고, 무가치한 담보를 건전해 보이게 합니다. 그러면 청산 로직은 아무리 옳더라도 거짓 위에서 실행됩니다. BlazePhoenix는 오라클을 강화하지 않습니다. 그 범주 자체를 없앱니다. 담보 자산과 차입 자산이 같은 토큰입니다. 스테이커는 BZPX를 잠그고 그것을 담보로 BZPX를 빌립니다. 따라서 포지션의 담보 대비 대출 비율은 한 토큰의 두 수량 사이의 순수한 비, 곧 부채 나누기 스테이크이며, 평가에 외부 가격이 필요하지 않습니다. 조작할 피드도 없고, TWAP 창도 없습니다
§7 · 청산
누적된 이자가 포지션의 스테이크를 부채의 5% 이내로 깎아 내리면 그 포지션은 청산 가능해집니다. 한 문장으로 된 보증은 이렇습니다. 포지션은 정확히 debt × 100 ≥ stake × 95일 때 청산될 수 있으며, 이는 무허가 경로와 자율 경로에서 동일하게 검사되고, 단 한 블록도 앞당겨지지 않습니다. 이후 압류는 고정된 폭포 순서로 진행됩니다:
§8 · 자율 유지 관리(Autonomous Maintenance)
청산은 제때 이루어져야 하고, 이자는 쌓여야 하며, 만료된 잠금 부스트는 풀려야 합니다. 이 셋 모두에 대한 업계의 통상적 답은 체인을 지켜보는 오프체인 키퍼 봇 함대입니다. 봇이 멈추면 장부는 썩습니다. 그것은 이 프로토콜이 다른 모든 곳에서 거부하는 바로 그 종류의 활성 의존성이므로, 스테이킹 엔진은 그것을 없앱니다. 장부는 평범한 사용의 자연스러운 흐름 속에서 스스로를 청소합니다.
§9 · 검증 표면
가치를 맡아 두는 프로토콜은 믿어 달라고 요청해서는 안 됩니다. 검증할 수단을 공개해야 합니다. 스테이킹 엔진은 자신의 무결성을 공개적이고 무료인 온체인 읽기의 집합으로 바꾸어, 스테이커든 감사인이든 경쟁자든 회의론자든 누구나 단 한 번의 eth_call로 계약이 갚아야 한다고 선언한 만큼을 실제로 보유하고 있는지 확인할 수 있게 합니다. 대시보드도, 서브그래프도, 인덱서도, 신뢰도 필요 없습니다.
§10 · 경제적 보안
엔진의 안전성은 적대자가 깨뜨릴 수 있는 가정이 아니라 적대자가 구부릴 수 없는 산술 위에 놓입니다. 오라클도 오프체인 의존성도 없으므로 위협 모델은 유별나게 작고, 남은 위협은 운영자의 경계가 아니라 모든 트랜잭션에서 강제되는 구조적 성질로 닫힙니다.
§11 · 한 포지션의 생애 주기
앞선 절들의 작동 방식은 구체적인 숫자와 함께 한 포지션을 그 생애 전체에 걸쳐 따라가 볼 때 가장 잘 이해됩니다. 이 여정의 전역 수치는 예시입니다. 포지션의 몫을 계산할 때 쓰이는 분모를 정하기 위한 것입니다. 그러나 모든 상수와 모든 공식은 계약 자신의 것이며, 아래의 모든 숫자는 그로부터 따라 나옵니다.
§12 · 비상 상황과 브레이커
잠금은 무조건적이지 않으며, 그렇지 않다고 말하는 것은 보증을 잘못 진술하는 일입니다. 두 개의 정지 경로가 존재하고, 그것들은 의도적으로 서로 닮지 않았습니다.
§13 · 결론
우리는 지급 능력을 코드에 관한 주장이 아니라 코드의 성질로 만들고자 했고, 이 문서가 명세하는 엔진은 그 의도를 끝까지 밀고 간 결과입니다. 가치를 옮기는 모든 트랜잭션에서 되돌림 조건으로 강제되는 하나의 보존 항등식은 평범한 운영을 통한 지급 불능을 도달 불가능하게 만듭니다. 단일 자산 설계는 대부분의 대출자를 무너뜨리는 오라클을, 그것이 존재할 수 있기도 전에 제거합니다. 유지 관리는 평범한 사용에 얹혀 가스 한도 안에서 이루어지며 어디에도 키퍼가 없습니다. 그리고 최후 수단의 정지는, 오직 체인 상태만으로 그것이 필요하다는 것을 증명할 수 있는 누구에게나 속합니다.
Questions, a partnership or a bug to report? Contact us or email contact@blazephoenix.xyz