Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge

This paper presents Crepe, a zero-knowledge protocol for validating regular expression equivalence proofs.

Download paper here