Ayana and Marecus Proofs