Mikerah / awesome-algorithmic-game-theory
An Awesome list for resources on algorithmic game theory
☆150Updated last year
Related projects ⓘ
Alternatives and complementary repositories for awesome-algorithmic-game-theory
- Verifying a 512-layer CNN w/ Nova☆156Updated last year
- Playing with zero-knowledge proof languages☆104Updated last year
- Ecne: An engine for verifying the soundness of R1CS constraints☆108Updated 2 years ago
- private quantized linear regression on Ethereum☆213Updated 2 years ago
- ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK☆163Updated last month
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆127Updated 2 years ago
- Source code for "Building Cryptographic Proofs from Hash Functions"☆163Updated last month
- knowledge base of ZKP including applications, hardware, technical discussions and more.☆117Updated last year
- An online playground for zero knowledge circuits☆145Updated 4 months ago
- Demo of ML for MNIST classification in a zero knowledge proof☆119Updated 2 years ago
- ☆192Updated 11 months ago
- A repo for our research papers☆206Updated last month
- Middleware to compile Circom circuits to Nova prover☆235Updated 8 months ago
- ☆79Updated last year
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆238Updated 3 weeks ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆125Updated last year
- A curated list of repos related to Circom☆94Updated last year
- Tutorial for STARKs with supporting code in python☆206Updated last week
- Circom Circuits Library for Machine Learning☆166Updated 5 months ago
- Publications of Runtime Verification, Inc.☆88Updated this week
- Evolution of the Ethereum Proof-of-Stake Consensus Protocol☆169Updated last year
- Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp☆129Updated last month
- Reef: A zkSNARK system for proving that a committed document matches a regex☆63Updated 4 months ago
- a community-maintained cryptography resource☆80Updated 3 months ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆203Updated 11 months ago
- ☆91Updated 3 years ago
- List of halo2-related resources☆188Updated 9 months ago
- Cryptography Educational Foundations☆189Updated 3 weeks ago
- Learning Cryptography in Public☆172Updated last year
- Portfolio is an automated market making protocol for implementing custom strategies at the lowest cost possible.☆113Updated 6 months ago