degregat / awesome-mechanism-design
A curated list of mechanism design resources and links.
☆19Updated 3 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
- A support library for working with zero knowledge cryptography in Lean 4.☆35Updated 3 weeks ago
- ☆41Updated 2 years ago
- A formal verification of Linear PCP SNARKs.☆52Updated 8 months ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆64Updated 2 years ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆19Updated 7 months ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- repository for machine learning algorithms and systems on emergent runtimes☆21Updated 2 years ago
- Contracts and Circuits for 055 Artifacts☆10Updated 2 years ago
- PoC implementation of polynomial commitment scheme based Range Proofs☆12Updated last year
- ☆27Updated 5 months ago
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆13Updated 3 years ago
- ☆21Updated last year
- ZK proofs for Brainfuck execution using powdr☆15Updated 7 months ago
- ☆21Updated last year
- ☆15Updated 2 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated last year
- ☆21Updated 3 years ago
- Precise Attack Synthesis for DeFi Apps☆47Updated 2 years ago
- Rust FFI bindings for StarkWare's crypto-cpp library☆15Updated 2 years ago
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆14Updated last year
- Code for Dynamic Pricing for Non-fungible Resources☆16Updated 2 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆71Updated 2 weeks ago
- A battleship game using ZKPs☆43Updated last year
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆54Updated 3 years ago
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated 2 years ago
- A Prolog engine written in Solidity.☆16Updated 3 years ago
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 3 years ago
- In-EVM Solana Light Client State Verification☆35Updated 10 months ago