Skip to content
GitLab
Explore
Sign in
concordium
ConCert
Repository
ConCert
execution
theories
Examples
BoardroomVoting.v
Find file
Blame
History
Permalink
Revert "Add secret key zero knowledge check to boardroom voting"
· a7836c1c
Jakob Botsch Nielsen
authored
Mar 31, 2020
This reverts commit
a582074c
. This needs some more work...
a7836c1c