Python code for the post Zero Knowledge Proofs — A Primer
☆31Jun 9, 2020Updated 5 years ago
Alternatives and similar repositories for zero-knowledge-proofs
Users that are interested in zero-knowledge-proofs are comparing it to the libraries listed below
Sorting:
- An implementation of the LowMC block cipher family.☆27Nov 29, 2017Updated 8 years ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆26May 25, 2024Updated last year
- Final project for Lesson 6: Differential privacy for deep learning in the Facebook and Udacity Secure and Private AI scholarship nanodeg…☆22Oct 14, 2019Updated 6 years ago
- Auction Theory Toolbox – Computer Verified Auctions☆14Jul 12, 2016Updated 9 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 11 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆12Jun 18, 2024Updated last year
- ☆14Jan 11, 2021Updated 5 years ago
- This project focuses on using deep learning to replace text in images while retaining the same font and style.☆10Dec 9, 2019Updated 6 years ago
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- A bookmarklet that shows the ordering on the directed edges of your facebook friends☆30Mar 28, 2013Updated 12 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Tone Analyzer Demo for Fresh Machine Learning #3☆11Jul 16, 2016Updated 9 years ago
- Code for Max-Margin Deep Generative Models☆12Jan 1, 2015Updated 11 years ago
- Thoracic Surgery Data Set - UCI Machine Learning. Classification problem related to the post-operative life expectancy in the lung cancer…☆10Feb 18, 2022Updated 4 years ago
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Oct 29, 2024Updated last year
- Prolog implemented in Python☆12Sep 6, 2024Updated last year
- Wrapper of the OpenSSL elliptic curve functions for easy Python manipulation☆11Apr 30, 2014Updated 11 years ago
- Implementation of the Fish and Begol signature schemes☆14Jul 3, 2017Updated 8 years ago
- A textbook on informal homotopy type theory -- Vladimir's fork, retained because there is a pull request based on it.☆11Feb 28, 2015Updated 11 years ago
- A distributed network based on hash codes and lattices.☆14Aug 16, 2016Updated 9 years ago
- Samples of multi-class text classification with Differential Privacy Tensorflow 2.0☆11Feb 8, 2020Updated 6 years ago
- Implementation of Variance Reduction Techniques in Julia☆11Sep 6, 2016Updated 9 years ago
- Electron-based Virtual MIDI Controller that like Novation Launch Control☆10Oct 28, 2016Updated 9 years ago
- ☆13Dec 3, 2022Updated 3 years ago
- A small somewhat risk-like game. It is based upon a physics simulation describing an elastic graph.☆11Apr 13, 2021Updated 4 years ago
- ☆11Feb 9, 2023Updated 3 years ago
- Pro Django中文译本☆11Jun 11, 2017Updated 8 years ago
- Code for blog post on r-squared☆13Jul 25, 2016Updated 9 years ago
- Coq集合模型论☆11Aug 18, 2022Updated 3 years ago
- 🦞 A curated list of Molt ecosystem services, platforms, and tools for AI agents — Moltbook, MoltCities, Molthunt, MoltMatch, and more.☆29Updated this week
- Batched routines (BLAS, LAPACK, etc.) for multi-dimensional arrays☆12Apr 10, 2022Updated 3 years ago
- Finance 6470: Derivatives Markets☆10Apr 15, 2021Updated 4 years ago
- Testing framework for C++ template metaprograms☆11May 12, 2015Updated 10 years ago
- FPGA-based HyperLogLog Accelerator☆12Jul 13, 2020Updated 5 years ago
- BERT implementation of PyTorch☆11Mar 16, 2020Updated 5 years ago
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- A new language for optimization☆13May 17, 2021Updated 4 years ago
- ☆11Mar 13, 2023Updated 2 years ago