anmavrid / smart-contracts
☆119Updated last year
Alternatives and similar repositories for smart-contracts:
Users that are interested in smart-contracts are comparing it to the libraries listed below
- [DEPRECATED] Security Scanner for Ethereum Smart Contracts☆219Updated 4 years ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆73Updated 6 years ago
- Orion is a PegaSys component for doing private transactions☆92Updated 3 years ago
- Solidity grammar for ANTLR4☆122Updated 4 years ago
- MythX smart contract security verification plugin for Truffle Framework☆125Updated 2 years ago
- Correctness proofs of Ethereum token contracts☆97Updated 5 years ago
- The Comprehensive Ethereum Reading List☆31Updated 6 years ago
- fire many transactions at Ethereum node, then produce diagrams of TPS, blocktime, gasUsed and gasLimit, and blocksize.☆123Updated last year
- A crowdsale mechanism optimizing price discovery information for buyers☆94Updated last year
- Hyperledger Besu Ethereum client quick-start makes you able to simply test all Besu features.☆41Updated 2 years ago
- Town Crier: an Authenticated Data Feeds for Smart Contracts☆136Updated 3 years ago
- ZSL on Quorum☆73Updated 6 years ago
- Taking trustless interactions beyond the chain☆81Updated 8 years ago
- The project has been moved to this new repo https://github.com/melonproject/oyente☆64Updated 7 years ago
- Generate Solidity Code from its AST☆15Updated 8 years ago
- Ethereum-Zcash Integration effort☆66Updated 5 years ago
- Semantics of Solidity in K☆29Updated 5 years ago
- Ethereum and Quorum private blockchain explorer☆83Updated 5 years ago
- A program that annotates a vm trace with dataflow information☆35Updated 2 years ago
- Partial Lock Commit Reveal Voting System that utilizes ERC20 Tokens☆175Updated 6 months ago
- Zero Knowledge Proofs and how they can be implemented in Quorum☆131Updated 6 months ago
- Trustless Tumbling for Transaction Privacy☆86Updated 5 years ago
- JS - Solidity sha3 merkle tree bridge. Generate proofs in JS; verify in Solidity.☆111Updated 9 months ago
- POA Library: wiki, how-to, FAQ. Includes instructions how to set-up a new network, to run a full node, connect wallets,☆81Updated 5 years ago
- Upgradeable smart contracts on Ethereum☆105Updated 6 years ago
- K framework proof explorer & smart contract specification format☆123Updated 3 years ago
- 📑 Documentation Generator for Solidity☆212Updated 2 years ago
- Raiden Network Smart Contracts☆53Updated last year