gnosis / dex-zksnarksLinks
Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
☆46Updated 6 years ago
Alternatives and similar repositories for dex-zksnarks
Users that are interested in dex-zksnarks are comparing it to the libraries listed below
Sorting:
- A zkSNARK tutorial and development environment☆16Updated 7 years ago
- A Solidity delegate call proxy that also `delegatecall`'s its constructor☆22Updated 6 years ago
- Plasma Cash: Towards Improved Plasma Constructions.☆50Updated 6 years ago
- Implementation of the Perun protocol☆49Updated 5 years ago
- ☆18Updated last year
- Collection of research papers written within Gnosis☆92Updated 3 years ago
- ☆62Updated 3 years ago
- Pure-solidity implementation of the SHA1 hash function.☆43Updated 2 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Updated 6 years ago
- Misc repo for draft Solidity contracts.☆12Updated 6 years ago
- 📄 Counterfactual: Generalized State Channels Paper☆57Updated 6 years ago
- Template for implementing Plasma child chains with Truebit☆50Updated 7 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- formal verification of multicollateral dai in the K framework☆46Updated 3 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- 🇳🇱✖️DutchX core smart contracts☆45Updated 5 years ago
- A force-move protocol implementation☆55Updated 2 years ago
- A program that annotates a vm trace with dataflow information☆35Updated 3 years ago
- 0x Protocol v2 Audit☆26Updated 5 years ago
- ZCash like private DAI transactions on ethereum using ZkSnarks. MakerDAO API prize winner.☆52Updated 6 years ago
- A library for encoding CBOR in Solidity.☆66Updated last year
- PoC of SNARK-driven Plasma with up to 500 tx/sec☆69Updated 6 years ago
- zDai.io - confidential Dai transactions on Burner wallet☆29Updated 6 years ago
- Translations of standard contracts from Solidity to Vyper.☆12Updated 7 years ago
- Sputnik is an assembly language and interpreter for Fully Homomorphic Encryption☆27Updated 6 years ago
- OVM specs & contracts☆36Updated 2 years ago
- ☆43Updated 5 years ago
- An experimental implementation of state channels from IC3-ETH. Combines Sprites/Pisa/Perun/L4 dispute process.☆35Updated 2 years ago
- Verify Estonian e-id signatures on Ethereum☆61Updated 3 years ago
- Token distribution based on providing Merkle proofs of inclusion in genesis state to generate allocation☆29Updated 6 years ago