repositories Search Results · topic:cryptography org:trailofbits fork:true
Filter by
10 results
intrailofbits (press backspace or delete to remove)
Interactive documentation on zero-knowledge proof systems and related primitives.
A cross-platform library for verifying Authenticode signatures
An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
Easily create authenticated data structures
Underconstrained symbolic execution for cryptography verification
Leighton-Micali Hash-Based Signatures, for Go
A pure-Python implementation of RFC8785 (JSON Canonicalization Scheme)
Rust libraries and utilities for parsing Windows Certificate Trust Lists
A Rust implementation of LMS and LM-OTS. See RustCrypto for living code.
Sponsor open source projects you depend on
Contributors are working behind the scenes to make open source better for everyone—give them the help and recognition they deserve.Explore sponsorable projectsProTip! Press the / key to activate the search input again and adjust your query.
Sponsor open source projects you depend on
Contributors are working behind the scenes to make open source better for everyone—give them the help and recognition they deserve.Explore sponsorable projectsProTip! Press the / key to activate the search input again and adjust your query.