Bitcoin's Contract Language Gets a Post-Quantum Proof of Concept · Polylog