from Hacker News

Snarky: A high-level language for verifiable computation

by jackgavigan on 3/13/18, 11:24 AM with 0 comments