Halo: Recursive Proof Composition Without a Trusted Setupelectriccoin.co4 points·elies··0 commentsOpen articleSaveView on HN