/CAPY-pqARK

Framework for recursively arguing the integrity of an unlimited size computation in a constant-sized proof

Primary LanguageRust

No issues in this repository yet.