Bitcoin PIPEs enables binary covenants and pessimistic zero-knowledge proof verification on Bitcoin without changes to Bitcoin's consensus rules