NEXUS home page
Search...
⌘K
Ask AI
Return to Nexus Home
Discord
Search...
Navigation
License
Licensing
Home
Nexus Layer 1
Nexus zkVM
Web3 Fundamentals
Overview
The Nexus zkVM
zkVM Overview
Architecture
Development
Getting Started
SDK Quick Start
SDK Documentation
Runtime
Precompiles
Benchmarking
Walkthroughs
Use Case: Stable Matching
Use Case: Program Execution
Specifications
The Complete Specification
Machine Architecture
Proving the CPU
Proving Memory
Proving Instructions
Proving — An Example
License
Licensing
License
Licensing
The Nexus zkVM is
licensed under the source-available Business Source License (BUSL)
, converting to an open-source dual Apache 2.0 and MIT licensing on February 10th, 2029.
Was this page helpful?
Yes
No
Proving — An Example
Assistant
Responses are generated using AI and may contain mistakes.