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
- ☆166Updated 9 years ago
- ☆79Updated 8 years ago
- Blockchain Bibliography☆50Updated last year
- 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
- Random Beacon Simulator☆122Updated 7 years ago
- The project has been moved to this new repo https://github.com/melonproject/oyente☆64Updated 8 years ago
- Forked version of rusty-blockparser, a multi-threaded Bitcoin block chain parser written in Rust, including a Clusterizer component. Plea…☆43Updated 7 years ago
- Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)☆180Updated 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
- ☆32Updated 6 years ago
- Source code used in the 'An Empirical Analysis of Anonymity in Zcash' research☆24Updated 5 years ago
- Ethereum-Zcash Integration effort☆67Updated 6 years ago
- ZSL on Quorum☆73Updated 6 years ago
- ☆44Updated 7 years ago
- Teechain: A Secure Payment Network with Asynchronous Blockchain Access☆53Updated 5 years ago
- Storage repo for Solidity contracts, tests, and docs.☆98Updated 5 years ago
- ☆70Updated 3 years ago
- Personal fork of -zkp. Has some old mimblewimble stuff but mostly I just PR everything upstream now.☆84Updated 10 months ago
- Zero Knowledge Proofs and how they can be implemented in Quorum☆133Updated 10 months ago
- Proof of luck Intel SGX and IPFS based blockchain.☆73Updated 4 years ago
- ☆110Updated 5 years ago
- ☆59Updated 7 years ago
- ☆62Updated 3 years ago
- libsnark: a C++ library for zkSNARK proofs☆115Updated 2 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆239Updated 3 years ago
- Course information for 6.892 (Spring 2017)☆109Updated 7 years ago
- Taking trustless interactions beyond the chain☆81Updated 8 years ago
- Privacy-preserving auditing for distributed ledgers☆66Updated 6 years ago