Show HN: Pinocchio: Harness for Verifiable Work

(pinocchio.goedelmachines.com)

1 points | by lazaruslong 10 hours ago ago