GitXplorerGitXplorer
N

OpenVoteNetwork

public
0 stars
0 forks
0 issues

Commits

List of commits on branch main.
Unverified
be771d7b74908c11d83a6cfd66542b51dfb318ab

Add readme

NNsidorenco committed 2 years ago
Unverified
e9114827d54a6aefb9ffb539f9b48b9e4fe24d59

Prove chUniverse->nat is bijective.

NNsidorenco committed 3 years ago
Unverified
a5c8b6d5a504b0ee07e32f4c26f3166120d79490

Extract code from package

NNsidorenco committed 3 years ago
Unverified
8768da007281985fa60fed384afb25f6ca7bcb63

Add simple SSProve interpreter

NNsidorenco committed 3 years ago
Unverified
974ab7fb48de2ba7060edf122984e34c9c5898b8

Prove that P_i is vote hiding

NNsidorenco committed 3 years ago
Unverified
76ced6ce4d097ea519980a52219a2be202de479b

Prove that compute_key is a bijection on any key

NNsidorenco committed 3 years ago

README

The README file for this repository.

OVN

The OVN formalization is developed in [examples/OVN.v].