Điểm nhấn Nghiên cứu: @cmichelio Là Nhà Nghiên cứu An ninh Chính tại Spearbit, Christoph đã giúp bảo mật các hệ thống DeFi tinh vi nhất cho đến nay, mang đến một tư duy dựa trên bằng chứng, thay đổi cách các tổ chức suy nghĩ về rủi ro. Câu chuyện của anh ấy có sẵn bên dưới.

Anh ấy đã học toán và khoa học máy tính với trọng tâm là mật mã học. Con đường học thuật đó đã dẫn anh đến Web3, nơi mà tính chất mã nguồn mở và khả năng kết hợp của các hợp đồng thông minh ngay lập tức nổi bật.

Trước khi làm về bảo mật, con đường của Christoph đã đi qua phát triển fullstack và blockchain. Bước ngoặt đến khi những lỗ hổng trong thế giới thực và các phần thưởng lên đến sáu con số cho thấy có bao nhiêu tác động trong việc tìm kiếm và sửa lỗi.

Mỗi đánh giá bắt đầu với một câu hỏi cốt lõi: điều gì sẽ cần thiết để đánh cắp quỹ? Từ đó, anh ấy mô hình hóa trạng thái hệ thống, xác định các con đường tấn công và tìm kiếm một bằng chứng. Nếu bằng chứng đó thất bại, một lỗ hổng có thể xảy ra. Nếu nó giữ vững, giao thức là an toàn.

Christoph đã làm việc trên hầu hết các nền tảng DeFi lớn. Các hợp tác lâu dài của anh bao gồm việc xem xét gần như mọi bản nâng cấp của giao thức Sky, trước đây là MakerDAO, nơi mà các hệ thống quản trị và kinh tế liên tục phát triển.

Để tránh cảm giác nhàm chán, anh ấy tìm kiếm sự mới mẻ: các giao thức yêu cầu mô hình hóa bằng bút và giấy, các mô hình chuỗi mới như Move, và các đội ngũ xây dựng cho các nguyên tắc gốc của crypto. Anh ấy vẫn là một người tin tưởng vào DAOs và muốn thấy chúng thành công.

Trong khi hầu hết quy trình của anh ấy là thủ công, anh ấy đang theo dõi sự phát triển của AI trong kiểm toán. Sự quan tâm của anh ấy không phải là sự phấn khích, mà là bằng chứng. Anh ấy muốn chuẩn hóa các đầu ra, thử nghiệm các lệnh và đo lường sự gia tăng tín hiệu qua các loại lỗi khác nhau.

Đối với @cmichelio, hợp đồng thông minh là các hệ thống quy tắc. Ông xác định các rủi ro, theo dõi logic và xác định nơi mà các giả định thất bại. Không chỉ đơn thuần là tìm lỗi. Mà còn là chứng minh điều gì nên hoặc không nên có thể xảy ra.