Mikerah / awesome-algorithmic-game-theory
An Awesome list for resources on algorithmic game theory
☆157Updated 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
- Demo of ML for MNIST classification in a zero knowledge proof☆123Updated 2 years ago
- private quantized linear regression on Ethereum☆214Updated 2 years ago
- ☆36Updated 3 years ago
- educational python plonk implementation, based on vitalik's py_plonk☆209Updated 8 months ago
- ☆195Updated last year
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆132Updated 3 months ago
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- Tutorial for STARKs with supporting code in python☆218Updated last month
- Introductory lecture notes on programmable cryptography☆94Updated last month
- Verifying a 512-layer CNN w/ Nova☆161Updated last year
- ☆93Updated 3 years ago
- An online playground for zero knowledge circuits☆148Updated 9 months ago
- ☆83Updated 2 years ago
- Middleware to compile Circom circuits to Nova prover☆237Updated last year
- A testing & development environment for Circom.☆107Updated last month
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆207Updated last year
- Ecne: An engine for verifying the soundness of R1CS constraints☆110Updated 2 years ago
- List of halo2-related resources☆194Updated 2 months ago
- A curated list of repos related to Circom☆97Updated 2 years ago
- A repo for our research papers☆228Updated 2 months ago
- ☆216Updated last month
- comparing the performance of different zero-knowledge proof libraries☆129Updated last year
- Robust Incentives Group☆123Updated 2 weeks ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆129Updated last year
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆54Updated 3 years ago
- Zero-Knowledge Proofs "for (not too much ) dummies"☆120Updated last year
- Baby SNARK (do do dodo dodo)☆233Updated 10 months ago
- knowledge base of ZKP including applications, hardware, technical discussions and more.☆121Updated 2 years ago
- Big integer arithmetic and secp256k1 ECC operations in circom☆322Updated last year
- A curated list of zero-knowledge folding schemes☆298Updated 7 months ago