brokendragon / Ethereum_Graph_Analysis
☆58Updated 6 years ago
Alternatives and similar repositories for Ethereum_Graph_Analysis:
Users that are interested in Ethereum_Graph_Analysis are comparing it to the libraries listed below
- OHIE - Blockchain scaling☆34Updated 4 years ago
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆83Updated last year
- Source code for the ICDE 2023 paper "Scaling Blockchain Consensus via a Robust Shared Mempool"☆27Updated 2 years ago
- Confidentiality-Preserving Smart Contract Platform☆21Updated 5 years ago
- This is the repository to host the code for hslang parsing and code generation.☆21Updated 2 years ago
- ☆62Updated 4 years ago
- A curated list of academic blockchain-related papers☆123Updated 3 months ago
- ☆60Updated 2 years ago
- ☆12Updated last year
- Source code for the VLDB21 paper "SlimChain: Scaling Blockchain Transactions through Off-Chain Storage and Parallel Processing"☆45Updated 3 years ago
- A control-flow graph builder for Solidity smart contracts.☆26Updated 5 years ago
- Making Smart Contract Development More Secure and Easier☆22Updated 2 years ago
- ☆20Updated 9 years ago
- MSc Project☆34Updated 5 years ago
- A framework for high-level Analysis of Ethereum Bytecode☆19Updated last week
- Awesome Byzantine Fault Tolerance (BFT)☆64Updated 2 years ago
- Source code for the SIGMOD20 paper "vChain: A Blockchain System Ensuring Query Integrity"☆25Updated 3 years ago
- A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector☆30Updated 2 years ago
- Papers of smart contract security analysis (and tools)☆35Updated 5 years ago
- Pompe implementation based on HotStuff☆16Updated 3 years ago
- Extracting and Exploring Blockchain Data from Ethereum☆67Updated last month
- Static program analysis framework for Ethereum smart contract bytecode.☆161Updated 3 years ago
- Teechain: A Secure Payment Network with Asynchronous Blockchain Access☆53Updated 5 years ago
- ☆38Updated 2 years ago
- Learn and share papers about Block Chain☆33Updated 4 years ago
- (Towards) Scalable Threshold Crypto: BLS threshold signatures with millions of signers and a scalable Distributed Key Generation (and VSS…☆32Updated last year
- A libsnark's tutorial on sudoku☆17Updated 6 years ago
- A dynamic checker for the ECF property incorporated into geth☆15Updated 7 years ago
- ☆12Updated last year
- SolidityCheck is a static code problem detection tool based on regular expressions and program instrumentation, which is developed for Et…☆23Updated 3 years ago