Status🔴DRITeam📖 Research EnablersDateMay 20, 2023 → June 30, 2023GoalQuarter2023Q3Subgoal⚖️Translations ProofsTalk for proof of space eventOpen FIP discussion