/pequin

A system for verifying outsourced computations. Simplified release of the main Pepper codebase.

Primary LanguageCOtherNOASSERTION

No issues in this repository yet.