Alternatives and similar repositories for awesome-mechanism-design:

Users that are interested in awesome-mechanism-design are comparing it to the libraries listed below

• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆34Updated last week
• reilabs / gnark-lean-demo
  Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
  ☆14Updated 10 months ago
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆19Updated this week
• lambdaclass / starknet_rollup_on_bitcoin
  Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer
  ☆13Updated last year
• primitivefinance / Topological-Data-Analysis
  This repository is for topologic and geometric data analysis.
  ☆13Updated 2 years ago
• nulltea / spy-pets
  Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
  ☆28Updated 2 years ago
• reflexer-labs / geb-simulations
  Simulation code for a GEB system
  ☆14Updated 2 years ago
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆24Updated 3 years ago
• dmfxyz / reading-list-and-annotated-papers
  A collection of things I've read, things I'm reading, and things I want to read. Also contains some annotated papers.
  ☆12Updated 2 years ago
• ethereum / yul-isabelle
  ☆40Updated 2 years ago
• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆19Updated 5 months ago
• rkrasiuk / op-reth
  ☆23Updated last year
• angeris / spla-repo
  A small repository containing the TeX code for the Succinct Proofs and Linear Algebra study session's slides and homework
  ☆20Updated 6 months ago
• NethermindEth / Yul-Specification
  A formal specification of the Yul IR semantics in the Lean proof assistant.
  ☆13Updated 3 years ago
• emo-eth / l1-block-snapshotter
  Historical L1Block snapshotter for OP Stack chains
  ☆16Updated last year
• bokkypoobah / umswap
  umswap - "Like WETH, but for ERC-721s"
  ☆15Updated last year
• Rate-Limiting-Nullifier / rln-contract
  Foundry project for the RLN
  ☆17Updated last year
• lightclient / 4788asm
  Assembly implementation of EIP-4788 system contract.
  ☆22Updated 5 months ago
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆52Updated 6 months ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆61Updated last year
• hellsegga-xyz / 055-contract
  Contracts and Circuits for 055 Artifacts
  ☆10Updated 2 years ago
• realbigsean / mock-relay
  ☆21Updated last year
• meoawtistic / ruff
  ☆37Updated 2 years ago
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 2 years ago
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆23Updated last year
• adhusson / delegate-prank
  Delegatecall from any contract. A kind of vm.prank for delegatecalls.
  ☆19Updated 4 months ago
• primitivefinance / m3-rs
  Simple rust interface to get derived analytical information of algorithmic market making models (M3).
  ☆12Updated last year
• liamzebedee / awesome-cairo
  A list of awesome Cairo and STARK-adjacent projects
  ☆16Updated 2 years ago
• ZK-Hack / puzzle-gamma-ray
  ☆21Updated last year
• nmushegian / minilang
  term rewrite system for bootstrapping languages
  ☆9Updated 2 years ago