Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs. - Angel, Sebastian; Ioannidis, Eleftherios; Margolin, Elizabeth; Setty, Srinath T. V.; Woods, Jess (2024)