Submissions from osec.io

		Unverified Evaluations in Dusk's PLONK (osec.io)
		35 points by deut-erium 24 days ago \| past \| 8 comments
		Attacker can bypass cryptography and prove mathematically impossible statements (osec.io)
		5 points by nailer 82 days 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 9 months ago \| past \| 86 comments
		The Move Prover (osec.io)
		1 point by noch on Sept 16, 2022 \| past