#

smart-contracts-security

Here are 13 public repositories matching this topic...

VulnPlanet / l3x

AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.

Updated Oct 3, 2024
Rust

eburger

forefy / eburger

eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.

static-analysis ethereum smart-contracts solidity static-analyzer smart-contracts-audit smart-contracts-security static-analysis-tools

Updated Jun 16, 2025
Python

mojtaba-eshghie / HighGuard

The runtime monitoring tool for smart contracts business logic.

monitoring smart-contracts blockchain invariants runtime-verification runtime-monitoring smart-contracts-audit smart-contracts-security dynamic-condition-response dcr-graphs high-level-properties smart-contract-invariants

Updated Dec 15, 2024
Jupyter Notebook

EtherAuthority / Portfolio

EtherAuthority secures web3 including: DeFi, NFT, DAO, Metaverse, Gaming, DEX, Launchpad, L1 Blockchain, Escrow, Cross-chain Bridge, and many more.

solidity smart-contract-tools solidity-contracts solidity-dapps smart-contract solidity-security smart-contracts-audit smart-contract-security smart-contrac smart-contract-audit smart-contracts-security

Updated Feb 18, 2025

Enigma-Dark / osiris-lite

A clean, plug and play CLI tool for managing remote fuzzing jobs.

docker cloud ethereum self-hosted fuzzing foundry echidna smart-contracts-security

Updated Aug 28, 2025
Go

SebastienBielecki / solidity-best-practices

Describes and implements some Solidity common best practices

solidity oracles upgradable-smart-contracts smart-contracts-security

Updated Nov 10, 2022
Solidity

erhant / solidity-ctfs

A collection of Solidity CTF puzzles & solutions

typescript smart-contracts solidity ctf hardhat smart-contracts-security

Updated Mar 20, 2023
TypeScript

emretepedev / ethernaut-challenge-answers

ethernaut challange solutions with solidity ^0.8.0

smart-contracts solidity ctf ethernaut smart-contracts-security ethernaut-challange ethernaut-ctf

Updated Sep 15, 2022
Solidity

0xStalin-eth / smart-contracts-auditing

Posting the highlights and gotchas of my journey on becoming a Smart Contract Auditor

smart-contracts smart-contracts-audit smart-contracts-security

Updated Apr 24, 2023
Solidity

0xStalin-eth / CTFs

Solutions of Ethereum CTFs

ethereum ctfs ethernaut smart-contracts-security

Updated Feb 26, 2023
JavaScript

DevDiner / Ethernaut-Challenges

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.

foundry openzeppelin-contracts smart-contracts-security ethernaut-challange sepoliatestnetwork

Updated Jun 19, 2025

b13ss3d-was-taken / Ethernaut-solutions

This repository contains my solutions to the Ethernaut challenges, a platform to learn about smart contract security.

smart-contracts solidity smart-contracts-security

Updated Mar 4, 2025
Solidity

root28root / move-projects

Aptos/Sui Move dev • Token, Escrow, NFT, Marketplace • CI + tests • Hire me → @rootmhz | 007rootmhz@gmail.com

Updated Sep 21, 2025
Move

Improve this page

Add a description, image, and links to the smart-contracts-security topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the smart-contracts-security topic, visit your repo's landing page and select "manage topics."