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:
- Athena is a modern, practical language for proof engineering & natural deduction.☆73Updated last month
- ☆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
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆70Updated 2 years ago
- Minimal Yul Transpilation to the Miden VM☆52Updated 2 years ago
- ☆21Updated 3 years ago
- a lisp built on top of vyper☆50Updated 3 months ago
- We're living in Obfustopia☆27Updated 8 months ago
- A curated list of rust articles worth reading☆23Updated 2 years ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆58Updated 2 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆55Updated 2 years ago
- ZK proofs for Brainfuck execution using powdr☆17Updated last year
- Code for Dynamic Pricing for Non-fungible Resources☆17Updated 2 years ago
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated 2 years ago
- Interactive formal verification tool for Yul programs☆75Updated last month
- ☆27Updated 3 years ago
- Assembly implementation of EIP-4788 system contract.☆23Updated last year
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated 2 years ago
- Agent-based simulation environment for PoS Ethereum☆53Updated 2 years ago
- A battleship game using ZKPs☆43Updated last year
- a simple implementation of the KZG polynomial commitment scheme☆25Updated 3 years ago
- An EVM interpreter in Dafny☆131Updated 11 months ago
- Practical Experiments on how to add complete privacy to flashbots☆48Updated 11 months ago
- ☆65Updated 10 months ago
- Library of zkSNARKS circuits written in the Circom language.☆50Updated 3 years ago
- ☆21Updated last year
- A toy Cairo VM implementation in Rust™☆73Updated 3 years ago
- Cross-zk-rollup aggregation☆60Updated 2 years ago