Alternatives and similar repositories for Reports

Users that are interested in Reports are comparing it to the libraries listed below

• ZJU-INCAS / LearnPaper
  Learn and share papers about Block Chain
  ☆34Updated 4 years ago
• brokendragon / Ethereum_Graph_Analysis
  ☆58Updated 7 years ago
• Lianantech / ETH-Security
  Ethereum based smart contract vulnerability checklist （关于区块链以太坊安全类问题）
  ☆30Updated 5 years ago
• Shouling / SANDP
  Seminar 2016
  ☆25Updated 8 months ago
• shaunazzopardi / solidity-cfg-builder
  A control-flow graph builder for Solidity smart contracts.
  ☆26Updated 5 years ago
• vntchain / go-vnt
  An open source distributed value network
  ☆54Updated 5 years ago
• usyd-blockchain / vandal
  Static program analysis framework for Ethereum smart contract bytecode.
  ☆163Updated 3 years ago
• Dearkano / Blockchain
  Papers & instructions on learning blockchain
  ☆17Updated 7 years ago
• pandabox-dev / SODA
  ☆30Updated 2 years ago
• hyperchain / hyperchain
  Official Go implementation of the hyperchain protocol
  ☆146Updated last year
• liangyihuai / BlockchainTopPaper
  ☆62Updated 4 years ago
• lulinglingcufe / Blockchain-Top-Paper-Seminar
  浙江大学incas实验室-区块链顶会论文展示
  ☆51Updated last year
• sardChen / bitcoin
  ☆17Updated 6 years ago
• ivicanikolicsg / OHIE
  OHIE - Blockchain scaling
  ☆34Updated 4 years ago
• sec-bit / tokenlibs-with-proofs
  Correctness proofs of Ethereum token contracts
  ☆97Updated 5 years ago
• eth-sri / verx-benchmarks
  ☆20Updated 5 years ago
• integridb / Code
  ☆20Updated 9 years ago
• abcdabcd987 / distributed-consensus-simulator
  ☆14Updated 7 years ago
• gongbell / WANA
  A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector
  ☆30Updated 2 years ago
• sivachokkapu / revive-cc
  Static analysis tool for Hyperledger Frabric smart contracts written in Go.
  ☆35Updated 4 years ago
• sec-bit / zkPoD-node
  zkPoD: A decentralized system for perfect fair data exchange
  ☆212Updated last year
• hkbudb / vchain-demo
  Source code for the SIGMOD20 paper "vChain: A Blockchain System Ensuring Query Integrity"
  ☆25Updated 3 years ago
• Jiachi-Chen / DefectChecker
  ☆28Updated 4 months ago
• FISCO-BCOS / SCStudio
  Making Smart Contract Development More Secure and Easier
  ☆23Updated 3 years ago
• Pompe-org / Pompe-HS
  Pompe implementation based on HotStuff
  ☆16Updated 3 years ago
• HyperService-Consortium / HyperService-Language
  This is the repository to host the code for hslang parsing and code generation.
  ☆21Updated 2 years ago
• nescio007 / teether
  ☆138Updated 3 years ago
• sec-bit / libsnark_abc
  Minimal examples to use libsnark.
  ☆21Updated 4 years ago
• eth-sri / zkay
  A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…
  ☆84Updated last year
• gitferry / bamboo
  Source code for the ICDCS 2022 paper "Dissecting the Performance of Chained-BFT"
  ☆51Updated 2 years ago