degregat / awesome-mechanism-design
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
- A support library for working with zero knowledge cryptography in Lean 4.☆37Updated 3 weeks ago
- No-dependencies assembler for the EVM with examples (λ-calculus, linked lists, etc.)☆13Updated last year
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆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
- A formal verification of Linear PCP SNARKs.☆53Updated 9 months ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆66Updated 2 years ago
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆13Updated 3 years ago
- Resources from paper "(In)Stability for the Blockchain: Deleveraging Spirals and Stablecoin Attacks"☆18Updated 3 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆15Updated last year
- Agent-based simulation environment for PoS Ethereum☆52Updated 2 years ago
- Elliptic curve search experiments☆35Updated 2 years ago
- notes for community call for ZKML Community☆18Updated 2 years ago
- Code for Dynamic Pricing for Non-fungible Resources☆16Updated 2 years ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆19Updated 8 months ago
- ☆41Updated 2 years ago
- FHE in the Risc0 zkVM☆25Updated last year
- notes for community call for ZKML Community☆12Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- neural network inference standard for zero-knowledge-proof systems☆35Updated last year
- Shared Lurk source code, including tests and library code.☆18Updated last year
- Contracts and Circuits for 055 Artifacts☆10Updated 2 years ago
- Home of the Skyro compiler☆44Updated 2 years ago
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆54Updated 3 years ago
- A gate level simulator and gate level netlist standard specification in Cairo☆17Updated 3 years ago
- MEV-Boost Auction Simulation Framework☆25Updated 2 months ago
- ☆21Updated last year
- a simple implementation of the KZG polynomial commitment scheme☆26Updated 3 years ago
- Transaction markets in Python☆60Updated 2 years ago
- trusted setup MPC tools☆12Updated 5 years ago