cryptosubtlety / intuitive-advanced-cryptographyLinks
Intuitive Advanced Cryptography
☆438Updated 2 years ago
Alternatives and similar repositories for intuitive-advanced-cryptography
Users that are interested in intuitive-advanced-cryptography are comparing it to the libraries listed below
Sorting:
- A collection of common (interesting) cryptographic mistakes and learning resources.☆339Updated 3 weeks ago
- A Fully Homomorphic Encryption Brainfuck virtual machine☆215Updated 5 years ago
- Lecture notes for a course on cryptography☆530Updated last year
- Guidelines for low-level cryptography software☆1,154Updated last year
- Constant-Time Toolkit☆296Updated 6 years ago
- The SHA-256 Project, developed for NYU Tandon's Applied Cryptography course☆540Updated 2 years ago
- A Rust library for lattice-based additive homomorphic encryption.☆415Updated last year
- Timelock Encryption made practical. The Go `tlock` library and the `tle` cmd line tool home to encrypt towards the future.☆538Updated 3 weeks ago
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆540Updated 2 years ago
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆407Updated last year
- Crypto Audit Guidelines☆134Updated 4 years ago
- Deployments of fancy cryptography☆143Updated last month
- Jupyter notebook for explaining elliptic curve encryption☆88Updated 4 years ago
- SDK for private data access, built on homomorphic encryption.☆343Updated last year
- Intuitive Quantum Computation and Post-Quantum Cryptography☆62Updated 2 years ago
- Cryptographic Primitive Code Generation by Fiat☆761Updated 3 weeks ago
- Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs☆319Updated 2 years ago
- Λ ⚬ λ: Functional Lattice Cryptography☆230Updated 4 years ago
- Authenticated key-value store (i.e. an urkel tree)☆315Updated 2 years ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆352Updated this week
- Testing Schnorr's factorization claim in Sage☆302Updated 2 years ago
- A place for useful crypto-related resources plus some of my fav stuff☆220Updated 3 years ago
- Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain prot…☆464Updated 2 weeks ago
- My personal repository of formally verified mathematics.☆299Updated 2 months ago
- Cryptographic Addition Chain Generation in Go☆189Updated 11 months ago
- Please see https://github.com/hacspec/hax☆243Updated last year
- An animated visualization of elliptic curve cryptography☆140Updated 8 months ago
- ☆139Updated last month
- Factoring as a Service☆265Updated 3 years ago
- An open source guide to mistake-resistant engineering(Work in progress)☆141Updated 2 years ago