A Formal Proof of Safegcd Bounds | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

		A Formal Proof of Safegcd Bounds (medium.com/blockstream)
		1 point by kccqzy on Feb 13, 2021 \| hide \| past \| favorite

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact