모든 컨트랙트는 자신이 다룰 수 있는 것을 선언합니다.

이 그림은 샌드박스 안에 봉인된 하나의 NexusWASM 컨트랙트를 보여줍니다. 그 주위에는 네이티브 시장 모듈을 포함해 자신이 선언한 권한만 놓여 있으며, 그 외에는 아무것도 닿을 수 없습니다. 호출이 진행되는 동안 두 개의 계측기가 연산과 저장을 각각 추적하며, 컨트랙트가 선언한 상태 접근은 스케줄러에 전달되어 무관한 작업과 병렬로 실행됩니다.

1. 01

   빌드

   Rust, C/C++ 또는 WebAssembly를 대상으로 하는 다른 언어가 NexusSDK 인터페이스에 맞춰 컴파일되어, 모듈과 그것이 요청하는 권한의 매니페스트를 만들어냅니다.

2. 02

   검증

   모듈이 실행되기 전에 네트워크는 이를 확인합니다. 결정론적 명령만 허용되고, 모든 임포트는 선언된 권한과 일치해야 하며, 자원 한도는 코드 해시에 대응해 기록됩니다.

3. 03

   부여

   자산 보유, 시장 모듈 호출, 가격 피드 읽기, 다른 컨트랙트 호출 등 요청된 각 권한은 해당 컨트랙트의 주소에 결부됩니다. 부여되지 않은 것은 그 컨트랙트에게 존재하지 않는 것과 같습니다.

4. 04

   선언

   모든 트랜잭션은 자신이 읽고 쓸 상태를 나열합니다. 결정론적 스케줄러는 이 집합을 이용해 충돌하지 않는 트랜잭션을 병렬 레인에 배치합니다.

5. 05

   실행

   모듈은 계측된 샌드박스에서 실행됩니다. 연산은 명령이 실행될 때, 저장은 상태가 기록되고 유지될 때 비용이 부과되며, 선언된 집합 밖의 접근은 호출을 중단시키고 그 효과를 되돌립니다.

6. 06

   확정

   결과는 블록의 다른 전이들과 함께 커밋되며, QSE 쿼럼이 이를 인증하면 확정됩니다.

• 샌드박스 격리각 컨트랙트는 자신만의 선형 메모리에서 실행되며, 호스트 메모리, 다른 컨트랙트의 메모리, 검증자의 환경에는 접근할 수 없습니다. 범위를 벗어난 접근은 트랩되어 호출이 되돌려집니다.
• 최소 권한권한은 명시적이고 좁게 부여됩니다. 가격 피드를 읽도록 허용된 컨트랙트는 자산을 옮길 수 없고, 하나의 자산을 옮기도록 허용된 컨트랙트는 다른 자산을 옮길 수 없습니다.
• 제한된 실행계측은 모든 호출에 한도를 둡니다. 폭주하는 루프, 깊은 재귀, 지나치게 큰 쓰기 작업은 결정론적인 자원 부족 결과로 끝나며, 호출자에게 비용이 부과되고 상태는 되돌려집니다.
• 접근 집합 강제선언된 집합 밖의 상태에 손대는 트랜잭션은 중단되므로, 병렬 스케줄링이 레인 사이의 충돌을 숨기는 일은 결코 일어나지 않습니다.
• 시장 안전장치컨트랙트가 낸 주문은 다른 어떤 출처의 주문과도 동일하게 Aegis 사전 위험 확인과 정책 한도를 통과합니다. 컨트랙트는 시장에 대한 접근권을 얻을 뿐, 그 통제를 피해 갈 방법을 얻는 것은 아닙니다.

트레이더 및 사용자

자신이 선언한 것보다 더 멀리 손댈 수 없는 애플리케이션입니다. 컨트랙트의 권한과 업그레이드 정책은 상호작용하기 전에 확인할 수 있으므로, 그것이 내 자산으로 무엇을 할 수 있는지 미리 알 수 있습니다.

기관

검토 가능한 실행 모델입니다. 권한 매니페스트, 코드 해시, 업그레이드 정책은 위험 관리 팀과 준법 팀에 평가할 수 있는 구체적인 산출물을 제공하며, 결정론적 실행은 어떤 결과든 재실행할 수 있다는 뜻입니다.

개발자

익숙한 언어, 명시적 비용, 시장 인프라에 대한 직접적인 접근입니다. Rust나 C/C++로 구축하고, 배포 전에 자원 비용을 확인하며, 호가창, 위험 확인, 가격 피드를 유형화된 인터페이스로 호출할 수 있습니다. 개발자 게이트웨이에서 시작하십시오.

• EVM Capsule경계에서 격리해 제공하는 Ethereum 호환성.
• VectorLanes병렬 실행 레인과 하나의 최종 확정 상태.
• VaultID개인정보를 고려한 신원 및 권한 관리.
• ApexMatch결정론적 네이티브 주문 매칭 엔진.