from Hacker News

An Embedded DSL for Verifiable Computing

by JacobEdelman on 4/3/15, 5:02 PM with 0 comments