Không gian thiết kế mới trong DeFi

Cartesi có thể giúp DeFi mở rộng quy mô theo một hướng mới. Các nhà tạo lập thị trường tự động và các giao thức cho vay thế chấp đang trở nên thử nghiệm hơn với mỗi lần lặp lại, nhưng cần có một loại tăng trưởng khác. Điều gì sẽ xảy ra nếu thị trường DeFi có thể tin tưởng vào các phiên bản mở, trực tuyến của tất cả các hệ thống quản lý rủi ro và phân tích hạng nặng phổ biến ở Phố Wall?

Bắt đầu xây dựng DeFi DApp với Cartesi để tìm hiểu hoặc tiếp tục đọc để hiểu rõ hơn về điều này.

Những hạn chế của DeFi

Sự lên xuống của thị trường DeFi là không thể tránh khỏi. Biến động và rủi ro là một phần không thể tránh khỏi của bất kỳ thị trường nào. Nhưng như bất kỳ ai trong TradFi đều biết, chúng cũng trở nên an toàn và hiệu quả hơn khi những người tham gia có các công cụ tốt hơn tùy ý sử dụng.

Biểu cảm hạn chế

Cho đến nay, mọi thứ từ đặt lệnh dừng đơn giản đến chạy phân tích tài chính phức tạp đều cần phải xảy ra theo kiểu web2, dựa trên máy chủ, ngoại tuyến. Máy ảo Ethereum không có các khối xây dựng cho phép các nhà phát triển tạo các ứng dụng này trên chuỗi nên chúng chỉ khả dụng thông qua các dịch vụ tập trung.

Ví dụ, hãy xem logarit. Đây là một khái niệm toán học cơ bản được sử dụng để xây dựng các công cụ phân tích tài chính. Xây dựng một chương trình hoạt động với logarit khá đơn giản đối với những người lập trình thông thường.

Bên ngoài web3, các nhà phát triển có quyền truy cập vào các thư viện dựa trên các thư viện mã tạo sẵn mà họ có thể sử dụng miễn phí trong các chương trình của mình. Họ chỉ cần gõ import mathhoặc import numpynếu họ đang làm việc với Python và họ sẽ có các tùy chọn khác nhau để làm việc với logarit, tất cả đều đã được thử nghiệm để tìm lỗi và chạy tốt.

Ai đó đã dạy máy tính cách thực hiện điều này trong một chương trình khác để các nhà phát triển khác không phải nghĩ về nó hoặc thậm chí không nhìn thấy nó. Tất cả các hướng dẫn cần thiết được kết hợp thành một chương trình duy nhất được dán nhãn và có thể được sử dụng lại khi cần thiết. Trong khoa học máy tính, điều này được gọi là sự trừu tượng hóa .

Tuy nhiên, làm điều này trên Máy ảo Ethereum là một điều khó khăn. Các mô-đun và thư viện mã tạo sẵn cho Solidity rất hạn chế. Ngoài việc tự mã hóa DApp, các nhà phát triển còn phải phát minh lại bánh xe và dạy cho Máy ảo Ethereum cách làm việc với logarit, từng bước một.

Nguồn tài nguyên giới hạn

Sau đó, chúng tôi có chi phí để làm điều này như một vấn đề khác. Mỗi bước để tính logarit trên Máy ảo Ethereum sẽ bao gồm một loạt hướng dẫn được gọi là opcodes và mỗi hướng dẫn trong số này đều tiêu tốn một số tiền cụ thể. Đây là lý do tại sao một số giao dịch DApp có phí gas cao hơn các giao dịch khác — bạn đang yêu cầu DApp thực hiện nhiều hơn và mỗi lệnh sẽ cộng thêm vào hóa đơn.

Một cách hay để hình dung điều này có nghĩa là xem bảng opcode cho Máy ảo Ethereum. Nó chia nhỏ chi phí cho mỗi hướng dẫn là bao nhiêu gas.

Đối với ngữ cảnh, tính toán logarit sẽ có hàng trăm logarit này. Có thể nói rằng việc triển khai đầy đủ một phần mềm quản lý rủi ro điển hình sẽ có hàng tỷ hướng dẫn. Chúng tôi có thể nhanh chóng nhận ra rằng việc sử dụng DApp này sẽ tốn kém hơn những gì nó có thể tiết kiệm cho chúng tôi.

Dù bằng cách nào, Máy ảo Ethereum có giới hạn 30 triệu gas cho mỗi khối , do đó, giới hạn cũng nằm ở đó theo thiết kế. Ở mức tối thiểu 3 gas cho mỗi opcode hữu ích, số lượng hướng dẫn lớn nhất mà Máy ảo Ethereum có thể xử lý là 10 triệu — và điều này được chia sẻ giữa toàn bộ mạng. Sức mạnh xử lý hạn chế này là một vấn đề khác mà chúng tôi cũng đã thấy trong trò chơi web3 .

Có những lý do rất tốt cho những hạn chế này. Tuy nhiên, khi chúng tôi kết hợp nhu cầu phát minh lại bánh xe và sau đó là nhu cầu trả tiền cho mỗi lần quay, thật dễ hiểu tại sao chưa có các công cụ DeFi phức tạp hơn được xây dựng trên chuỗi.

Vượt qua giới hạn

Tin tốt là có một cách giải quyết khác. Cartesi cho phép các nhà phát triển DeFi có quyền truy cập vào nhiều tài nguyên hơn và nhiều biểu cảm hơn.

Máy ảo Cartesi

Mô-đun toán học và thư viện numpy hoàn toàn có thể truy cập được trên Máy ảo Cartesi. Làm việc trên nó cũng giống như làm việc trên một thiết lập Linux truyền thống, trong đó tất cả các bước nhỏ để tính logarit đã được tìm ra, đóng gói và sẵn sàng để sử dụng. Chúng tôi quay lại gõ import mathhoặc import numpyvà có tất cả những gì chúng tôi cần.

(Đây là những gì chúng tôi gọi là khả năng mở rộng trừu tượng, được gọi là “khả năng mở rộng nội dung” trong bài đăng này .)

Hơn nữa, chúng tôi không còn giới hạn 10 triệu theo hướng dẫn nữa. Máy ảo Cartesi không có giới hạn cứng về điều này, nó đã được chứng minh là có thể xử lý hơn 3.617.821.902 lệnh trong khoảng thời gian trung bình giữa các khối Ethereum.

Giờ đây, các nhà phát triển có thể làm việc trên các công cụ tài chính dựa trên những gì Phố Wall đã có thay vì phát minh lại mọi thứ từ đầu. Phần tốt nhất là họ vẫn đang làm việc trong môi trường web3 trên chuỗi, phi tập trung.

Tổng hợp Cartesi

Các DApp được xây dựng trên Máy ảo Cartesi được đưa trở lại chuỗi khối Ethereum, bất kỳ chuỗi tương thích EVM hoặc L2 nào, bằng cách sử dụng Bản tổng hợp Cartesi. Về mặt kỹ thuật được gọi là tổng số dành riêng cho ứng dụng , đây là một cách để thực hiện tất cả các tính toán đã xảy ra trong Máy ảo Cartesi và sử dụng chuỗi cơ bản để bảo đảm chúng trong các giao dịch tương đối rẻ.

Đây là chìa khóa. Chúng tôi không chỉ làm việc với các chương trình quen thuộc và đã được thử nghiệm trong trận chiến với Máy ảo Cartesi, chúng tôi còn nhận được hóa đơn nhỏ hơn khi sử dụng chúng với Tổng số Cartesi. Các nhà phát triển có tất cả các lợi thế của việc xây dựng các ứng dụng trên Linux và tất cả các lợi thế của việc đưa chúng trực tiếp trên chuỗi với một phần nhỏ chi phí.

Nhưng tại sao điều quan trọng là phải có các ứng dụng này trực tiếp trên chuỗi ngay từ đầu? Nó không hiển nhiên, nhưng có những hàm ý thực tế, không chỉ là những lý do triết học.

Chứng minh khái niệm: Hạt nhân

Một ví dụ tuyệt vời về những gì có thể được thực hiện và tại sao điều đó lại quan trọng đối với DeFi là rủi ro. Ngay bây giờ, không có cách nào để các giao thức cho vay DeFi có thông tin trực tuyến, có thể hành động về mức độ tốt của một tài sản như tài sản thế chấp hoặc mức độ rủi ro của nó khi nắm giữ. Tất cả những gì họ có là thông tin về giá hiện tại của nó thông qua các nhà tiên tri.

Khoản khai thác trị giá 61 triệu USD trên Curve Finance cho thấy tại sao đây là một vấn đề lớn. Người sáng lập giao thức có các khoản vay đáng kể được hỗ trợ bởi mã thông báo CRV gốc bị ảnh hưởng bởi việc khai thác. Họ có nguy cơ bị thanh lý có thể lan rộng khắp DeFi nói chung , bao gồm cả các giao thức như Aave và Frax Finance.

Tuy nhiên, có thể tránh được sự lây lan bằng các biện pháp kiểm soát rủi ro trên chuỗi đơn giản.

It's absurd lending protocols like @AaveAave and @fraxfinance don't have on-chain risk controls to prevent lending against >X% of a token's circulating supply in aggregate. Risk Management 101 stuff.

Also surprised @gauntlet_xyz doesn't already help these protocols avoid this.

— Matty (@mattyTokenomics) August 1, 2023

Phiên bản tổng quát của một mẫu có vấn đề ở đây có thể được tóm tắt như sau:

• Diễn viên xấu Bob mua mã thông báo $RISKY có tính biến động cao trị giá 5 triệu đô la.
• Giá trị của $RISKY được Bob bơm một cách hiệu quả sau khi mua.
• Bob vay một khoản vay trị giá 100 triệu đô la Mỹ trên Naive Finance được hỗ trợ bởi $RISKY.
• NaiveDEX kiểm tra giá của $RISKY và xác nhận rằng Bob “rất tốt” với số tiền đó.
• Bob chạy.
• Khi Naive Finance thanh lý RỦI RO $, nó chỉ trị giá 5 triệu đô la.

Theo truyền thống, vấn đề này được giải quyết bằng các công cụ phân tích rủi ro xác định mức độ đảm bảo của một tài sản. Nếu chúng tồn tại trên chuỗi, Naive Finance có thể kiểm tra các ước tính thống kê dựa trên giá lịch sử của mã thông báo trước khi phê duyệt khoản vay. Giao thức sẽ nhìn xuyên qua máy bơm và từ chối Bob 100 triệu đô la.

Tất cả điều này sẽ xảy ra tự động và trên chuỗi. Nhưng nếu tốn quá nhiều thời gian và tiền bạc để dạy Máy ảo Ethereum tính toán logarit, thậm chí không ai bận tâm đến một công cụ chạy thống kê về dữ liệu giá lịch sử — mặc dù có nhu cầu rất lớn về nó.

Trong hệ sinh thái Cartesi, chúng tôi có một kịch bản khác…

Nucleus là một dự án giành chiến thắng trong cuộc thi hackathon, chứng minh cách phân tích tài chính phức tạp có thể được xây dựng cho DeFi. Bên cạnh tất cả các tính năng của giao thức cho vay truyền thống, nó có thể đặt giới hạn cho tài sản thế chấp dựa trên phân tích dữ liệu trên chuỗi được trình bày trong Cartesi.

Nhìn bề ngoài, Nucleus trông giống như một giao thức cho vay thông thường. Ở phần phụ trợ, nó có tất cả các quy trình thống kê phức tạp cần thiết để phân tích rủi ro được xử lý bằng mã Python nguồn mở có sẵn trong các thư viện như numpy và các thư viện khác. Chúng được triển khai trên Máy ảo Cartesi và sau đó được đưa vào chuỗi thông qua các bản tổng hợp dành riêng cho ứng dụng của Cartesi.

Việc công cụ này hoạt động trên chuỗi cũng có nghĩa là nó có thể được sử dụng và tham chiếu bởi các giao thức DeFi khác. Nó thậm chí có thể được thiết kế để trở thành một hàng hóa công cộng. Một dự án như Nucleus có thể làm cho DeFi an toàn hơn về mặt hệ thống.

Hơn nữa, nhu cầu phân tích và quản lý rủi ro phù hợp không chỉ dành cho các giao thức cho vay TVL lớn. Cuối cùng, đây là cách mà bất kỳ người tham gia thị trường nào cũng có thể đưa ra quyết định sáng suốt và tránh các hành vi không mong muốn.

Khả năng của DeFi với Cartesi

Nucleus chỉ là một ví dụ về cách một DeFi DApp hiệu quả và rẻ tiền có thể cho phép những người tham gia thị trường làm việc với các công cụ quen thuộc trên chuỗi. Có những dự án khác đang thử nghiệm những khả năng này trong hệ sinh thái Cartesi ở các giai đoạn phát triển khác nhau:

• DCA.Monster : Người chiến thắng cuộc thi hackathon dành cho nhà tạo lập thị trường dựa trên thuật toán sản phẩm liên tục bao gồm tính năng tính trung bình chi phí đô la trên chuỗi dựa trên “mã thông báo có thể phát trực tuyến”.
• Bima Coin : Một bằng chứng về khái niệm cho một giao thức bảo hiểm được mã hóa phi tập trung sử dụng Internet vạn vật và trí tuệ nhân tạo để tính toán các rủi ro liên quan đến ô tô.
• Ballaum : Một bằng chứng về khái niệm cho một nền tảng cá cược phi tập trung có thể được sử dụng để đặt cược vào các trận đấu cúp thế giới trực tuyến.

Những ý tưởng khác cho những gì có thể được xây dựng bao gồm:

• Sổ lệnh hiệu quả DEX.
• Một nền tảng token hóa bất động sản.

Điều thú vị về DeFi là nó khám phá những gì có thể được thực hiện bằng tiền khi nó có thể lập trình được. Cartesi đảm bảo rằng DeFi có thể mở rộng tất cả các thử nghiệm tài chính hấp dẫn này, đồng thời tận dụng tất cả các công cụ đã được thử nghiệm thực tế đã hỗ trợ tài chính truyền thống trong nhiều thập kỷ.

Đây là không gian thiết kế mới cho DeFi. Hãy cho chúng tôi biết bạn sẽ xây dựng DApp nào bằng cách tham gia cộng đồng , tham gia diễn đàn Blue Sky Ideas hoặc tham gia với chúng tôi trên Discord .

Bạn cũng có thể kiểm tra những gì các đội khác đang xây dựng . Tốt hơn nữa, hãy bắt đầu xây dựng DeFi DApp của riêng bạn và đăng ký Tài trợ cộng đồng Cartesi .

Và hãy theo dõi DApp đầu tiên dựa trên Cartesi Rollups được triển khai trên chuỗi…