gnosis / dex-zksnarks
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
- β18Updated last year
- A zkSNARK tutorial and development environmentβ16Updated 7 years ago
- π³π±βοΈDutchX core smart contractsβ45Updated 5 years ago
- Collection of research papers written within Gnosisβ92Updated 3 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)β78Updated 6 years ago
- A library for encoding CBOR in Solidity.β64Updated last year
- Plasma Cash: Towards Improved Plasma Constructions.β50Updated 6 years ago
- Misc repo for draft Solidity contracts.β12Updated 6 years ago
- [DEPRECATED] On-chain interpreter for WebAssembly written in Solidityβ67Updated 4 years ago
- Template for implementing Plasma child chains with Truebitβ50Updated 7 years ago
- [Readme and Documentation WIP] - Prototype lightning implementation on Ethereum, with lnd interop. Supports BOLT#1 and BOLT#2.β12Updated 3 years ago
- A Solidity delegate call proxy that also `delegatecall`'s its constructorβ22Updated 6 years ago
- Smart contracts for trustless bridgesβ75Updated 5 years ago
- A state channels ICO auction contract.β23Updated 7 years ago
- zDai.io - confidential Dai transactions on Burner walletβ29Updated 6 years ago
- Simple Ethereum event trackingβ54Updated 7 years ago
- OVM specs & contractsβ36Updated 2 years ago
- Multi-Signature Aggregation in a Large Byzantine Committeesβ54Updated 10 months ago
- ZCash like private DAI transactions on ethereum using ZkSnarks. MakerDAO API prize winner.β52Updated 5 years ago
- β62Updated 3 years ago
- Something to play with while we waitβ20Updated 5 years ago
- formal verification of multicollateral dai in the K frameworkβ45Updated 3 years ago
- A force-move protocol implementationβ55Updated 2 years ago
- Ethereum plasma implementationβ49Updated 7 years ago
- π Counterfactual: Generalized State Channels Paperβ57Updated 6 years ago
- β25Updated 6 years ago
- β43Updated 5 years ago
- Benchmarking data for EVM ops and precompilesβ22Updated 2 years ago
- a mechanism for incentivizing full nodesβ24Updated 6 years ago
- ZkVM β a blockchain virtual machine with cloaked assets and ZK smart contractsβ42Updated 6 years ago