Cryptographic Protocols
3 projects
Showing 3 of 3 projects
Awesome Zero-Knowledge Proofs (ZKP)
A curated list of awesome resources for learning about Zero-Knowledge Proofs (ZKPs), including tutorials, courses, implementations, and applications.
#zk-snarks#zk-starks#educational
Stars5.8k
Forks917
Last commit4 months ago
charmPython
A Python framework for rapidly prototyping advanced cryptosystems like ABE, IBE, threshold ECDSA, and zero-knowledge proofs.
#cryptography-framework#pairing-based-cryptography#identity-based-encryption
Stars641
Forks172
Last commit1 month ago
FCFRocq Prover
A Coq framework for machine-checked proofs of cryptographic security in the computational model.
#machine-checked-proofs#coq#computational-model
Stars55
Forks26
Last commit8 months ago
Related Tags
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.