A set of libraries and tools for the Vocdoni decentralized backend infrastructure, the main ground of our universally verifiable, privacy-centric and scalable digital voting protocol

Toy implementation of snark systems - Groth16, PHGR13 - in Go

Implementation of zk-SNARKs in Go, featuring efficient proof generation and verification for secure cryptographic protocols.

A proof-of-concept for SSI-oriented, on-chain access control. Smart contract managed roles, based on anonymous credentials that combine verifiable credentials and zero-knowledge proof systems.