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