-
Department of Information Engineering
- CUHK, Hong Kong SAR
- https://daoyuan14.github.io/
- @MagkDao
Highlights
- Pro
Stars
A highly configurable Go implementation of the Ethereum protocol.
ethereumpow / go-ethereum
Forked from ethereum/go-ethereumGo implementation of the Ethereum protocol POW Fork
litecoin-project / litecoin
Forked from bitcoin/bitcoinLitecoin source tree
Pepecoin is the world's first fully decentralized and secure blockchain for Pepe.
🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
A continuously updated collection of CodeLLM papers
A search-based patch vs. code similarity analysis tool for discovering 100+ vulnerabilities in top blockchains
A CosmosSDK application for moving assets on and off of EVM based, POW chains
Dify is an open-source LLM app development platform. Dify's intuitive interface combines AI workflow, RAG pipeline, agent capabilities, model management, observability features and more, letting yo…
⛓️ A Framework for Building High Value Public Blockchains ✨
This repo contains all the published binaries of the Injective Chain
The dataset of 62,464 smart contracts with modifiers used in our ISSTA'23 paper
A curated list of awesome directed fuzzing research papers
Curated list of awesome projects and resources related to Rust and computer security
AI engine for smart contract audit
A specialized tool for smart contract modifier analysis based on the Modifier Dependency Graph (MDG)
VPRLab / ZepScope
Forked from ZepScope/ZepScope-CodePublished in USENIX Security'24: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts
FlowDroid Static Data Flow Tracker
A testing framework for automatically finding and simplifying bugs in graphics shader compilers.