teamnsrg / ethereum-p2p
Official Go implementation of the Ethereum protocol
☆17Updated 6 years ago
Alternatives and similar repositories for ethereum-p2p:
Users that are interested in ethereum-p2p are comparing it to the libraries listed below
- Papers of smart contract security analysis (and tools)☆35Updated 5 years ago
- PeaceRelay: Connecting the Ethereum blockchains☆38Updated 6 years ago
- Verified contracts synced from Etherscan☆62Updated 6 years ago
- The SECBIT Static Analysis Extension to Solidity Compiler☆19Updated 6 years ago
- 🔍Wireshark dissectors for Ethereum devp2p protocols☆120Updated 3 years ago
- Forerunner: Constraint-based Speculative Transaction Execution for Ethereum☆98Updated last year
- Smart Sync enables the creation of smart contract forks and verifiable synchronization across EVM-compatible blockchain networks.☆13Updated 2 years ago
- vmstats☆32Updated 3 years ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆73Updated 7 years ago
- A Python simulator used to model cross shard transaction strategies for Ethereum 2.0☆11Updated 11 months ago
- Smart contract - Zerocash-like approach for privacy on Ethereum☆21Updated 6 years ago
- A devp2p crawler targeted at Eth2 nodes☆59Updated last year
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Updated 2 years ago
- A dynamic checker for the ECF property incorporated into geth☆15Updated 7 years ago
- A libsnark's tutorial on sudoku☆17Updated 6 years ago
- Solstice is a security analysis framework for investigative smart contract examination. The first prototype of Solstice, code named W18 (…☆20Updated 6 years ago
- Symbolic virtual machine for Ethereum☆69Updated 6 years ago
- Notes on cryptographic schemes and attacks☆25Updated 6 years ago
- ☆15Updated 4 years ago
- ☆19Updated 2 years ago
- ☆68Updated 3 weeks ago
- Verifiable Random Function (VRF) library written in Solidity☆102Updated 2 years ago
- State-of-the-art about program verification on Ethereum DApps☆22Updated last year
- ☆38Updated 2 weeks ago
- SolidityCheck is a static code problem detection tool based on regular expressions and program instrumentation, which is developed for Et…☆23Updated 3 years ago
- Scriptless atomic cross-chain (and cross-curve) swap protocol based on a fair exchange of secrets.☆33Updated 4 years ago
- Example project for EthSnarks - Miximus coin mixer☆83Updated 5 years ago
- yellow paper for roll_up token☆67Updated 5 years ago
- BLS threshold signature verification in Solidity☆19Updated 6 years ago
- Subset of public audit reports issued by ChainSecurity. For more, please visit:☆30Updated last year