An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.
Primary LanguageC++MIT LicenseMIT