Mikerah / awesome-algorithmic-game-theory
An Awesome list for resources on algorithmic game theory
☆158Updated 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
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆53Updated 3 years ago
- Playing with zero-knowledge proof languages☆104Updated last year
- One-time programs on X, create and share a one-time post link from your Twitter account with LLM-enforced policies☆86Updated last month
- Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.☆177Updated last year
- An online playground for zero knowledge circuits☆147Updated 6 months ago
- 🎙🔒 ZK Microphone: Trusted audio in the age of deepfakes 🔒🎙 Generative AI is a threat to society. It enables disinformation, manipulat…☆88Updated last year
- Demo of ML for MNIST classification in a zero knowledge proof☆122Updated 2 years ago
- private quantized linear regression on Ethereum☆215Updated 2 years ago
- Robust Incentives Group☆123Updated last year
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp☆133Updated 3 months ago
- Introductory lecture notes on programmable cryptography☆69Updated last month
- Learning Cryptography in Public☆173Updated 2 years ago
- a community-maintained cryptography resource☆83Updated 5 months ago
- ☆81Updated last year
- Tutorial for STARKs with supporting code in python☆212Updated 2 months ago
- ☆36Updated 2 years ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆129Updated last year
- ☆60Updated last year
- A curated list of repos related to Circom☆95Updated 2 years ago
- Primitive Replicating Market Maker smart contracts☆131Updated 5 months ago
- Verifying a 512-layer CNN w/ Nova☆160Updated last year
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆49Updated 2 years ago
- ☆68Updated last year
- ☆195Updated last year
- ☆172Updated 2 years ago
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆165Updated 2 years ago
- Huff implementation of the bn254 curve, for Ethereum smart contracts☆110Updated 5 years ago
- knowledge base of ZKP including applications, hardware, technical discussions and more.☆118Updated 2 years ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆118Updated this week
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆204Updated last year