Các phương pháp nghiên cứu DeFi là nền tảng cho việc đưa ra quyết định đúng đắn trong lĩnh vực tài chính phi tập trung. Để trở thành nhà phát triển giao thức, nhà phân bổ tổ chức hoặc người tham gia bán lẻ chuyên sâu, hiểu cách phân tích hệ thống DeFi một cách có hệ thống sẽ giúp bạn phân biệt tín hiệu từ tiếng ồn trong một khu vực mà các con số TVL có thể bị lừa, các báo cáo kiểm toán có thể bỏ qua các hành vi kinh tế và các phiếu bầu về quản trị có thể bị đánh cắp.
Kênh tham khảo này trình bày một khung phân tích gồm 6 lớp được phát triển thông qua việc nghiên cứu hơn 200 phân tích quy trình, các bài báo học thuật, báo cáo kiểm toán và các nghiên cứu về các lỗ hổng thực tế. Mỗi lớp giải quyết một loại rủi ro và cơ hội khác nhau, và kết hợp lại, chúng tạo thành một quá trình kiểm tra cẩn thận toàn diện.
Cơ cấu nghiên cứu DeFi 6 lớp
Layer 1: phân tích kiến trúc giao thức
Mỗi giao thức DeFi bắt đầu với kiến trúc hợp đồng thông minh của nó. Bước này xem xét các nền tảng cơ bản trước khi xem xét các yếu tố kinh tế hoặc quản trị.
Các thành phần chính:
- Mapping cấu trúc hợp đồng: Tìm ra tất cả các hợp đồng, các giao diện của chúng và các mô hình nâng cấp. Các mô hình proxy (EIP-1967, EIP-1822, Diamond) gây ra rủi ro quản trị; các hợp đồng không thể thay đổi loại bỏ rủi ro này nhưng ngăn chặn sửa lỗi.
Phương pháp nghiên cứu: 1. Tải mã nguồn đã xác minh từ Etherscan/Basescan/Arbiscan 2. Tạo đồ thị phụ thuộc bằng cách sử dụng Slither hoặc phân tích AST tùy chỉnh 3. Phân loại mỗi cuộc gọi bên ngoài theo cấp độ rủi ro (oracle = quan trọng, token = cao, quản trị = trung bình, tiện ích = thấp)
Bối cảnh Việt Nam: Các nhà phát triển Việt Nam xây dựng trên Viction, Ethereum hoặc BSC nên phân tích các mối phụ thuộc vào cơ sở hạ tầng địa phương – ví dụ, sử dụng oracle bản địa của Viction thay vì Chainlink sẽ có những giả định về độ tin cậy khác nhau.
Layer 2: Kiểm tra mô hình kinh tế và tokenomics
Các giao thức DeFi là những máy tính kinh tế. Bên này thực hiện các thử nghiệm áp lực để kiểm tra các cấu trúc khuyến khích, các cơ chế tích lũy giá trị và các đặc tính cân bằng.
Các phân tích chính:
| Kích thước | Câu hỏi | Các công cụ |
|---|---|---|
| Tăng giá trị | Thu nhập từ giao thức được chuyển đến các chủ sở hữu token như thế nào? (tiền phí → mua lại → tiêu hủy, tiền phí → người nắm giữ, tiền phí → ngân hàng) | Các bảng điều khiển doanh thu của các thiết bị kết nối Token, các truy vấn Dune tùy chỉnh |
| Tính tương thích của các khuyến khích | Những hành động có lý trí có được khuyến khích để hành động theo ý định của quy trình không? Kiểm tra các yếu tố sau: vốn thuê (farm-and-dump), vòng xoáy tử thần (rebase tokens), các cuộc tấn công của con quái vật (vampire attacks) | Mô phỏng dựa trên đại diện (cadCAD, Python tùy chỉnh), mô hình lý thuyết trò chơi |
| Động lực cung cấp | Lịch phát hành, mở khóa các đỉnh núi, phân bổ đội/VC, tỷ lệ tăng giá so với doanh thu phí | Token Unlocks, Messari, tài liệu về giao thức |
| Topology của tính thanh khoản | Sự linh hoạt sống ở đâu? (DEX đơn lẻ, tập trung, đa chuỗi, thuộc sở hữu của giao thức) | Thông tin của DefiLlama pool, phân tích đường dẫn của DEX aggregator |
Cơ sở dữ liệu kiểm tra áp lực:
- Mô phỏng Monte Carlo về đường giá token trong các điều kiện thị trường khác nhau
- Xây dựng mô hình dựa trên đại lý về hành vi người dùng (nhà đầu cơ, người thu lợi, người dùng thực sự, kẻ tấn công)
- Phân tích nhạy cảm về các tham số chính: tỷ lệ sử dụng, lãi suất APY cho vay, phạt thanh lý
Nguyên lý gốc: Hầu hết các mô hình tokenomics thất bại vì chúng giả định các tác nhân có lý trí, không phản xạ. Trong thực tế, phản xạ được thúc đẩy bởi câu chuyện (ví dụ, "đồng token này là một tài sản có giá trị" trở thành tự thực hiện rồi đảo ngược) chiếm ưu thế. Hãy mô hình hóa điều này như một quá trình thay đổi chế độ.
Layer 3: Dữ liệu trên chuỗi và phân tích định lượng
Khi phân tích trên chuỗi trong DeFi, cần sử dụng các công cụ chuyên dụng khác biệt với tài chính truyền thống. Các dữ liệu là công khai nhưng có nhiều nhiễu, có chiều cao lớn và cần được giải thích theo lĩnh vực cụ thể.
Dữ liệu Stack:
- Các máy chủ truy vấn: Dune, Flipside, Goldsky, ClickHouse/PostgreSQL tự cài đặt với các nút lưu trữ Erigon/Nethermind
KPI và phương pháp đo lường chính:
| Danh mục đơn vị đo | KPI chính | Phương pháp tính toán |
|---|---|---|
| Sử dụng | Người dùng hoạt động hàng ngày, số lượng giao dịch, địa chỉ duy nhất | COUNT(DISTINCT from_address) FROM transactions WHERE to_address IN (protocol_contracts) |
| Hiệu quả sử dụng vốn | TVL, tỷ lệ sử dụng, khoảng cách cho vay/cho mượn, lợi tức cho mỗi $ TVL | SUM(tài sản gửi) - SUM(tài sản vay) / SUM(tài sản gửi) |
| Rủi ro | Tỷ lệ thanh lý, tích lũy nợ xấu, các sự kiện sai lệch của oracle | Xử lý log sự kiện: LiquidationCall, BadDebt, PriceUpdated |
| Quản trị | Tham gia đề xuất, tập trung phái đoàn, tỷ lệ cử tri tham gia bầu cử | API Snapshot/Tally + các sự kiện VoteCast trên chuỗi |
Các kỹ thuật tiên tiến:
- Phân tích đường dẫn:
debug_traceTransactioncho các cuộc gọi nội bộ, so sánh trạng thái, phân tích gas
Thách thức quan trọng: điều kỳ lạ về sự có sẵn của dữ liệu – nghiên cứu phân tán đòi hỏi cơ sở hạ tầng tập trung. Các nút lưu trữ có giá từ 500-2000 USD/tháng; hầu hết các nhà nghiên cứu dựa vào Alchemy/QuickNode, tạo ra sự phụ thuộc vào sự tin cậy. Hỗ trợ Erigon trên máy chủ không có hệ điều hành là cách duy nhất thực sự độc lập.
Layer 4: Đánh giá rủi ro hợp đồng thông minh
Rủi ro của hợp đồng thông minh trong DeFi vượt quá "có được kiểm toán hay không". Bên này áp dụng phương pháp xác minh ba trụ cột.
Cột 1: Xác minh chính thức - Các công cụ: Certora Prover, Halmos, Foundry forge verify, Echidna, Medusa - Khu vực áp dụng: chỉ xác minh các tính chất không thay đổi quan trọng (sự thanh khoản, kiểm soát truy cập, an toàn toán học) - Nhược điểm: Xác minh chỉ định, không phải niềm ý. Một hợp đồng được xác minh chính xác vẫn có thể có các yếu tố kinh tế không hoàn hảo.
Cột 2: phân tích động và fuzzing
Cột 3: Kiểm toán kinh tế (bức tường thiếu) Hầu hết các kiểm toán bỏ qua các tác động kinh tế – các cuộc tấn công cho vay nhanh, chiếm quyền quản lý, can thiệp vào oracle, các cuộc tấn công sandwich. Điều này đòi hỏi:
Nguyên lý gốc: khoảng cách giữa xác minh cấu trúc và xác minh riêng lẻ. Xác minh một giao thức cho vay riêng lẽ sẽ bỏ qua sự kết hợp giữa việc can thiệp oracle và arbitrage trên DEX, điều đã khiến Mango Markets bị sụp đổ. Xác minh nhận biết giao thức phải mô hình hóa các phụ thuộc bên ngoài như đối thủ.
Bối cảnh Việt Nam: Các công ty kiểm toán Việt Nam (Verichains, văn phòng PeckShield Việt Nam) đang xây dựng chuyên môn địa phương. Hãy tham khảo các báo cáo của họ với các công ty quốc tế để đảm bảo không có điểm mù.
Layer 5: Phân tích quản trị và phân quyền
Quản trị là lớp kiểm soát. Lớp này xác định mức độ chống lại việc đánh cắp, chất lượng quyết định và nguy cơ nâng cấp.
KPI về quản trị theo số lượng:
| Đơn vị đo | Phương trình | Thang giới hạn |
|---|---|---|
| Độ tập trung của phái đoàn (HHI) | Σ(chi tiết tỷ lệ phiếu của đại biểu²) | < 0,15 (khỏe mạnh), > 0,25 (rủi ro bị bắt) |
| Tỷ lệ cử tri tham gia bầu cử | số phiếu bỏ / tổng quyền được phân bổ | > 10% (động), < 5% (nguy cơ bị bắt giữ) |
| Tỷ lệ thông qua đề xuất | passed_proposals / total_proposals | 60-80% (thảo luận lành mạnh), > 95% (chứng nhận bằng dấu đỏ) |
| Thời gian của Timelock | thời gian chờ | ≥ 48 giờ (cho phép xuất viện), < 24 giờ (rủi ro cao) |
Tương lai tối ưu hóa quản trị: Các giao thức chính (Uniswap v4, Aave v3, Lido) đang chuyển sang quản trị không thể thay đổi + chỉ sử dụng các tham số. Các nghiên cứu cần đánh giá:
- Những gì có thể được thay đổi trong quản trị? (tiền phí, oracle, các tham số rủi ro, nâng cấp)
- Những gì không thể được thay đổi? (lý thuyết cơ bản, tokenomics, kiểm soát truy cập)
- Các thiết bị phân cách khẩn cấp: tạm dừng guardian, các hợp đồng phân cách
Đo lường tập trung ủy quyền xuyên các giao thức: Kiểm tra số lượng thực thể kiểm soát hơn 50% quyền bỏ phiếu trong các giao thức chính (Uniswap, Aave, Compound, Maker, Lido). Nếu 5 ủy viên cùng kiểm soát đa số trong 4/5 giao thức, thì có sự chiếm lĩnh quản trị hệ thống. Đối tượng đo lường này không có trong các tài liệu hiện hành.
Layer 6: Phân tích khả năng kết hợp và rủi ro hệ thống
Sức mạnh của DeFi – khả năng kết hợp – cũng là rủi ro hệ thống lớn nhất của nó. Bức tường này thể hiện vị trí của giao thức trong mạng phụ thuộc rộng hơn của DeFi.
Nhóm phụ thuộc:
- Layer cơ sở: sự đồng thuận của Ethereum/L2, các khuyến khích xây dựng khối, chuỗi cung ứng MEV
- Layer oracle: Chainlink, Pyth, RedStone, TWAP oracle – nguy cơ bị can thiệp thay đổi rất lớn
- Layer stablecoin: USDC (trung tâm hóa, nguy cơ đóng băng), USDT (tài nguyên không minh bạch), DAI/USDe (công thức toán học, nguy cơ depeg), fDAI (công thức frax)
- Layer lưu lượng: độ sâu DEX, tuyến đường tổng hợp, phạm vi lưu lượng tập trung
- Layer cơ sở hạ tầng: nhà cung cấp RPC, các công cụ tạo chỉ số, giao diện người dùng, tích hợp ví
Xây dựng mô hình rủi ro hệ thống:
- Mô phỏng lây lan mạng: Đột phá một nút (ví dụ, USDC depeg), lan truyền qua quá trình cho vay → DEX → chiến lược lợi suất
Tài liệu nghiên cứu - "Cuộc chiến đường cong" như nghiên cứu khả năng kết hợp: Cá tính tương tác giữa CRV/convex/Aave/Frax đã tạo ra một vòng lặp tự củng cố:
- Đánh giá-escrow CRV → cân đo → phát thải CRV → nhiều veCRV hơn
- Convex khóa CRV → phát hành cvxCRV → bỏ phiếu cho các thiết bị đo Convex
- Frax sử dụng CVX để tăng lợi nhuận của nhóm FRAX → nhiều FRAX hơn được phát hành → nhiều thiết bị đo CRV hơn
Phương pháp nghiên cứu: Xác định chu trình khuyến khích, xác định số lần tăng cường, xác định điểm rẽ (ví dụ, giá CRV < $0,30 sẽ kích hoạt chuỗi giải quyết).
Kho lưu trữ công cụ nghiên cứu (độ phù hợp cho sản xuất năm 2024)
| Danh mục | Các công cụ | Công việc sử dụng |
|---|---|---|
| Phân tích tĩnh | Slither, Mythril, Solhint, Foundry | Tìm kiếm lỗ hổng, chất lượng mã |
| Xác nhận chính thức | Certora, Halmos, Foundry Verify | Xác minh không thay đổi |
| Fuzzing | Echidna, Medusa, Foundry Fuzz | Kiểm tra dựa trên thuộc tính |
| Tìm kiếm trên chuỗi | Dune, Flipside, Goldsky, tự lưu trữ | Phân tích lịch sử, bảng điều khiển |
| Thời gian thực | Alchemy/QuickNode websockets, BlockNative, GoldRush | Theo dõi mempool, phát hiện MEV |
| Định danh | Graph, Envio, Ponder | Dòng sự kiện tùy chỉnh |
| Mô phỏng | Tenderly, Fork Foundry, Phalcon, CadCAD | Mô phỏng tấn công, mô hình kinh tế |
| Quản trị | Tally, API Snapshot, Boardroom | Theo dõi đề xuất, phân tích ủy quyền |
| Rủi ro | Chaos Labs, Gauntlet, Risk DAO | Tối ưu hóa tham số, kiểm tra áp lực |
Tích hợp quy trình làm việc: • Câu hỏi nghiên cứu → Chọn lớp → Chọn công cụ → Thu thập dữ liệu → phân tích → tổng hợp giữa các lớp → báo cáo
Các sai lầm phổ biến trong nghiên cứu (anti-patterns)
- Tin tưởng vào một nguồn duy nhất: chỉ sử dụng DefiLlama cho TVL, chỉ có một báo cáo kiểm toán, chỉ có tài liệu về giao thức
Hỏi đáp
Câu hỏi: Bộ công cụ nghiên cứu tối thiểu cho một nhà nghiên cứu cá nhân là gì? A: Foundry (thử nghiệm / tìm lỗi trên địa phương) + Dune (câu hỏi trên chuỗi) + Tally (quản trị) + một bảng tính cho tổng hợp giữa các lớp. Chi phí: ~$0-50/tháng.
Câu hỏi: Làm thế nào để xác minh rằng TVL của một giao thức không bị tăng lên? A: Xem lại DefiLlama, DeFi Pulse và Token Terminal. Xem xét các yếu tố sau: một nhà đầu tư lớn duy nhất (>50% TVL), các khoản gửi vòng lặp (giao thức gửi tiền vào chính nó thông qua một bên trung gian), TVL chỉ dựa trên khuyến khích (khoản gửi tiền rời đi khi khuyến khích kết thúc).
Câu hỏi: Rủi ro nào được bỏ qua nhiều nhất trong nghiên cứu DeFi? Manipulation oracle như một trò chơi phụ. Mỗi giao thức sử dụng nguồn giá bên ngoài đều có một trò chơi ẩn: chi phí của kẻ tấn công để điều khiển oracle so với lợi nhuận từ việc khai thác giao thức. Hầu hết các mô hình giả định oracle trung thực.
Câu hỏi: Tôi làm thế nào để nghiên cứu một giao thức không có kiểm toán? A: 1) Chạy Slither/Mythril bản thân 2) Kiểm tra xác minh chính thức (dashboard Certora) 3) phân tích khả năng nâng cấp (ai sở hữu các khóa quản trị?) 4) xem xét phạm vi thử nghiệm (Foundry forge coverage) 5) kiểm tra chương trình thưởng lỗi (Immunefi, HackenProof)
Câu hỏi: Các nhà nghiên cứu Việt Nam có thể truy cập dữ liệu tương tự như các nhóm toàn cầu không? A: Có – dữ liệu trên chuỗi không cần cấp phép. Kẽ hở nằm ở cơ sở hạ tầng tính toán (kênh lưu trữ, RPC có độ trễ thấp). Các giải pháp: Viction/NodeReal RPC địa phương, Erigon được tự chủ hoặc cơ sở hạ tầng chung thông qua các mối quan hệ hợp tác giữa các trường đại học/cơ sở nghiên cứu.
Kết luận
Các phương pháp nghiên cứu DeFi phải phát triển nhanh như các giao thức mà chúng phân tích. Cấu trúc 6 lớp – Giao thức kiến trúc, mô hình kinh tế, dữ liệu trên chuỗi, rủi ro hợp đồng thông minh, quản trị, khả năng kết hợp – cung cấp một phương pháp có hệ thống giúp phát hiện các rủi ro mà các phân tích một chiều bỏ qua.
Các đóng góp gốc của khung này:
- Bộ lớp có thể kết hợp như một chiều phân tích hàng đầu
- Tính khái quát về sự có sẵn dữ liệu để nghiên cứu trên chuỗi
- Kiến trúc trò chơi oracle cho mô hình an ninh kinh tế
- Khoảng cách xác minh cấu trúc để xác định
- Kích thước tập trung ủy quyền giữa các giao thức
Nghiên cứu không phải là một danh sách kiểm tra – nó là một quá trình đối đầu. Hãy giả định rằng giao thức bị phá vỡ, sau đó chứng minh rằng nó không bị phá vỡ. Các khung làm việc trên cung cấp cho bạn các công cụ để thực hiện điều đó một cách nghiêm ngặt.
Kênh hướng dẫn này là một phần của khung học tập DeFi nâng cao của nền tảng giáo dục Cardano. Để xem các bài học thực hành với Foundry, Dune và Tenderly, hãy tham khảo tài liệu của buổi làm việc kèm theo.