How to Use Certora Gambit for Mutation Testing in smart contracts

KASS: AI Agents Are Moving From Smart-Contract Findings to Executable Exploits

Nghiên cứu KASS (Knowledge-Augmented Attack Synthesis and Simulation) công bố tháng 7/2026 cho thấy các tác nhân AI đã tiến từ phát hiện lỗ hổng hợp đồng thông minh sang thực thi khai thác khả thi.

Lập trình viên phát triển blockchain nên đọc để hiểu cách AI tự động chuyển từ phát hiện lỗ hổng sang thực hiện exploit thực tế, giúp họ chuẩn bị sớm về các rủi ro mới trong hệ thống smart contract.

Hackers steal $23.7 million in crypto from Ostium in off-chain attack

Tin tặc đánh cắp 23,75 triệu USD tiền mã hóa từ Ostium sau khi xâm nhập vào cơ sở hạ tầng off-chain cung cấp giá cho giao thức.

Lập trình viên nên đọc bài này để hiểu rõ cách tấn công off-chain như thế nào, từ đó nâng cao kiến thức bảo mật cho các ứng dụng blockchain của mình và tránh các lỗ hổng tương tự trong dự án của riêng bạn.

Making Blockchain Work, Front to Back

Tác giả, vốn là sinh viên kinh tế, dần quan tâm đến blockchain khi tìm hiểu cách các hệ thống ảnh hưởng đến trao đổi giá trị. Bài viết giới thiệu hành trình từ kinh tế học đến công nghệ blockchain.

Bài viết giúp bạn hiểu rõ cách blockchain hoạt động từ cơ sở hạ tầng kỹ thuật đến ứng dụng thực tế, giúp bạn nắm được những khía cạnh quan trọng để xây dựng, tối ưu hoặc ứng dụng công nghệ này hiệu quả trong công việc lập trình.

Signatures, Replay Attacks, and EIP-712: The Full Story in Ethereum

Bài viết trên CoinsBench của tác giả om santoshwar giải thích chi tiết về cơ chế Signatures, tấn công Replay Attacks cùng tiêu chuẩn EIP-712 trong Ethereum.

Lập trình viên Ethereum cần đọc bài này để hiểu cách bảo mật giao dịch thông qua tiêu chuẩn EIP-712 và cách phòng ngừa hack replay thông qua các ký hiệu (signatures) an toàn.

Search for vulnerabilities in Convex

Tìm kiếm lỗ hổng trong Convex bằng cách xây dựng các PoC smart contract trong Foundry, hướng dẫn thực hành kiểm tra lỗ hổng Slither (Solidity 0.6.12), đặc biệt hữu ích khi audit các giao thức DeFi cũ hoặc hiện đại.

Lập trình viên cần đọc bài này để hiểu cách phát hiện và kiểm tra các lỗ hổng trong smart contract Convex thông qua các kỹ thuật từ Foundry và Slither, giúp nâng cao kiến thức bảo mật cho các dự án blockchain của mình.

Space and Time: where AI agents meet verifiable onchain data

Space and Time CTO Scott Dykstra discusses how Proof of SQL lets smart contracts query verified Ethereum data in under a second, where AI agents are already using onchain data to gate trades, and why the DataFi model went on the backburner.

Foundry from Zero: The Toolkit Every Smart Contract Developer/Auditor Needs

Bài viết "Foundry from Zero: The Toolkit Every Smart Contract Developer/Auditor Needs" của tác giả om santoshwar trên CoinsBench giới thiệu bộ công cụ Foundry dành cho nhà phát triển và kiểm toán viên hợp đồng thông minh.

Lập trình viên cần đọc bài này để hiểu cách sử dụng Foundry—công cụ phát triển và kiểm tra smart contract hiệu quả, tiết kiệm thời gian và giảm rủi ro lỗi trong các dự án Ethereum.