Proof of Space over DAG