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 4 years ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆73Updated 6 years ago
- Upgradeable smart contracts on Ethereum☆105Updated 6 years ago
- Solidity implementation of a delegate proxy☆92Updated 2 years ago
- MythX smart contract security verification plugin for Truffle Framework☆124Updated 2 years ago
- Some example patterns for building fault-tolerant Ethereum smart contracts☆56Updated 7 years ago
- ☆61Updated 2 years ago
- Raiden Network Smart Contracts☆53Updated last year
- ☆165Updated 8 years ago
- Compile Solidity source code and verify its bytecode matches the blockchain☆86Updated 4 months ago
- Baby ZoE - first step towards Zerocash over Ethereum☆119Updated 8 years ago
- RSA signature verification in Ethereum☆49Updated 8 years ago
- Ethereum Package Manager http://ethpm.github.io/ethpm-spec/☆166Updated last year
- Providing reusable Solidity libraries that are live on the Ethereum blockchain.☆87Updated 2 years ago
- Get a merkle-proof from the blockchain. Verify it locally.☆191Updated 7 months ago
- String utility functions for ethereum contracts☆40Updated 9 years ago
- Code coverage for solidity☆64Updated 7 years ago
- A proof of concept trustless ethereum mixer☆230Updated 6 years ago
- Solidity library for checking whether the call stack can be increased by a certain amount.☆11Updated 8 years ago
- Solidity Parser in Javascript☆138Updated 2 years ago
- Zero Knowledge Proofs and how they can be implemented in Quorum☆130Updated 4 months ago
- Curated list of resources regarding state channels on Ethereum☆58Updated 6 years ago
- JS - Solidity sha3 merkle tree bridge. Generate proofs in JS; verify in Solidity.☆111Updated 7 months ago
- Partial Lock Commit Reveal Voting System that utilizes ERC20 Tokens☆174Updated 4 months ago
- ☆110Updated 5 years ago
- A program that annotates a vm trace with dataflow information☆35Updated 2 years ago
- Smart contracts for trustless bridges☆75Updated 4 years ago
- Ethereum and Quorum private blockchain explorer☆84Updated 5 years ago