BBS-predicate-proofs-SNARK This repo contains examples of predicate proofs on BBS+ verifiable credentials.