? 암호화폐 보안에 관한 선별된 목록입니다. (역방향, 악용, 퍼지 ..)
Practical ETH 디컴파일 블로그의 이미지입니다.
Porosity - 블록체인 기반 Ethereum 스마트 계약을 위한 디컴파일러 및 보안 분석 도구입니다.
Mythril - 이더리움 스마트 계약을 위한 보안 분석 도구입니다.
MAIAN - 이더리움 스마트 계약의 추적 취약점을 찾기 위한 자동 도구입니다.
Echidna - Ethereum 퍼즈 테스트 프레임워크.
Manticore - Manticore는 기호 실행을 사용하여 EVM 바이트코드에 대한 복잡한 다중 계약 및 다중 트랜잭션 공격을 시뮬레이션합니다.
Ethersplay - 고급 기능을 갖춘 그래픽 EVM 디스어셈블러입니다. (빈자)
Oyente - 기호 실행 및 Z3 SMT 솔버를 기반으로 하는 자동 EVM 코드 분석기입니다.
IDA-EVM - 이더리움 가상 머신용 IDA 프로세서 모듈.
Evmdis - EVM 디스어셈블러.
Securify - 이더리움 스마트 계약의 공식 검증.
Rattle - Rattle은 EVM 바이트코드의 취약점을 직접 분석하는 EVM 정적 분석기입니다.
Slither - Solidity에 대한 정적 분석.
근면 - Ethereum 생태계를 위한 보안 서비스, 도구 및 모범 사례.
fuildai - Fluid는 스마트 계약의 치명적인 보안 취약점을 자동으로 찾아 수정할 수 있는 AI입니다.
vs code - VS Code용 Solidity Visual Auditor 확장
muellerberndt - 실용적인 스마트 계약 보안 분석 및 활용 - 1부
블랙햇(Blackhat) - 블랙햇 이더리움.
고체화 - 패리티 해킹.
arvanaghi 1 - 이더리움 스마트 계약을 뒤집습니다.
arvanaghi 2 - 이더리움 스마트 계약 반전 2.
ret2 - 실용적인 ETH 디컴파일.
loom-network - 6가지 취약점과 이를 방지하는 방법 1부.
ETH 어셈블리 - 어셈블리에 대해 이야기해 보겠습니다.
Radare2 - Radare2를 사용하여 EVM 바이트코드를 반전합니다.
이더리움 보안 도구 - Trailofbits 이더리움 보안 도구.
Hackernoon - 취약점에 대한 Ethereum 스마트 계약 분석.
nccgroup - GOATCasino를 통한 스마트 계약 취약점 발견.
Arseny Reutov - 이더리움 스마트 계약에서 난수 예측.
funfair - 무작위성은 큰 문제입니다.
Ethernaut - Ethernaut는 Web3/Solidity 기반 전쟁 게임입니다.
GOATCasino - GOATCasino는 의도적으로 취약한 스마트 계약 세트를 배포하는 트러플 프로젝트입니다.
ctf가 SWAMPCTF에 도전합니다.
dasp - 2018년 분산형 애플리케이션 보안 프로젝트(DASP) 상위 10위.
그다지 스마트한 계약은 아닙니다 - Solidity 보안 문제의 예입니다.
EVM opcode - Ethereum opcode 및 지침 참조입니다.
민트 정수 오버플로 민트 정수 오버플로.
Ethereum 스마트 계약에서 초기화되지 않은 포인터 저장 할당 악용.
더 스마트하게 - 스마트 계약을 더 스마트하게 만듭니다.
Yellow Paper - 이더리움: 안전한 분산형 일반 거래 원장입니다.
엄청난
굉장한 이더리움
멋진 이더리움 가상머신
이더넷캐스트
굳어짐
코드멘터
이오시로
감사원
@withzombies @chaignc @trailofbits
작성자: @chaignc #HexpressoTeam.