Xscope: Hunting for Cross-Chain Bridge Attacks
☆16Aug 1, 2022Updated 3 years ago
Alternatives and similar repositories for Cross-Chain-Attacks
Users that are interested in Cross-Chain-Attacks are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Chinese translation of Cosmos IBC spec: https://github.com/cosmos/ibc/tree/main/spec☆11Aug 8, 2022Updated 3 years ago
- ☆30Dec 28, 2024Updated last year
- Alkemi Protocol Smart Contracts☆10Jan 24, 2023Updated 3 years ago
- ☆11Apr 2, 2024Updated last year
- Articles☆20Feb 16, 2023Updated 3 years ago
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆58Aug 2, 2025Updated 7 months ago
- An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.☆18May 23, 2023Updated 2 years ago
- ☆11Jul 21, 2023Updated 2 years ago
- A tool that detects honeypots in Ethereum smart contracts (USENIX 2019).☆103Mar 7, 2023Updated 3 years ago
- Pinocchio-based adaptive zk-SNARK and distributed computation☆18Dec 7, 2017Updated 8 years ago
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆60Jun 5, 2022Updated 3 years ago
- Exploring what's possible with the ChatGPT Code Interpreter and how to use it effectively☆11Jul 22, 2023Updated 2 years ago
- Secure Inference Resilient Against Malicious Clients☆14May 3, 2022Updated 3 years ago
- ☆61Dec 27, 2021Updated 4 years ago
- ☆31Dec 11, 2022Updated 3 years ago
- PVSS & Scrape in rust☆11Aug 14, 2025Updated 7 months ago
- Disabled the Force Stop button under Manage Application in Android☆12Dec 27, 2013Updated 12 years ago
- Word segmentation problem in Golang☆14Jun 30, 2019Updated 6 years ago
- A lightweight Python tool to analyze PCAP files and generate network traffic reports. It detects traffic patterns, security concerns, and…☆18Sep 25, 2024Updated last year
- RGCN model for real-time fraud detection☆11Jan 27, 2023Updated 3 years ago
- Mutation Test Tool for Solidity☆16Jun 17, 2022Updated 3 years ago
- ☆12Sep 19, 2024Updated last year
- Linklyze 分布式短链系统 URL Shortener☆13Oct 4, 2023Updated 2 years ago
- 学习笔记或教程项目☆11Oct 11, 2018Updated 7 years ago
- ☆11Sep 6, 2023Updated 2 years ago
- BEAT: Asynchronous BFT Made Practical☆18Mar 4, 2020Updated 6 years ago
- We could have named this vigilant-giggle. It's surprisingly not far off.☆21Mar 16, 2026Updated last week
- 💥 Make peer-2-peer global works☆48Jan 29, 2026Updated last month
- 这个项目存放了我编写的所有关于监控设备的脚本，并使用flask搭建WEB展示扫描的结果☆10Feb 21, 2017Updated 9 years ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆28Nov 7, 2023Updated 2 years ago
- [DAC2024] Explainable Fuzzy Neural Network with Multi-Fidelity Reinforcement Learning for Micro-Architecture Design Space Exploration☆10Oct 31, 2024Updated last year
- ☆11Jul 10, 2022Updated 3 years ago
- Code for the paper "Fuzzy c-Means Clustering for Persistence Diagrams"☆14Oct 14, 2023Updated 2 years ago
- Hybrid A* Path Planner☆10Apr 20, 2020Updated 5 years ago
- Script from the paper generating encrypted network. Dataset☆11Sep 1, 2021Updated 4 years ago
- ☆49Jan 14, 2025Updated last year
- https://marsvillager.github.io/PaperWorkflowAutomation/summary/visualize.html (Safari, Firefox ✓ Edge, Chrome ✗) 论文爬虫+概述: IEEE Symposium …☆13Oct 1, 2025Updated 5 months ago
- 用codeql分析grafana最新任意文件读取☆11Dec 10, 2021Updated 4 years ago
- TxChain: Efficient Cryptocurrency Light Clients via Contingent Transaction Aggregation☆14Jan 24, 2023Updated 3 years ago