Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.
☆74Mar 2, 2018Updated 8 years ago
Alternatives and similar repositories for Hydra
Users that are interested in Hydra are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Sep 17, 2022Updated 3 years ago
- The SECBIT Static Analysis Extension to Solidity Compiler☆18Jan 31, 2019Updated 7 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆110Dec 8, 2022Updated 3 years ago
- Loom Network's all-in-one package to connect your client to your DApp on EthDeploy☆14Feb 11, 2018Updated 8 years ago
- Load Balancer for fault-tolerant Ethereum and Bitcoin infrastructure (+ forks)☆10Sep 12, 2018Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- [DEPRECATED] Security Scanner for Ethereum Smart Contracts☆223Jan 23, 2020Updated 6 years ago
- Research documents related to our implementation☆43Nov 10, 2018Updated 7 years ago
- Geth/Parity node healthcheck endpoint. Check the node is in sync with the network☆11Oct 17, 2022Updated 3 years ago
- RMM-01 Simulations☆49Mar 29, 2023Updated 2 years ago
- A generic token-curated registry☆10Nov 28, 2018Updated 7 years ago
- Trusted relayer contract to move assets between chains. EPM repo.☆18Dec 16, 2019Updated 6 years ago
- ☆17Jul 12, 2018Updated 7 years ago
- GHST staking diamond.☆85Nov 19, 2023Updated 2 years ago
- Utilities for interacting with the Ethereum virtual machine☆383May 7, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆12May 10, 2021Updated 4 years ago
- ☆10Sep 8, 2021Updated 4 years ago
- *UNMAINTAINED* Decompiler and Security Analysis tool for Blockchain-based Ethereum Smart-Contracts☆936Jan 10, 2019Updated 7 years ago
- A smartcontract Dapp with a web based UI that keeps track of contract data by adding it into blocks to be mined on a test network.☆20Jun 15, 2017Updated 8 years ago
- 🗜️Ethereum blockchain orchestration, testing, and command line interface.☆104Nov 20, 2021Updated 4 years ago
- 👯 speedy, parallelized, hot-reloading solidity test framework☆76Jun 8, 2018Updated 7 years ago
- ☀️☆12Aug 24, 2022Updated 3 years ago
- Zen is a token trading protocol for transferring NFTs P2P.☆15Sep 7, 2022Updated 3 years ago
- EVM dissassembler☆861Sep 4, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An Analysis Tool for Smart Contracts☆1,342Jan 19, 2023Updated 3 years ago
- A benchmark suite for evaluating the precision of EVM code analysis tools.☆42Aug 31, 2018Updated 7 years ago
- Smart contracts for Fuse by Rari Capital.☆27May 10, 2022Updated 3 years ago
- ☆19Mar 28, 2017Updated 8 years ago
- Code coverage for solidity☆65Jul 20, 2017Updated 8 years ago
- Compile solidity-code faster, easier and more reliable☆48Nov 30, 2018Updated 7 years ago
- Educational tools for Binary Ninja☆20Jul 18, 2018Updated 7 years ago
- A document describing purity detection in EVM opcode☆16Mar 28, 2022Updated 3 years ago
- smart contract implementation according to the Plasma MVP spec.☆79Feb 11, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Geth-in-SGX provides an example of running go-ethereum in SGX☆77Mar 19, 2024Updated 2 years ago
- Cross-chain proofs and atomic transactions☆18Aug 29, 2018Updated 7 years ago
- The DarkSae Market for Dark Forest☆28Aug 17, 2022Updated 3 years ago
- Solidity Parser in Javascript☆137Jan 10, 2022Updated 4 years ago
- KORD Documentation☆13Mar 7, 2018Updated 8 years ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- IC3 Bootcamp Security Project☆22Jul 19, 2017Updated 8 years ago