Alternatives and similar repositories for product-mix:

Users that are interested in product-mix are comparing it to the libraries listed below

• aklamun / stablecoin_deleveraging
  Resources from paper "(In)Stability for the Blockchain: Deleveraging Spirals and Stablecoin Attacks"
  ☆18Updated 3 years ago
• clu8 / CombinatorialAuctions
  Implementation and evaluation of combinatorial auction protocols: VCG and Groves mechanism with submodular approximation (GM-SMA)
  ☆26Updated 2 years ago
• runtimeverification / beacon-chain-verification
  ☆18Updated 2 years ago
• bcc-research / resource-pricing
  Code for Dynamic Pricing for Non-fungible Resources
  ☆16Updated 2 years ago
• ZenGo-X / zengo-will
  ☆15Updated 3 years ago
• SRI-CSL / solidity
  This is solc-verify, a modular verifier for Solidity.
  ☆52Updated last year
• Veridise / Eurus
  Precise Attack Synthesis for DeFi Apps
  ☆47Updated 2 years ago
• apre-group / checkmate
  the CheckMate protocol verification tool
  ☆10Updated last week
• snjax / groth16batchverifier
  Batch verifier for zkSNARKs
  ☆10Updated 2 years ago
• kilic / evmvdf
  Delay Function Verification Smart Contract
  ☆28Updated 3 years ago
• 0xkarmacoma / pinball-ctf
  ☆27Updated 3 years ago
• czielinski / secmultipartycomp
  Introduction to Secure Multi-Party Computations
  ☆16Updated 6 years ago
• BerkeleyBlockchain / stablesims
  StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…
  ☆54Updated 3 years ago
• daira / describe-curve
  Describe elliptic curves
  ☆35Updated 3 years ago
• cryptolu / LegendrePRF
  Cryptanalysis of the Legendre PRF Challenges
  ☆11Updated 5 years ago
• arkworks-rs / dpc
  A library for decentralized private computation
  ☆19Updated 3 years ago
• banteg / yearn-vault-keeper
  keep yearn vaults tightly invested while maintaining the withdrawal buffer
  ☆12Updated 4 years ago
• ZeroKnowledgefm / ZeroKnowledgeBasics
  A spot to add introductory resources for people getting into the space
  ☆23Updated 3 years ago
• Veridise / Coda
  ☆47Updated last year
• hashcashier / adaptive-dispute-cutoffs
  Khalil, R. and Dulay, N. 2021. 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services. Adaptive layer…
  ☆10Updated 4 years ago
• ZenGo-X / fs-dkr
  FS-DKR: One Round Distributed Key Rotation
  ☆33Updated last year
• VeraBE / VeriMan
  Analysis tool for Solidity smart contracts. Prototype.
  ☆37Updated last year
• crytic / whipstaff
  A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)
  ☆21Updated 5 years ago
• ZenGo-X / rust-elgamal
  Rust implementation of ElGamal encryption
  ☆14Updated last year
• pet3r-pan / Before-Bitcoin
  Book about the ideological context of cryptocurrency. 'Before Bitcoin' written by Pet3rpan.
  ☆25Updated 6 years ago
• zeitgeistpm / Dynamic-Market-Maker-Zeitgeist
  In this repository I simulate the work of the recently proposed Dynamic Market Maker, which proposes dynamic variations in the determinat…
  ☆9Updated 4 years ago
• degregat / awesome-mechanism-design
  A curated list of mechanism design resources and links.
  ☆20Updated 4 years ago
• axic / eth2-deposit-contract
  This is a port of the Vyper Eth 2.0 deposit contract to Solidity.
  ☆20Updated 4 years ago
• primitivefinance / rmms-py
  Python simulator to test implementation of the RMMS paper results.
  ☆56Updated 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