Proof Systems Using Merlin
To submit an addition to this list, submit a pull request on GitHub.
dalek-cryptography Bulletproofs, a Ristretto-based Bulletproofs construction providing both range proofs and programmable constraint system proofs. Merlin transcripts allow constructing adaptive constraint systems with more efficient gadgets.
dalek-cryptography zkp, a Ristretto-based toolkit for Schnorr proofs.