Four designers divide the machine into state, proof and incentives
Nervos’s own contributor record identifies a division of labor: Jan Xie created the programming model and served as chief architect, co-founder Kevin Wang shaped the economic model, Ren Zhang created the NC-MAX consensus algorithm, and Xuejie Xiao authored central virtual-machine and script work. Their specifications describe a base layer meant to preserve agreed state, with heavier state generation left to clients and higher layers.
The Cell model gave that idea a concrete object. A cell is an immutable transaction output containing capacity, data and scripts. To change it, a transaction consumes the live cell and creates another. The lock script decides who may spend it; a type script can constrain what replacement state is valid. CKB-VM verifies those rules with RISC-V instructions.
