Statusπ΄DRITeamπ Research EnablersDateGoalQuarter2023Q4SubgoalEfficient SNARKs over Vector Committed dataMake portions of the Filecoin state proof friendly βEfficient data updatability inside sectors βReplace Merkle trees with VC in Filecoin PoRep βUseful Links:πΎBig Data, Small Computations (on track)Muppets: Maintainable Updatable Tree-based Vector Commitments (on track)πVerifiable Data Queries for Web3