EthSecurity
5.22K subscribers
112 photos
20 files
758 links
Download Telegram
That is one of High level course about ZK Audit i have seen it. Feedback me if it is useful

https://www.youtube.com/playlist?list=PLeUIc0UZxuuF8_ueHNt1TuEyNhcsmzu_g
@ethsecurity1
🔥51
Protocol Diagramming

ethereum-graph-debugger - A graphical EVM debugger. Displays the entire program control flow graph.
Slither - Slither can map method visibility and modifiers, state variables that are read and written, calls, and can print the inheritance graph of a smart contract
Solgraph - Generates DOT graphs with function control flow of a solidity contract
Surya - Generates various visual outputs of function call graphs
sol-function-profiler - Solidity contract function


Jonatas
Write-up

Auditor’s Advice: EVM Limitations & Assembly Auditing Tips | Part 3/3.


@ethsecurity1
🔥31
Time to shit on some proxy patterns.

- Beacon: it sucks in performance, antipattern that got psyoped into relevance.

- UUPS: devs need to pollute their implementations.

- Transparent: devs need to deploy 2 extra contracts and verify them everytime. Much captcha.@EthSecurity1
😁5🔥2👍1
Enso Transaction Simulator - Ethereum transaction simulator leveraging Foundry's codebase.

BrokenToken - a tool designed to automatically test smart contracts that interact with ERC20 tokens for unexpected behavior that may result in exploits.

mev-share-rs - ust utils for MEV-share.

Alloy - Fast, battle-tested and well-documented building blocks for Ethereum, in Rust.

Releasing Reth! by Georgios Konstantopoulos (Paradigm).

SmartBugs - A Framework for Analysing Ethereum Smart Contracts.

Titanoboa - A Vyper interpreter with pretty tracebacks, forking, debugging

@EthSecurity1
👍41🔥1