vac:nes:state-separation § state-separation-doc vac:nes:proofsystems § research-existing-proofsystems benchmarks