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:
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆55Updated 3 years ago
- An online playground for zero knowledge circuits☆152Updated 4 months ago
- Playing with zero-knowledge proof languages☆106Updated 2 years ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆132Updated 10 months ago
- Dark Forest zkSNARK circuits☆121Updated last year
- Learning Cryptography in Public☆173Updated 2 years ago
- private quantized linear regression on Ethereum☆215Updated 3 years ago
- Zero-knowledge Sudoku using zk-SNARKs☆46Updated 3 years ago
- ☆35Updated 3 years ago
- knowledge base of ZKP including applications, hardware, technical discussions and more.☆130Updated 2 years ago
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆108Updated 3 months ago
- ☆94Updated 3 years ago
- ☆106Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- 🎙🔒 ZK Microphone: Trusted audio in the age of deepfakes 🔒🎙 Generative AI is a threat to society. It enables disinformation, manipulat…☆90Updated 2 years ago
- Introductory lecture notes on programmable cryptography☆123Updated 2 weeks ago
- Zero-Knowledge Proofs "for (not too much ) dummies"☆122Updated 2 years ago
- Portfolio is an automated market making protocol for implementing custom strategies at the lowest cost possible.☆113Updated last year
- Demo of ML for MNIST classification in a zero knowledge proof☆124Updated 2 years ago
- ☆90Updated 3 years ago
- Huff implementation of the bn254 curve, for Ethereum smart contracts☆112Updated 6 years ago
- Baby SNARK (do do dodo dodo)☆238Updated last year
- Robust Incentives Group☆130Updated 6 months ago
- Transaction markets in Python☆60Updated 2 years ago
- Basic Noir private proof of membership☆90Updated 6 months ago
- To collect data on the performance and security characteristics of ZK circuits being verified on the Ethereum Blockchain and expose this …☆60Updated 2 years ago
- ☆87Updated 2 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- Verifying a 512-layer CNN w/ Nova☆171Updated 2 years ago
- Aims to provide an audited, elegant, minimal implementation of BLS signing, key generation, resharing over the alt-bls128 curve☆45Updated 6 months ago