Snarky: A new programming language for verifiable computation | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Snarky: A new programming language for verifiable computation (o1labs.org)
		31 points by ihm on March 14, 2018 \| hide \| past \| favorite \| 1 comment

aklarfeld on March 14, 2018 [–]

Very informative and exciting technology!

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