degregat / awesome-mechanism-design

Related projects ⓘ

Alternatives and complementary repositories for awesome-mechanism-design

• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆31Updated 7 months ago
• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆18Updated 3 months ago
• realbigsean / mock-relay
  ☆21Updated last year
• hellwolf / yul-dsl-monorepo
  The monorepo of YulDSL (a DSL for Solidity/Yul) and its programming frontend Yolc.
  ☆11Updated this week
• liamzebedee / awesome-cairo
  A list of awesome Cairo and STARK-adjacent projects
  ☆16Updated 2 years ago
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆48Updated 4 months ago
• ethereum / yul-isabelle
  ☆40Updated 2 years ago
• NethermindEth / Yul-Specification
  A formal specification of the Yul IR semantics in the Lean proof assistant.
  ☆13Updated 2 years ago
• zk-ml / tachikoma
  neural network inference standard for zero-knowledge-proof systems
  ☆33Updated last year
• guiltygyoza / christopher
  A gate level simulator and gate level netlist standard specification in Cairo
  ☆17Updated 2 years ago
• arielgabizon / Lectures
  ☆28Updated last month
• 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
• ZK-Hack / puzzle-gamma-ray
  ☆21Updated 10 months ago
• primitivefinance / Topological-Data-Analysis
  This repository is for topologic and geometric data analysis.
  ☆13Updated 2 years ago
• penumbra-zone / poseidon377
  An instantiation of the Poseidon hash for use with decaf377
  ☆29Updated this week
• refcell / evolve
  On-Chain Experiment Hub
  ☆14Updated 2 years ago
• hellsegga-xyz / 055-contract
  Contracts and Circuits for 055 Artifacts
  ☆10Updated 2 years ago
• lopeetall / caulk
  Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf
  ☆12Updated 2 years ago
• kaushik-himself / winterfell-boilerplate
  ☆13Updated last year
• clabby / keccak256-aarch64
  A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.
  ☆19Updated last year
• noir-lang / book
  ☆15Updated last year
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆26Updated 3 years ago
• emilianobonassi / zkml-community-calls
  notes for community call for ZKML Community
  ☆19Updated 2 years ago
• xJonathanLEI / starkware-crypto-rs
  Rust FFI bindings for StarkWare's crypto-cpp library
  ☆15Updated 2 years ago
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆23Updated last year
• asonnino / arke
  Decentralised Privacy-Preserving Contact Discovery
  ☆18Updated last year
• zk-ml / research
  repository for machine learning algorithms and systems on emergent runtimes
  ☆22Updated last year
• nulltea / spy-pets
  Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
  ☆28Updated last year
• PossibilityResult / Decentralized-Auctions
  ☆12Updated last year
• vezenovm / mastermind-noir
  ☆32Updated 2 years ago