Struct와 Array를 활용한 Solidity 기반 Zombie 데이터 스키마 설계
🧟 Level 2: The DNA Blueprints & The Zombie Army (Solidity Quest)
LLM 3종 벤치마크를 통한 Smart Contract Audit 자동화 가능성 검증
Can LLMs Audit Smart Contracts? Benchmarking Claude Opus 4.7, GPT-5.5, and Gemini 3.1 Pro
.NET 엔지니어의 Solidity 기반 Smart Contract 첫 배포 성과
A .NET Dinosaur in Web3. #1
백엔드 없는 ERC-20 기반 Full-stack dApp 설계 및 구현
I Built an ERC-20 Token and React dApp from Scratch Complete Web3 Breakdown
Clojure 기반 실시간 Invariant 모니터링으로 1블록 내 DeFi Dust Leak 차단
Building an Autonomous Sentinel: Shielding Mantle DeFi from Rounding Errors with Clojure
Integer Division Rounding Error를 통한 Protocol Fee 0원 최적화 취약점 분석
How 1,000 Wei Can Drain Protocol Fees: A Deep Dive into CoW Protocol Rounding Errors
private 변수가 비밀이 아니다? Smart Contract 보안의 치명적 오해
How To Audit A Smart Contract
신뢰 경계 분리로 구현한 Uniswap V2의 불변 아키텍처
Before the Swaps: A Map of Uniswap V2
로직 설계 오류로 인한 자금 영구 손실, Legion Protocol 취약점 분석
Finding a Critical Logic Flaw in Legion Protocol’s Epoch Vesting
예측 시장 개발 시 LMSR과 factory 패턴으로 탈중앙화 인프라를 구축한다
Building a Decentralized Prediction Market: A Full-Stack Architecture Guide
Solidity 프로토콜이 Mutation Testing을 도입해 100% 라인 커버리지의 한계를 노출하고 보안 테스트 품질을 정량화
Mutation Testing for Solidity: The Audit Quality Metric Your Protocol Is Ignoring
DeFi 라우터 2개 프로토콜이 검증되지 않은 calldata 주입 공격으로 1,700만 달러 손실, 10개 항목 체크리스트로 방어
Calldata Injection: The $17M Vulnerability Pattern Hiding in Every DeFi Router
a16z crypto가 Halmos 기호 실행 도구를 Foundry와 통합해 퍼징으로 절대 발견 불가능한 스마트 컨트랙트 버그를 수학적으로 증명하는 방식으로 검출
Halmos + Foundry: How Symbolic Testing Catches the Bugs Your Fuzzer Will Never Find