prop327: Implement PoW over Introduction Circuits

This is the implementation ticket for prop327