ZJU-INCAS / Reports
☆14Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for Reports
- Learn and share papers about Block Chain☆32Updated 4 years ago
- This is the repository to host the code for hslang parsing and code generation.☆21Updated 2 years ago
- Papers & instructions on learning blockchain☆17Updated 6 years ago
- OHIE - Blockchain scaling☆34Updated 3 years ago
- Seminar 2016☆25Updated 3 months ago
- ☆58Updated 6 years ago
- ☆62Updated 3 years ago
- An open source distributed value network☆52Updated 5 years ago
- A control-flow graph builder for Solidity smart contracts.☆26Updated 4 years ago
- Ethereum based smart contract vulnerability checklist (关于区块链以太坊安全类问 题)☆30Updated 5 years ago
- ☆14Updated 7 years ago
- Minimal examples to use libsnark.☆21Updated 4 years ago
- Correctness proofs of Ethereum token contracts☆98Updated 5 years ago
- Simulation of several BFT consensus algorithms for benchmarking☆24Updated 5 years ago
- 浙江大学incas实验室-区块链顶会论文展示☆47Updated last year
- Source code for the SIGMOD20 paper "vChain: A Blockchain System Ensuring Query Integrity"☆24Updated 3 years ago
- ☆17Updated 5 years ago
- A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector☆29Updated last year
- A curated list of academic blockchain-related papers☆122Updated 11 months ago
- RPC server for group-signature and ring-signature☆40Updated 4 years ago
- Source code for the VLDB21 paper "SlimChain: Scaling Blockchain Transactions through Off-Chain Storage and Parallel Processing"☆44Updated 2 years ago
- ☆20Updated 9 years ago
- ☆38Updated 2 years ago
- Confidentiality-Preserving Smart Contract Platform☆21Updated 4 years ago
- Fast Blockchain Simulations for Large-scale Peer-to-Peer Networks☆78Updated last year
- Source code for the ICDCS 2022 paper "Dissecting the Performance of Chained-BFT"☆50Updated last year
- ☆63Updated 6 years ago
- ☆36Updated 6 years ago