Bitcoin PIPEs version 1 was theoretically based on functional encryption