Submissions from osec.io

		$100k to keep CTFs competitive in the age of AI (osec.io)
		2 points by stuxf 64 days ago \| past
		Unverified Evaluations in Dusk's PLONK (osec.io)
		35 points by deut-erium 4 months ago \| past \| 8 comments
		Attacker can bypass cryptography and prove mathematically impossible statements (osec.io)
		5 points by nailer 6 months ago \| past \| 1 comment
		Compiler Bug Causes Compiler Bug: How a 12-Year-Old G++ Bug Took Down Solidity (osec.io)
		170 points by luu on Aug 12, 2025 \| past \| 86 comments
		The Move Prover (osec.io)
		1 point by noch on Sept 16, 2022 \| past