degregat / awesome-mechanism-designLinks
A curated list of mechanism design resources and links.
☆20Updated 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:
- A support library for working with zero knowledge cryptography in Lean 4.☆38Updated 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
- ☆41Updated 2 years ago
- Various Cryptographic Primitives in Sway for the Fuel VM☆9Updated last year
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆70Updated 2 years ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆20Updated 10 months ago
- Athena is a modern, practical language for proof engineering & natural deduction.☆72Updated last month
- No-dependencies assembler for the EVM with examples (λ-calculus, linked lists, etc.)☆13Updated last year
- Code for Dynamic Pricing for Non-fungible Resources☆17Updated 2 years ago
- A formal verification of Linear PCP SNARKs.☆53Updated 11 months ago
- Transaction markets in Python☆59Updated 2 years ago
- We're living in Obfustopia☆26Updated 5 months ago
- Deposit smart contract in Dafny☆22Updated 3 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- An open benchmark for evaluating smart contracts verification tools.☆14Updated last month
- Extracting the semantics of Noir to Lean for formal verification☆33Updated this week
- Simulation code for a GEB system☆15Updated 3 years ago
- Proving shortest paths with recursive SNARKs☆13Updated 2 years ago
- Practical Experiments on how to add complete privacy to flashbots☆47Updated 8 months ago
- World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.☆34Updated 3 years ago
- Benchmarking Polynomial Commitments☆49Updated last year
- neural network inference standard for zero-knowledge-proof systems☆34Updated last year
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated 2 years ago
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆15Updated last year
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆21Updated 5 years ago
- ☆21Updated last year
- A small repository containing the TeX code for the Succinct Proofs and Linear Algebra study session's slides and homework☆20Updated 11 months ago
- ☆28Updated 8 months ago
- A textbook centered around teaching mathematics to physicists and chemists☆12Updated 3 years ago
- Batch ECDSA in circom☆33Updated 2 years ago