Lists (1)
Stars
A collection of security papers on top-tier publications
Inter-Blockchain Communication Protocol (IBC) implementation in Golang.
Bear is a tool that generates a compilation database for clang tooling.
A CLI tool to convert your codebase into a single LLM prompt with source tree, prompt templating, and token counting.
Generate a single file with code and comments from a directory tree, optimized for input to AI language models like GPT for code review or refactoring.
This repository introduces our research in source code verifier, including PoC, related issues implementation code and other content.
A curated list of awesome resources about using sCrypt
A smart contract code verifier plugin for WoC.
A curated list of Bitcoin SV developer tools and services.
Solana中文大全-由崔棉大师@MasterCui和捕鲸船社区小伙伴共建的Solana学习社区
A curated list of Cosmos ecosystem links, focusing on the security aspect of it
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
Here we collect and discuss the best DeFI & Blockchain researches and tools. Feel free to DM me on Twitter or open pool request.
🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠