Mikerah / awesome-algorithmic-game-theory
An Awesome list for resources on algorithmic game theory
☆159Updated 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:
- Tutorial for STARKs with supporting code in python☆221Updated last month
- ☆174Updated 2 years ago
- ☆84Updated 2 years ago
- educational python plonk implementation, based on vitalik's py_plonk☆213Updated 10 months ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆209Updated last year
- An online playground for zero knowledge circuits☆149Updated 10 months ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆132Updated 5 months ago
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆55Updated 3 years ago
- Demo of ML for MNIST classification in a zero knowledge proof☆122Updated 2 years ago
- ☆198Updated last year
- Introductory lecture notes on programmable cryptography☆102Updated this week
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp☆137Updated 7 months ago
- An Awesome List for resources on the foundations of Decentralized Finance (DeFi)☆222Updated last year
- Learning Cryptography in Public☆174Updated 2 years ago
- private quantized linear regression on Ethereum☆215Updated 2 years ago
- knowledge base of ZKP including applications, hardware, technical discussions and more.☆125Updated 2 years ago
- a community-maintained cryptography resource☆88Updated 9 months ago
- Verifying a 512-layer CNN w/ Nova☆166Updated 2 years ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆130Updated last year
- ☆89Updated 3 years ago
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆101Updated 3 weeks ago
- A testing & development environment for Circom.☆111Updated last week
- Ecne: An engine for verifying the soundness of R1CS constraints☆110Updated 2 years ago
- A repo for our research papers☆229Updated last month
- One-time programs on X, create and share a one-time post link from your Twitter account with LLM-enforced policies☆110Updated 5 months ago
- Introduction to various ZK languages☆60Updated 5 months ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆73Updated 10 months ago
- Open Ethereum Virtual Machine - Knowledgebase, Documentation, etc☆49Updated 10 months ago
- A Cairo VM prover implemented using Winterfell☆158Updated 2 years ago