degregat / awesome-mechanism-designLinks
A curated list of mechanism design resources and links.
☆19Updated 4 years ago
Alternatives and similar repositories for awesome-mechanism-design
Users that are interested in awesome-mechanism-design are comparing it to the libraries listed below
Sorting:
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆55Updated 3 years ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆20Updated 10 months ago
- ☆41Updated 2 years ago
- A support library for working with zero knowledge cryptography in Lean 4.☆38Updated 2 weeks ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- Foundry project for the RLN☆17Updated last year
- Agent-based simulation environment for PoS Ethereum☆52Updated 2 years ago
- Morpho token contracts.☆14Updated 7 months ago
- ☆15Updated 2 years ago
- A battleship game using ZKPs☆43Updated last year
- Assembly implementation of EIP-4788 system contract.☆23Updated 10 months ago
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated 2 years ago
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆55Updated 2 years ago
- ☆27Updated 3 years ago
- A list of awesome Cairo and STARK-adjacent projects☆16Updated 3 years ago
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Updated last year
- Supplementary Material to be used with the Certora Prover☆17Updated 3 years ago
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆15Updated last year
- Code for Dynamic Pricing for Non-fungible Resources☆17Updated 2 years ago
- neural network inference standard for zero-knowledge-proof systems☆34Updated last year
- 👩💻 Circom compiler, snippets, hover and language support for Visual Studio Code☆16Updated 2 years ago
- An Ethereum transaction-parser☆15Updated last month
- A formal verification of Linear PCP SNARKs.☆55Updated 11 months ago
- Practical Experiments on how to add complete privacy to flashbots☆47Updated 9 months ago
- A static verifer for Ethereum Smart Contracts written in Vyper☆51Updated 2 years ago
- A curated list of rust articles worth reading☆23Updated 2 years ago
- ☆21Updated 3 years ago
- Go library to access the blockchain state of Go-ethereum☆16Updated 2 years ago
- ☆26Updated 5 months ago