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:
- Agent-based simulation environment for PoS Ethereum☆54Updated 2 years ago
- ☆41Updated 2 years ago
- A support library for working with zero knowledge cryptography in Lean 4.☆39Updated last month
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆55Updated 3 years ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆73Updated 2 months ago
- A curated list of rust articles worth reading☆23Updated 2 years ago
- neural network inference standard for zero-knowledge-proof systems☆34Updated 2 years ago
- A toolchain for interaction with the Proof Market protocol.☆23Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated 2 years ago
- Practical Experiments on how to add complete privacy to flashbots☆48Updated last year
- A toy Cairo VM implementation in Rust™☆73Updated 3 years ago
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated 2 years ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆59Updated 2 years ago
- Minimal Yul Transpilation to the Miden VM☆52Updated 2 years ago
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆55Updated 2 years ago
- We're living in Obfustopia☆27Updated 9 months ago
- A battleship game using ZKPs☆43Updated last year
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- ☆32Updated 3 years ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆72Updated 2 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated 2 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Updated last year
- ☆45Updated 5 months ago
- Zero-knowledge Sudoku using zk-SNARKs☆46Updated 3 years ago
- An observatory fork of SP1☆75Updated 8 months ago
- ☆40Updated 2 years ago
- ☆21Updated last year
- Interactive formal verification tool for Yul programs☆75Updated last month
- ☆39Updated 2 years ago
- ☆49Updated 2 years ago