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

• WilfredTA / formal-methods-curriculum
  Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
  ☆166Updated 2 years ago
• spalladino / zkp-tests
  Playing with zero-knowledge proof languages
  ☆105Updated 2 years ago
• zk-ml / linear-regression-demo
  private quantized linear regression on Ethereum
  ☆215Updated 2 years ago
• ncitron / badcrypto
  Learning Cryptography in Public
  ☆174Updated 2 years ago
• Mikerah / awesome-foundations-of-DeFi
  An Awesome List for resources on the foundations of Decentralized Finance (DeFi)
  ☆222Updated last year
• reflexer-labs / reflexer-digital-twin
  Toolkit based on cadCAD for performing automated routine tests and future predictions for a GEB deployment
  ☆21Updated 2 years ago
• 0xPARC / plonkathon
  educational python plonk implementation, based on vitalik's py_plonk
  ☆210Updated 9 months ago
• nulven / zk-message-board
  ☆36Updated 3 years ago
• thor314 / pazk
  Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group
  ☆132Updated 4 months ago
• 0xZKML / zk-mnist
  Demo of ML for MNIST classification in a zero knowledge proof
  ☆121Updated 2 years ago
• 0xPARC / zkrepl
  An online playground for zero knowledge circuits
  ☆149Updated 10 months ago
• 0xPARC / circom-starter
  basic circom project using hardhat-circom (upgrade to circom2 is WIP)
  ☆130Updated last year
• lyronctk / zator
  Verifying a 512-layer CNN w/ Nova
  ☆164Updated last year
• BerkeleyBlockchain / stablesims
  StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…
  ☆54Updated 3 years ago
• personaelabs / spartan-ecdsa
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆209Updated last year
• rdi-berkeley / zkp-mooc-lab
  ☆83Updated 2 years ago
• primitivefinance / rmm-core
  Primitive Replicating Market Maker smart contracts
  ☆131Updated 9 months ago
• arnaucube / awesome-circom
  A curated list of repos related to Circom
  ☆99Updated 2 years ago
• franklynwang / EcneProject
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆110Updated 2 years ago
• nulven / EthDataMarketplace
  ☆93Updated 3 years ago
• yi-sun / circom-pairing
  ☆197Updated last year
• exp-table / nplate
  A template for noir.
  ☆142Updated last year
• delendum-xyz / zk-knowledge
  knowledge base of ZKP including applications, hardware, technical discussions and more.
  ☆125Updated 2 years ago
• hash-based-snargs-book / hash-based-snargs-book
  Source code for "Building Cryptographic Proofs from Hash Functions"
  ☆190Updated last month
• runtimeverification / publications
  Publications of Runtime Verification, Inc.
  ☆91Updated 2 weeks ago
• ethereum / rig
  Robust Incentives Group
  ☆125Updated last month
• lambdaclass / sparkling_water_bootcamp
  Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp
  ☆137Updated 6 months ago
• FlynnSC / zk-hunt
  An onchain game which explores different ZK game mechanics and information asymmetry
  ☆93Updated last year
• Account-Link / teleport-gramine-rs
  One-time programs on X, create and share a one-time post link from your Twitter account with LLM-enforced policies
  ☆109Updated 4 months ago
• paradigmxyz / zk-eth-rng
  Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.
  ☆177Updated last year