KR3: An updated security model for Proof of Space and QAP pricing security is published