Implementing post-quantum zero-knowledge proof systems in Shielded Bitcoin increases the required transaction size