verifiable
Zero Knowledge (ZK) toolkit for generating and verifying IETF VRF, Pedersen VRF and Ring Proofs
Helios Server (Helios is an end-to-end verifiable voting system) as library