Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course
☆188Sep 15, 2025Updated 6 months ago
Alternatives and similar repositories for TheoryOfCryptography
Users that are interested in TheoryOfCryptography are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lattices in Cryptography (University of Michigan)☆116Feb 6, 2026Updated last month
- Lecture notes for EECS 575 (Advanced Cryptography), fall 2021, at the University of Michigan☆19Dec 1, 2021Updated 4 years ago
- MAYO C implementation☆26Mar 31, 2025Updated 11 months ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Dec 19, 2019Updated 6 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Dec 3, 2020Updated 5 years ago
- Λ ⚬ λ: Functional Lattice Cryptography☆233Mar 22, 2021Updated 5 years ago
- Lecture notes on the Foundations of Isogeny-based Cryptography☆33Sep 5, 2024Updated last year
- A Codespace repo for ECON 235 & LB 235☆27Jan 30, 2025Updated last year
- ☆19May 5, 2020Updated 5 years ago
- ☆23Jan 21, 2019Updated 7 years ago
- Malicious Two Party Computation Based on Garbled Circuits.☆12Sep 5, 2020Updated 5 years ago
- Driver for round-based protocols in Rust☆24Jan 17, 2024Updated 2 years ago
- A tool for verifying transitions in cryptographic game-hopping proofs☆17Mar 19, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Feb 23, 2023Updated 3 years ago
- A suite of Rust libraries for secure multi-party computation.☆344Updated this week
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- Web server to receive uploaded LaTeX and execute it in a docker container.☆16Mar 18, 2026Updated last week
- A generic Secure Computation API for garbled circuits, SPDZ, etc.☆21May 12, 2023Updated 2 years ago
- Implementation of cryptographic attacks. Mainly reproduction of recent cryptographic papers.☆15Dec 4, 2024Updated last year
- ☆11Jan 5, 2022Updated 4 years ago
- Perform multi-party computation on machine learning applications☆22Jun 21, 2022Updated 3 years ago
- MIT 6.875☆14Dec 13, 2025Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Code that accompanies the paper "Lightweight Techniques for Private Heavy Hitters" at IEEE S&P 2021.☆29Jul 16, 2023Updated 2 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- ☆12Sep 11, 2024Updated last year
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Nov 2, 2024Updated last year
- ☆16Feb 27, 2022Updated 4 years ago
- SIMD Vectorized implementation of X25519, Ed25519, X448 and Ed448☆31Mar 10, 2025Updated last year
- An attempt at a new LWE estimator☆348Updated this week
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated 2 years ago
- Elliptic curve Go reference implementation☆26Feb 5, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Fast 4 way vectorized ladder for the complete set of Montgomery curves☆11Feb 13, 2019Updated 7 years ago
- Source code for "Building Cryptographic Proofs from Hash Functions"☆226Dec 4, 2025Updated 3 months ago
- Rainbow signature system for Round THREE submission☆20Sep 24, 2020Updated 5 years ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- ☆46Feb 28, 2023Updated 3 years ago
- CryptoBib BibTex files☆63Feb 26, 2026Updated last month
- 清华大学每日健康打卡脚本 systemd 版☆44Feb 25, 2023Updated 3 years ago