AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.
-
Updated
Oct 3, 2024 - Rust
AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.
eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.
The runtime monitoring tool for smart contracts business logic.
EtherAuthority secures web3 including: DeFi, NFT, DAO, Metaverse, Gaming, DEX, Launchpad, L1 Blockchain, Escrow, Cross-chain Bridge, and many more.
Describes and implements some Solidity common best practices
ethernaut challange solutions with solidity ^0.8.0
A collection of Solidity CTF puzzles & solutions
Posting the highlights and gotchas of my journey on becoming a Smart Contract Auditor
Solutions of Ethereum CTFs
This repository contains my solutions to the Ethernaut challenges, a platform to learn about smart contract security.
Comprehensive solutions to OpenZeppelin's Ethernaut challenges, built and tested on Foundry. Demonstrates deep understanding of Ethereum security, smart contract vulnerabilities, and exploit techniques such as reentrancy, delegatecall abuse, storage manipulation, tx.origin attacks, and more.
Add a description, image, and links to the smart-contracts-security topic page so that developers can more easily learn about it.
To associate your repository with the smart-contracts-security topic, visit your repo's landing page and select "manage topics."