feat(Protocols): Sigma protocols and Schnorr identification#472

ChristianoBraga wants to merge 3 commits into

leanprover:mainleanprover/cslib:mainfrom

Beneficial-AI-Foundation:sigma_protocols_prBeneficial-AI-Foundation/cslib-protocols-lean:sigma_protocols_prCopy head branch name to clipboard