witness topic
List
witness repositories
jazz
144
Stars
11
Forks
Watchers
The Scripting Engine that Combines Speed, Safety, and Simplicity
sv-benchmarks
186
Stars
169
Forks
Watchers
Collection of Verification Tasks (MOVED, please follow the link)
BitSend
42
Stars
47
Forks
Watchers
BitSend Master (Live Version)
sv-witnesses
18
Stars
9
Forks
Watchers
An Exchange Format for Verification Witnesses (MOVED, please follow the link)
witness-encryption-demos
31
Stars
0
Forks
Watchers
World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.