edwinlock / product-mixLinks
An implementation of the Product-Mix auction
☆9Updated last year
Alternatives and similar repositories for product-mix
Users that are interested in product-mix are comparing it to the libraries listed below
Sorting:
- Implementation and evaluation of combinatorial auction protocols: VCG and Groves mechanism with submodular approximation (GM-SMA)☆26Updated 2 years ago
- ☆28Updated 8 months ago
- ☆18Updated 2 years ago
- ☆47Updated last year
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆56Updated 2 years ago
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆55Updated 3 years ago
- Github action for the Amarna static analyzer☆9Updated 2 years ago
- Formal verification of the zkWasm project☆12Updated 10 months ago
- Precise Attack Synthesis for DeFi Apps☆47Updated 2 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆13Updated 2 years ago
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆39Updated 5 years ago
- Delay Function Verification Smart Contract☆28Updated 4 years ago
- ☆27Updated 3 years ago
- Merke tree visualization library for browser, works with merkletreejs☆24Updated 2 years ago
- Elliptic curve search experiments☆35Updated 2 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- Rust implementation of ElGamal encryption☆14Updated last year
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆67Updated 2 years ago
- Notebooks showing how to use CryptoUtilities☆13Updated 2 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- FS-DKR: One Round Distributed Key Rotation☆33Updated last year
- Resources from paper "(In)Stability for the Blockchain: Deleveraging Spirals and Stablecoin Attacks"☆18Updated 3 years ago
- An Awesome list for resources on algorithmic game theory☆161Updated 2 years ago
- The official repository containing the documentation of the Sigma Protocols working group.☆16Updated last year
- ☆42Updated 3 years ago
- Proof system with plonkup back-end proving arguments☆14Updated 3 years ago
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆34Updated 3 years ago
- Batch verifier for zkSNARKs☆10Updated 2 years ago
- Cryptanalysis of the Legendre PRF Challenges☆11Updated 5 years ago