Mikerah / awesome-algorithmic-game-theoryLinks
An Awesome list for resources on algorithmic game theory
☆163Updated 2 years ago
Alternatives and similar repositories for awesome-algorithmic-game-theory
Users that are interested in awesome-algorithmic-game-theory are comparing it to the libraries listed below
Sorting:
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆133Updated last year
- An online playground for zero knowledge circuits☆153Updated 6 months ago
- Introductory lecture notes on programmable cryptography☆122Updated 2 months ago
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆56Updated 3 years ago
- private quantized linear regression on Ethereum☆215Updated 3 years ago
- Verifying a 512-layer CNN w/ Nova☆171Updated 2 years ago
- Playing with zero-knowledge proof languages☆107Updated 2 years ago
- Demo of ML for MNIST classification in a zero knowledge proof☆124Updated 3 years ago
- knowledge base of ZKP including applications, hardware, technical discussions and more.☆130Updated 2 years ago
- Tutorial for STARKs with supporting code in python☆230Updated 5 months ago
- ☆90Updated 2 years ago
- 🎙🔒 ZK Microphone: Trusted audio in the age of deepfakes 🔒🎙 Generative AI is a threat to society. It enables disinformation, manipulat…☆91Updated 2 years ago
- ☆94Updated 4 years ago
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆110Updated 5 months ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆132Updated 2 years ago
- Zero-knowledge Sudoku using zk-SNARKs☆48Updated 3 years ago
- Ethereum zkEVM book☆79Updated 2 months ago
- Publications of Runtime Verification, Inc.☆93Updated 2 months ago
- ☆180Updated 2 years ago
- group signatures implemented with zkSNARKs☆85Updated 4 years ago
- Baby SNARK (do do dodo dodo)☆239Updated last year
- Primitive Replicating Market Maker smart contracts☆131Updated last year
- educational python plonk implementation, based on vitalik's py_plonk☆220Updated last year
- Ecne: An engine for verifying the soundness of R1CS constraints☆113Updated 3 years ago
- Evolution of the Ethereum Proof-of-Stake Consensus Protocol☆174Updated 2 years ago
- Exercises for Part 2 of the ZK-book☆30Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- a community-maintained cryptography resource☆91Updated last year
- Zero-Knowledge Proofs "for (not too much ) dummies"☆122Updated 2 years ago
- A curated list of repos related to Circom☆103Updated 2 years ago