montyly

publications

Josselin Feist publications and research projects

blockchain-papers

A curated list of academic blockchain-related papers

solmate

Modern, opinionated, and gas optimized building blocks for smart contract development.

adversarial-robustness-toolbox

awesome-web3-ai-security

bran

A static analysis framework for EVM bytecode

brownie

A Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine.

building-secure-contracts

Guidelines and training material to write secure smart contracts

CTF-challs

Here are the challenges (including sources) of the GreHack CTF.

ethereum_formal_verification_overview

Overview of the formal verification projects in the Ethereum ecosystem.

evil-jar

evil jar attack technical post-mortem

forge-std

Forge Standard Library is a collection of helpful contracts for use with forge and foundry. It leverages forge's cheatcodes to make writing tests easier and faster, while improving the UX of cheatcodes. For more in-depth usage examples checkout the tests.

forge-template

Forkable template to get you started with Foundry's Forge

foundry-collision

foundry-collision-version

issisp-2018

manticore

Symbolic execution tool

mdBook

Create book from markdown files. Like Gitbook but implemented in Rust

nightfall

EY's Nightfall protocols for private transactions on the Ethereum blockchain using zk-snarks

publications-1

Publications from Trail of Bits

pylint

It's not just a linter that annoys you!

SCRepair

set-protocol-contracts

🎛 Set Protocol Smart Contracts

slither-scripts

Auditing scripts for Slither (https://github.com/trailofbits/slither)

Smart-Contract-Audits

Smart Contract security audit reports

solidity-contracts

super-linter

Combination of multiple linters to install as a GitHub Action

test-sarif

trufflecon

workshop