ZJU-INCAS / ReportsLinks
☆14Updated 6 years ago
Alternatives and similar repositories for Reports
Users that are interested in Reports are comparing it to the libraries listed below
Sorting:
- Ethereum based smart contract vulnerability checklist (关于区块链以太坊安全类问题)☆30Updated 6 years ago
- Learn and share papers about Block Chain☆32Updated 5 years ago
- ☆57Updated 7 years ago
- An open source distributed value network☆54Updated 6 years ago
- Correctness proofs of Ethereum token contracts☆97Updated 6 years ago
- BLOCKBENCH: A Framework for Analyzing Private Blockchains. Blockbench contains workloads for measuring the data processing performance, a…☆392Updated 2 years ago
- Libra-sourcecode-Analysis☆26Updated 5 years ago
- Minimal examples to use libsnark.☆21Updated 5 years ago
- This is the repository to host the code for hslang parsing and code generation.☆20Updated 3 years ago
- ☆30Updated 2 years ago
- zkPoD: A decentralized system for perfect fair data exchange☆213Updated 2 years ago
- Papers & instructions on learning blockchain☆17Updated 7 years ago
- SGX从入门到放弃☆352Updated 3 years ago
- A curated list of academic blockchain-related papers☆125Updated 6 months ago
- Official Go implementation of the hyperchain protocol☆146Updated 2 years ago
- Static analysis tool for Hyperledger Frabric smart contracts written in Go.☆37Updated 5 years ago
- Goduck is a command-line management tool that can help to run BitXHub.☆19Updated 2 years ago
- 记录在通往精通以太坊之路上的学习心得☆49Updated 6 years ago
- The Ethereum EVM JIT☆170Updated 3 years ago
- 以太坊黄皮书中文版☆429Updated 3 years ago
- Confidentiality-Preserving Smart Contract Platform☆22Updated 5 years ago
- Seminar 2016☆25Updated last year
- ☆39Updated 3 years ago
- A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector☆32Updated 2 years ago
- Teechain: A Secure Payment Network with Asynchronous Blockchain Access☆56Updated 6 years ago
- 区块链工程师面试宝典☆256Updated 5 years ago
- 区块链的构造和解释(structure-and-interpretation-of-blockchain)☆297Updated 2 years ago
- A control-flow graph builder for Solidity smart contracts.☆28Updated 5 years ago
- Static program analysis framework for Ethereum smart contract bytecode.☆167Updated 4 years ago
- Source code for the ICDCS 2022 paper "Dissecting the Performance of Chained-BFT"☆53Updated 2 years ago