Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge

John Kolesar, Shan Ali, Timos Antonopoulos +1

Zero-knowledge (ZK) protocols enable software developers to provide proofs of their programs' correctness to other parties without revealing the programs themselves. Regular expres…