Hacker News new | ask | show | jobs
An Embedded DSL for Verifiable Computing (github.com)
8 points by JacobEdelman 4089 days ago