https://github.com/cryptimeleon/craco

CRyptogrAphic COnstructions

commitments cryptography digital-signatures encryption prototyping secret-sharing signatures zero-knowledge-proofs

Last synced: 12 Jan 2026

https://github.com/cryptimeleon/predenc

Predenc contains predicate encryption implementations as well as key encapsulation mechanisms based on such implementations, for example attribute-based encryption.

abe abe-kem ciphertext-policy encryption ibe java kem key-policy predicate-encryption

Last synced: 11 Jan 2026

https://github.com/cryptimeleon/mclwrap

A wrapper to bring the mcl pairing library into cryptimeleon

java-bindings mcl-library

Last synced: 12 Jan 2026

https://github.com/cryptimeleon/subzero

A declarative domain-specific language for the specification of zero knowledge protocols

Last synced: 12 Jan 2026

https://github.com/cryptimeleon/issuer-hiding-cred

An implementation of issuer-hiding credentials for benchmarking

Last synced: 12 Jan 2026

https://github.com/cryptimeleon/uacs-incentive-system

Incentive system based on updatable credentials

Last synced: 12 Jan 2026

https://github.com/cryptimeleon/android-demo

An example project with instructions on how to use cryptimeleon on android.

android android-app cryptography mcl pairing

Last synced: 12 Jan 2026

https://github.com/cryptimeleon/upb.crypto.protocols

Sigma protocol implementations and generic transformations

Last synced: 12 Jan 2026