ethereum / oyente
The project has been moved to this new repo https://github.com/melonproject/oyente
☆64Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for oyente
- Storage repo for Solidity contracts, tests, and docs.☆98Updated 5 years ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆73Updated 6 years ago
- Solidity implementation of a delegate proxy☆92Updated 2 years ago
- Baby ZoE - first step towards Zerocash over Ethereum☆119Updated 8 years ago
- Upgradeable smart contracts on Ethereum☆105Updated 6 years ago
- ☆61Updated 2 years ago
- A program that annotates a vm trace with dataflow information☆35Updated 2 years ago
- Ethereum Package Manager http://ethpm.github.io/ethpm-spec/☆166Updated last year
- Solidity Parser in Javascript☆138Updated 2 years ago
- RSA signature verification in Ethereum☆49Updated 8 years ago
- ☆166Updated 8 years ago
- Smart contracts for trustless bridges☆75Updated 4 years ago
- Compile Solidity source code and verify its bytecode matches the blockchain☆86Updated 4 months ago
- A Solidity linter written in JS☆32Updated 7 years ago
- Code coverage for solidity☆64Updated 7 years ago
- Zero Knowledge Proofs and how they can be implemented in Quorum☆130Updated 4 months ago
- Some example patterns for building fault-tolerant Ethereum smart contracts☆56Updated 7 years ago
- Density is a library or collection of useful modifiers and methods for Solidity.☆29Updated 8 years ago
- Ethereum-Zcash Integration effort☆66Updated 5 years ago
- A proof of concept trustless ethereum mixer☆230Updated 6 years ago
- Security issues in Ethereum demonstrated in mocha tests. The fix is also demonstrated☆141Updated last year
- Curated list of resources regarding state channels on Ethereum☆58Updated 6 years ago
- Solidity grammar for ANTLR4☆122Updated 4 years ago
- Providing reusable Solidity libraries that are live on the Ethereum blockchain.☆87Updated 2 years ago
- Template for implementing Plasma child chains with Truebit☆50Updated 6 years ago
- Get a merkle-proof from the blockchain. Verify it locally.☆191Updated 8 months ago
- Moved to this repo https://github.com/KyberNetwork/peace-relay☆29Updated 6 years ago
- 🇳🇱✖️DutchX core smart contracts☆45Updated 4 years ago