ZJU-INCAS / ReportsLinks
☆13Updated 7 years ago
Alternatives and similar repositories for Reports
Users that are interested in Reports are comparing it to the libraries listed below
Sorting:
- Learn and share papers about Block Chain☆31Updated 5 years ago
- Ethereum based smart contract vulnerability checklist (关于区块链以太坊安全类问题)☆30Updated 6 years ago
- ☆58Updated 7 years ago
- Libra-sourcecode-Analysis☆26Updated 6 years ago
- An open source distributed value network☆54Updated 6 years ago
- Correctness proofs of Ethereum token contracts☆97Updated 6 years ago
- ☆30Updated 3 years ago
- Papers & instructions on learning blockchain☆17Updated 7 years ago
- A curated list of academic blockchain-related papers☆127Updated 8 months ago
- 浙江大学incas实验室-区块链顶会论文展示☆51Updated 2 years ago
- BLOCKBENCH: A Framework for Analyzing Private Blockchains. Blockbench contains workloads for measuring the data processing performance, a…☆393Updated 2 years ago
- Seminar 2016☆25Updated last year
- ☆62Updated 5 years ago
- Source code for the SIGMOD20 paper "vChain: A Blockchain System Ensuring Query Integrity"☆27Updated 4 years ago
- ☆40Updated 3 years ago
- Static program analysis framework for Ethereum smart contract bytecode.☆168Updated 4 years ago
- Xscope: Hunting for Cross-Chain Bridge Attacks☆16Updated 3 years ago
- OHIE - Blockchain scaling☆34Updated 5 years ago
- Static analysis tool for Hyperledger Frabric smart contracts written in Go.☆37Updated 5 years ago
- Official Go implementation of the hyperchain protocol☆147Updated 2 years ago
- Meepo implementation on OpenEthereum.☆24Updated 2 years ago
- Source code for the ICDCS 2022 paper "Dissecting the Performance of Chained-BFT"☆58Updated 2 years ago
- zkPoD: A decentralized system for perfect fair data exchange☆214Updated 2 years ago
- Go implementation of Algorand algorithm.☆28Updated 7 years ago
- A general-purpose BFT state machine replication library with modularity and simplicity, suitable for building hybrid consensus cryptocurr…☆283Updated 2 years ago
- An open source blockchain network simulator.☆248Updated last year
- A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector☆32Updated 3 years ago
- ☆20Updated 5 years ago
- Source code for the VLDB21 paper "SlimChain: Scaling Blockchain Transactions through Off-Chain Storage and Parallel Processing"☆47Updated 4 years ago
- ☆137Updated 4 years ago