병렬 레인. 하나의 결정론적 답.

수백 개의 독립적인 실행 레인이 화면을 가로질러 병렬로 움직이며, 검증 링을 통과해 하나의 완결성 비컨으로 모여듭니다. 병렬 레인은 독립적인 상태가 동시에 실행되는 모습을 보여주며, 비컨은 모든 레인을 하나의 정렬된 확정 상태로 묶는 QSE 인증서를 나타냅니다.

1. 01

   검증

   서명은 스케줄링 전, 인그레스 단계에서 배치로 확인되므로, 레인은 검증이 아니라 실행에 시간을 씁니다.

2. 02

   선언

   각 트랜잭션은 자신이 다룰 계정, 호가창, 컨트랙트 저장소를 담은 읽기 및 쓰기 집합을 함께 지니고 있습니다.

3. 03

   스케줄링

   결정론적 스케줄러는 정렬된 배치에 대한 충돌 그래프를 구성합니다. 독립적인 트랜잭션은 서로 다른 레인으로 가고, 충돌하는 트랜잭션은 표준 순서로 하나의 레인을 공유합니다.

4. 04

   실행

   레인은 레인 고유의 상태를 대상으로 병렬로 실행되며, 레인 간 잠금 없이 상태 차액을 만들어냅니다.

5. 05

   병합

   차액들은 표준 순서로 결합되어 하나의 상태 커밋먼트가 됩니다. 이는 배치를 순차적으로 실행했을 때와 동일한 루트입니다.

6. 06

   확정

   QSE 검증자는 이 커밋먼트를 다시 도출하여 인증합니다. 모든 레인은 전역적으로 정렬된 하나의 확정 상태의 일부가 됩니다.

7. 07

   스트리밍

   확정된 변경 사항은 정렬된 출력으로 인덱서, Orbitra Prime, API에 스트리밍되므로, 이를 이용하는 쪽은 상태를 폴링하는 대신 그대로 따라갈 수 있습니다.

• 순차 동등성몇 개의 레인이 실행되든, 커밋되는 상태는 표준 순서로 순차 실행했을 때 나올 상태와 동일합니다. 모든 검증자는 재실행을 통해 이를 확인할 수 있습니다.
• 선언된 접근의 강제선언한 집합 밖에서 읽거나 쓰는 트랜잭션은 결정론적으로 실패합니다. 숨겨진 종속성이 인접한 레인을 손상시킬 수는 없습니다.
• 경쟁 격리많은 트랜잭션이 활발한 시장이나 인기 있는 컨트랙트처럼 동일한 상태를 대상으로 할 때, 이들은 하나의 레인에서 순차 처리됩니다. 무관한 레인은 영향을 받지 않고 계속됩니다.
• 계측된 자원연산과 저장은 명시적으로 가격이 매겨지므로, 어떤 워크로드도 자신이 소비하는 용량에 대한 비용을 지불하지 않고서는 레인을 독점할 수 없습니다.
• 쿼럼 검증 커밋먼트상태 커밋먼트는 QSE 쿼럼이 이를 독립적으로 재현한 뒤에만 확정됩니다. 어긋난 실행기는 확정 이후가 아니라 그 전에 발견됩니다.

트레이더 및 사용자

내 주문은 아무 관련 없는 활동 뒤에서 기다리지 않으며, 내가 보는 상태는 모든 검증자가 동의하는 확정 상태입니다.

기관

처리 용량은 독립적인 시장과 애플리케이션의 수에 따라 늘어나며, 모든 결과는 감사와 대사를 위해 재현 가능한 상태로 유지됩니다.

개발자

병렬성을 고려해 상태를 설계하면 스케줄러가 그에 보상합니다. 결정론적 동작 방식에는 고민해야 할 경쟁 상태가 없습니다. 충돌은 경쟁하지 않고 순서가 정해질 뿐입니다.

• QSEQuorum-Staked Execution 합의.
• ApexMatch결정론적 네이티브 주문 매칭 엔진.
• NexusWASM네이티브 WebAssembly 계약 환경.
• Prism신뢰할 수 있는 시장 데이터를 위한 오라클 메시.