This is the implementation for the Detection and Protection methods described in the paper: "Graph-Based Covert Transaction Detection and Protection in Blockchain".
☆31Oct 23, 2024Updated last year
Alternatives and similar repositories for GAEforBTC
Users that are interested in GAEforBTC are comparing it to the libraries listed below
Sorting:
- Integrate Tcpdump in AOSP as application framework☆19Oct 23, 2024Updated last year
- smart contract platform☆56Oct 14, 2025Updated 5 months ago
- SmartAuditFlow is an AI-powered framework for automated smart contract security auditing. It combines Large Language Models (LLMs) with d…☆14Dec 19, 2025Updated 3 months ago
- Library built from scratch to implement zk-protocols☆13Dec 13, 2023Updated 2 years ago
- LLM-SmartAudit is a cutting-edge tool designed to revolutionize smart contract auditing using advanced language models.☆59Aug 17, 2025Updated 7 months ago
- Scanning Result of MetaScan's AI GPTScan Engine for 72 Web3Bugs Projects under 10 Logic Vuln Types☆14Aug 8, 2023Updated 2 years ago
- Private Set Union from Symmetric-Key Techniques☆11Jan 13, 2024Updated 2 years ago
- Apache Arrow Development Experiments☆25Nov 6, 2025Updated 4 months ago
- A collection of papers and detection tools related to Smart Contract Auditing.☆22Sep 15, 2024Updated last year
- This repository is dedicated to the smart contract auditing using our FTSmartAudit tool☆30Feb 17, 2026Updated last month
- ☆14Jul 11, 2023Updated 2 years ago
- ☆27May 12, 2025Updated 10 months ago
- 📖 北京理工大学非官方 LaTeX 模板集合，基于 BIThesis。已经获得官方支持 🎉（2019 - 2021）。☆18Apr 7, 2022Updated 3 years ago
- ☆43Nov 14, 2024Updated last year
- Goduck is a command-line management tool that can help to run BitXHub.☆19May 11, 2023Updated 2 years ago
- The Fabric interchain gateway plugin implementation☆22Sep 19, 2024Updated last year
- A pip library for calculating the Shapley Value for computing the marginal contribution of each client in a Federated Learning environmen…☆29Dec 10, 2023Updated 2 years ago
- ☆28Mar 15, 2023Updated 3 years ago
- ☆34Sep 5, 2025Updated 6 months ago
- 基于Jflex的简单词法分析器☆21Nov 18, 2019Updated 6 years ago
- ☆64Jul 11, 2024Updated last year
- 📖 北京理工大学非官方 LaTeX 模板集合，包含本科、研究生毕业设计模板及更多。🎉 （更多文档请访问 wiki 和 release 中的手册）☆1,049Mar 11, 2026Updated last week
- 北京理工大学操作系统课程设计的代码☆28Jan 14, 2021Updated 5 years ago
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆78Mar 25, 2025Updated 11 months ago
- ☆95Dec 27, 2024Updated last year
- The Interchain gateway core implementation☆48May 23, 2024Updated last year
- 🎧 将你最近一周的网易云音乐的听歌记录更新到 Gist☆75Dec 13, 2022Updated 3 years ago
- 北京理工大学复试历年上机代码☆43Mar 20, 2019Updated 7 years ago
- Go implementation of the BIP Schnorr signature scheme.☆70Jan 10, 2021Updated 5 years ago
- GPU-based Distributed Point Functions (DPF) and 2-server private information retrieval (PIR).☆56Jan 27, 2023Updated 3 years ago
- 计算机类常用电子书整理，并且附带下载链接，包括Java，Python，Linux，Go，C，C++，数据结构与算法，人工智能，计算机基础，面试，设计模式，数据库，前端等书籍☆55Jun 4, 2025Updated 9 months ago
- 🍳 Zero-cost blog implements with Remix, Notion and Cloudflare Pages.☆86May 22, 2025Updated 9 months ago
- AntChain Bridge 提供异构链之间的可信跨链通信☆89Jul 22, 2025Updated 7 months ago
- ☆77Jun 14, 2018Updated 7 years ago
- ☆182Dec 18, 2025Updated 3 months ago
- 北理工延河课堂视频下载☆61Apr 3, 2024Updated last year
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆290Mar 8, 2026Updated last week
- SCQL (Secure Collaborative Query Language) is a system that allows multiple distrusting parties to run joint analysis without revealing …☆177Updated this week
- Smart Contract Vulnerability Detection Using Graph Neural Networks (IJCAI-20 Accepted)☆150Feb 28, 2023Updated 3 years ago