KR2: A new team is assembled to propose a formal model, gather requirements and ship an early design for a new Proof of Space to de-risk SDR aging