Skip to content

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

Closed
ChristianoBraga wants to merge 3 commits into
leanprover:mainfrom
Beneficial-AI-Foundation:sigma_protocols_pr
Closed

feat(Protocols): Sigma protocols and Schnorr identification#472
ChristianoBraga wants to merge 3 commits into
leanprover:mainfrom
Beneficial-AI-Foundation:sigma_protocols_pr

feat(Sigma): algebraic properties and reference fixes

3561765
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs