완결은 기다림이 아니라 쿼럼에서 옵니다.

스테이크, 권한, 검증된 작업이라는 세 가지 힘이 검증자들의 원형 고리로 흘러듭니다. 검증자들은 제안된 하나의 상태 전이에 서명된 표를 던집니다. 표가 설정된 비잔틴 쿼럼에 도달하면 하나의 쿼럼 인증서로 결합되고, 인증된 상태는 확정으로 표시됩니다.

1. 01

   선정

   스테이크는 한 에포크의 보안 집합을 구성하는 검증자를 결정합니다. 각 검증자의 검증된 작업 기록을 반영한 권한 일정이 제안자와 위원회의 역할을 배정합니다.

2. 02

   제안

   예정된 제안자는 VectorLanes가 실행한 전이들의 순서가 정해진 배치를 구성하고, 그 결과로 나온 상태 커밋먼트와 함께 이를 제안합니다.

3. 03

   검증

   검증자는 배치를 결정론적으로 다시 실행하여 동일한 상태 루트에 도달하는지 확인합니다. 재현되지 않는 제안은 표를 받지 못합니다.

4. 04

   투표

   각 검증자는 자신이 검증한 전이에 서명합니다. 표는 제안자에게 모여 모든 노드에 개별적으로 전파되는 대신 하나의 간결한 인증서로 집계됩니다.

5. 05

   인증

   서명이 설정된 비잔틴 쿼럼에 도달하면 완결성 인증서가 만들어집니다. 확률적인 확인 단계를 거칠 필요 없이 그 전이는 그대로 확정됩니다.

6. 06

   기록

   가용성, 검증, 서비스는 측정되어 검증된 작업으로 기록됩니다. 서로 충돌하는 두 전이에 서명하는 것과 같이 증명 가능한 위법 행위는 슬래싱의 증거가 됩니다.

• 쿼럼 교차명시된 결함 모델 아래에서, 어떤 두 쿼럼이든 적어도 하나의 정직한 검증자에서 겹치며, 정직한 검증자는 서로 충돌하는 두 전이에 결코 서명하지 않습니다. 따라서 서로 충돌하는 두 상태가 동시에 인증될 수는 없습니다.
• 확정 이후에는 재구성 없음인증된 전이는 명시된 결함 모델 아래에서 다른 것으로 대체되지 않습니다. 애플리케이션은 확정된 상태에 대한 롤백 로직을 마련할 필요가 없습니다.
• 뷰 변경을 통한 생존성중단되거나, 느리거나, 악의적인 제안자는 하나의 뷰를 지연시킬 수 있을 뿐, 네트워크 전체를 멈출 수는 없습니다. 페이스메이커가 주도권을 순환시키면 다음 제안자 아래에서 합의가 다시 진행됩니다.
• 증명 가능한 위법 행위에 대한 슬래싱서로 충돌하는 두 전이에 서명하면 그 자체로 완결된 증거, 즉 동시에 정직할 수 없는 두 개의 유효한 서명이 만들어집니다. 해당 스테이크는 슬래싱됩니다.
• 프로토콜 위생형식 명세, 클라이언트 다양성, 버전이 관리되는 서명 스위트는 하나의 구현 오류나 하나의 암호학적 약점이 네트워크 전체의 장애로 번질 가능성을 줄입니다.

트레이더 및 사용자

거래나 결제는 확정되었거나 아직 확정되지 않았거나, 둘 중 하나입니다. 기다려야 하는 모호한 중간 상태는 없습니다.

기관

결제 완결성은 내부의 결제 및 담보 정책과 곧바로 대응하며, 모든 인증서는 대사와 감독 검토를 위한 검증 가능한 증거가 됩니다.

개발자

하나의 완결성 신호 위에서 구축할 수 있습니다. 라이트 클라이언트는 노드를 신뢰하는 대신 인증서를 검증하며, 확정된 상태는 재구성을 처리할 필요가 없습니다.

• VectorLanes병렬 실행 레인과 하나의 최종 확정 상태.
• ApexMatch결정론적 네이티브 주문 매칭 엔진.
• Q-Switch양자 전환에 대응하는 암호체계 유연성.
• GateMesh통제된 체인 간 상호운용성.