Skip to content
View Pascal4me's full-sized avatar
Block or Report

Block or report Pascal4me

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Extremely performant EVM oracle utilizing aggregated Schnorr signatures

Solidity 45 5 Updated Jul 3, 2024

Pre-built security properties for common Ethereum operations

Solidity 262 39 Updated May 29, 2024

Practical tutorials of Certora Prover

Solidity 226 186 Updated Sep 27, 2023

Observations and tips checklist for auditing protocols on multiple chains 🧐

604 78 Updated Jul 5, 2024

Find the version that the project you currently develop or audit uses and quickly check which are the known smart contract security vulnerabilities that may affect your code.

78 7 Updated Nov 25, 2023

curation of all(most) immunefi bug bounty writeups I could find(till now)

443 48 Updated Jul 16, 2024

The Ethereum Improvement Proposal repository

Python 12,736 5,177 Updated Jul 16, 2024

Reproduce DeFi hacked incidents using Foundry.

Solidity 4,997 1,089 Updated Jul 17, 2024

↔️ A curated list of awesome zkSync resources

169 41 Updated Mar 15, 2024

Gas Golfing using Huff and Yul

Solidity 82 2 Updated Aug 1, 2022

Bugs in commonly forked DeFi protocols

420 40 Updated May 15, 2024

Uniswap arbitrage problem analysis

Python 1,840 573 Updated Mar 9, 2024

weird erc20 tokens

Solidity 1,315 166 Updated May 31, 2024

A checklist of things to look for when auditing Solidity smart contracts.

713 119 Updated Oct 2, 2023

Opinionated security and code quality standard for Solidity smart contracts.

1,994 258 Updated Jul 2, 2023

Resources to learn Yul.

Solidity 30 4 Updated Jan 12, 2023

A curated list of the hottest and most fresh resources to become an EVM chad

318 37 Updated May 22, 2023

A markdown based template for writing spearbit reports

TeX 66 20 Updated Mar 18, 2022

A list of Blockchain Security audit companies, solo auditors and location of public audits.

686 98 Updated Jul 5, 2024

A collection of smart contract vulnerabilities along with prevention methods

1,630 221 Updated Jun 20, 2024

Central Repository for the Epoch 0 coursework and quizzes. Contains all the content, cross-referenced and linked.

Shell 1,752 364 Updated Sep 21, 2023

This repository contains a mindmap and stepwise resource to get started with Smart Contract Auditing. If you find anything missing or want to update existing resources, feel free to create a pull r…

454 84 Updated Jan 10, 2024

📚IPFS documentation platform

Go 294 390 Updated Jul 8, 2024

The fast, light, and robust client for Ethereum-like networks.

Rust 6,809 1,683 Updated Nov 1, 2020

a descriptive and functional implementation of flash loan arbitrage between uniswap and sushiswap on ethereum.

Solidity 19 8 Updated Sep 23, 2022

Learn Blockchain, Solidity, and Full Stack Web3 Development with Javascript

11,985 2,900 Updated Jun 12, 2024

DeFi Developer roadmap is a curated Developer handbook which includes a list of the best tools for DApps development, resources and references!

JavaScript 9,607 1,229 Updated Apr 19, 2024