anmavrid / smart-contracts
☆119Updated last year
Related projects ⓘ
Alternatives and complementary repositories for smart-contracts
- [DEPRECATED] Security Scanner for Ethereum Smart Contracts☆219Updated 4 years ago
- Solidity grammar for ANTLR4☆122Updated 4 years ago
- The project has been moved to this new repo https://github.com/melonproject/oyente☆64Updated 7 years ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆73Updated 6 years ago
- Symbolic virtual machine for Ethereum☆68Updated 6 years ago
- Raiden Network Smart Contracts☆53Updated last year
- Orion is a PegaSys component for doing private transactions☆91Updated 2 years ago
- Parse the Ethereum blockchain from a local geth node!☆151Updated 4 years ago
- Solidity implementation of a delegate proxy☆92Updated 2 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆155Updated 4 years ago
- Upgradeable smart contracts on Ethereum☆105Updated 6 years ago
- ZSL on Quorum☆73Updated 5 years ago
- Correctness proofs of Ethereum token contracts☆98Updated 5 years ago
- The start page about my efforts around smart contract verification☆299Updated 2 years ago
- 🇳🇱✖️DutchX core smart contracts☆45Updated 4 years ago
- Storage repo for Solidity contracts, tests, and docs.☆98Updated 5 years ago
- Trustless Tumbling for Transaction Privacy☆86Updated 5 years ago
- Town Crier: an Authenticated Data Feeds for Smart Contracts☆134Updated 3 years ago
- MythX smart contract security verification plugin for Truffle Framework☆125Updated 2 years ago
- Ethereum-Zcash Integration effort☆66Updated 5 years ago
- Hyperledger Besu Ethereum client quick-start makes you able to simply test all Besu features.☆41Updated 2 years ago
- JS - Solidity sha3 merkle tree bridge. Generate proofs in JS; verify in Solidity.☆111Updated 8 months ago
- Baby ZoE - first step towards Zerocash over Ethereum☆119Updated 8 years ago
- Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905☆57Updated last year
- 📑 Documentation Generator for Solidity☆212Updated 2 years ago
- General interoperability framework for trustless cross-system interaction☆141Updated 3 years ago
- fire many transactions at Ethereum node, then produce diagrams of TPS, blocktime, gasUsed and gasLimit, and blocksize.☆122Updated last year
- Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others☆45Updated 4 years ago
- ☆61Updated 2 years ago