Stars
Implementation of the Google Zero-Knowledge library for Identity Protocols.
Noir is a domain specific language for zero knowledge proofs
W3C Verifiable Credentials Working Group
A rebound attack on full SkyScrapper
Reader for ICAO 9303 electronic machine readable travel documents.
Privacy enhanced BitTorrent client with P2P content discovery
Collection of security reviews of ZK Protocols
The world's first (and hopefully last) pure-bash implementation of the LLL algorithm
Cryptographic Solvency Proofs (schemes, standards, links, edu material)
Klefki is a playground for researching elliptic curve group based algorithm, such as MPC, ZKP and HE. All data types & structures are based on mathematical defination of abstract algebra.
Spartan: High-speed zkSNARKs without trusted setup
A web tool that helps you compare and visualize the performance of cryptographic operations
Cairo is the first Turing-complete language for creating provable programs for general computation.
Python's missing "algorave" module. Live code music with Python using MIDI, OSC and/or SuperCollider.