mc2-umd / ethereumlab
☆71Updated 6 years ago
Alternatives and similar repositories for ethereumlab:
Users that are interested in ethereumlab are comparing it to the libraries listed below
- Baby ZoE - first step towards Zerocash over Ethereum☆119Updated 8 years ago
- Blockchain Bibliography☆50Updated last year
- ☆166Updated 8 years ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆73Updated 7 years ago
- Town Crier: an Authenticated Data Feeds for Smart Contracts☆136Updated 3 years ago
- ZSL on Quorum☆73Updated 6 years ago
- Random Beacon Simulator☆122Updated 7 years ago
- Ethereum-Zcash Integration effort☆66Updated 6 years ago
- Research and implementation for non-interactive blockchain proofs of proofs of work☆49Updated 2 years ago
- libsnark: a C++ library for zkSNARK proofs☆116Updated 2 years ago
- Khalil, R. and Gervais, A. 2017. ACM Conference on Computer and Communications Security. Revive: Rebalancing Off-Blockchain Payment Netwo…☆31Updated 7 years ago
- A program that annotates a vm trace with dataflow information☆35Updated 2 years ago
- The project has been moved to this new repo https://github.com/melonproject/oyente☆64Updated 7 years ago
- ☆79Updated 8 years ago
- Storage repo for Solidity contracts, tests, and docs.☆98Updated 5 years ago
- Teechain: A Secure Payment Network with Asynchronous Blockchain Access☆53Updated 5 years ago
- Submission site for Zcash Foundation grant proposals☆25Updated 6 years ago
- Dr. Y's Ethereum Contract Analyzer☆42Updated 2 years ago
- Simulation framework for non-standard mining strategies☆57Updated 3 years ago
- Taking trustless interactions beyond the chain☆81Updated 8 years ago
- The original p2p version (non-transferable proofs)☆139Updated 3 years ago
- Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)☆178Updated 2 years ago
- ☆119Updated 8 years ago
- ☆44Updated 6 years ago
- Source code used in the 'An Empirical Analysis of Anonymity in Zcash' research☆23Updated 5 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆240Updated 2 years ago
- Source code for IMC 2016 submission☆31Updated 8 years ago
- Privacy-preserving auditing for distributed ledgers☆66Updated 6 years ago
- ☆59Updated 7 years ago
- ☆69Updated 3 years ago