vac:nes:state-separation § state-separation-architecture-01 state-separation-architecture-02 vac:nes:proofsystems § research-existing-proofsystems benchmarks vac:nes:zkvm § vm-foundations vm-ecosystem