Explore the innovative Proofgold blockchain in this 52-minute lecture by Josef Urban at the Hausdorff Center for Mathematics. Delve into the intersection of blockchain technology and formal mathematics, examining how Proofgold leverages distributed ledger technology to advance mathematical proof verification. Learn about the project's goals, technical implementation, and potential impact on the fields of cryptography and formal verification. Gain insights into the challenges and opportunities presented by this unique application of blockchain technology in academic research and mathematical discovery.