Status๐ดDRIAnca NitulescuTeam๐ Research EnablersDateGoal๐Lookup SNARK (for SHA)Quarter2023Q1Subgoal