72521
Follow
Stars
Not so awesome Web3 Security Reasearcher roadmap by tpiliposian
Generate clients, CLIs, documentation and more from your Solana programs
A curated list of awesome security resources for ZK.
Rule Snippet & Rule Set for Surge / Mihomo (Clash.Meta) / sing-box
fabric is an open-source framework for augmenting humans using AI. It provides a modular framework for solving specific problems using a crowdsourced set of AI prompts that can be used anywhere.
library & platform to build, distribute, monetize ai apps that have the full context (like rewind, granola, etc.), open source, 100% local, developer friendly. 24/7 screen, mic, keyboard recording …
Collection of potential CU optimizations for programs.
Demonstrating how to use Rust to interact with the Solana blockchain.
Solana programs written with Anchor with unit tests in Rust.
Property-based testing benchmark
A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.
eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.
Collection of security reviews of ZK Protocols
This is a small showcase of my experience in web3-security space
A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
Formally verifying consistency between Solmate and Solady using Halmos
A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
Generate tests based on the Branching Tree Technique.
Pre-built security properties for common Ethereum operations
A list of Blockchain Security audit companies, solo auditors and location of public audits.