A framework to build Zero-knowledge non-interactive proofs, based on the Fiat-Shamir heuristic, a proof-of-work, and a constant-size commitment scheme.
Primary LanguagePythonGNU General Public License v3.0GPL-3.0