Các công cụ mã hóa thời thượng có thể giúp DeFi không?

Lưu ý của biên tập viên: Bài viết này đến từNhững người đam mê Ethereum (ID: ethfans)Lưu ý của biên tập viên: Bài viết này đến từ

Những người đam mê Ethereum (ID: ethfans)

Những người đam mê Ethereum (ID: ethfans)

Phong trào tài chính phi tập trung (DeFi) đã tuyên bố sẽ san bằng thế giới tài chính, làm cho nó trở nên công bằng và minh bạch hơn. Tuy nhiên, để DeFi đạt được mục tiêu này trên quy mô toàn cầu, các chuỗi khối phi tập trung như Ethereum cần phải mở rộng quy mô thông lượng! Điều này có nghĩa là chúng ta cần sử dụng các sơ đồ chứng minh mật mã mới (một số người sẽ gọi chung các sơ đồ này là "bằng chứng không kiến ​​thức", "ZKP").

Trong bài viết này, chúng tôi sẽ giải thích những thách thức hiện tại đối với tiền điện tử phi tập trung, lộ trình của các hệ thống bằng chứng mật mã khác nhau để giải quyết những vấn đề này và tại sao zk-STARK lại phù hợp nhất để giải quyết vấn đề này.

tiêu đề phụ

chữ

Chúng ta đang sống trong thời đại mà thông lượng của các hệ thống máy tính ngày càng tăng. Mọi thứ từ băng thông, không gian lưu trữ, đến số pixel trên màn hình đều không ngừng được cải thiện. Vậy tại sao việc tăng tốc độ xử lý giao dịch (được đo bằng TPS "giao dịch mỗi giây") của Bitcoin và Ethereum lại khó đến vậy?

Câu trả lời là chúng tôi cũng muốn đảm bảo tính phi tập trung. Điều kiện tiên quyết để blockchain duy trì quyền truy cập miễn phí là mọi người dùng có máy tính xách tay thông thường đều có thể xác minh tính toàn vẹn của lịch sử giao dịch. Có một nguyên tắc cốt lõi ở đây, mà chúng tôi gọi là "trách nhiệm giải trình toàn diện", có nghĩa là: chúng ta không thể vội vàng tăng sức mạnh xử lý của hệ thống, nếu không nó sẽ thoái hóa thành một hệ thống thanh toán tập trung chỉ có một số chaebol. là "hệ thống tài chính hiện tại").

Mô tả hình ảnh

Do đó, tất cả các sơ đồ mở rộng quy mô, bao gồm Plasma, Optimistic Rollup và phương pháp tiếp cận của chúng tôi (dựa trên hệ thống bằng chứng mật mã, thường được gọi là sơ đồ ZK Rollup), giới thiệu hai loại thực thể riêng biệt: một nhóm nhỏ các bên "có quyền lực", cần đầu tư rất nhiều tài nguyên để thực hiện các phép tính chuyên sâu, cũng có một nhóm lớn các nút chịu trách nhiệm xác minh các giao dịch và đảm bảo rằng các kết quả tính toán do những người tham gia mạnh mẽ tạo ra có thể kiểm tra được.

Làm cách nào để có thể tăng quy mô thông lượng trong khi vẫn đảm bảo tính phi tập trung? Sau đó, hãy để những người tham gia mạnh mẽ thực hiện các phép tính và sự tham gia yếu kém đảm bảo khả năng kiểm toán. Những người tham gia mạnh mẽ có ác ý hay không không quan trọng, điều quan trọng là những người tham gia yếu kém có thể đảm bảo trách nhiệm giải trình!

Trước khi đi sâu vào chi tiết, chúng ta hãy xem xét các hệ thống bằng chứng mật mã.

tiêu đề phụ

• Bạn cần biết điều gì đó về hệ thống bằng chứng mật mã

• Hệ thống bằng chứng mật mã được thành lập vào năm 1980; giá trị to lớn của nó đối với chuỗi khối không truy cập đã dẫn đến sự bùng nổ kỷ Cambri của các cấu trúc lý thuyết mới và các giao thức mới trong lĩnh vực chuỗi khối trong những năm gần đây. Trong phần sau đây, chúng tôi chỉ tập trung vào STARK, đây cũng là một loại sơ đồ bằng chứng mà nhóm StarkWare của chúng tôi dự định đưa ra thị trường.

Thường có hai loại vai trò trong các hệ thống chứng minh mật mã: người chứng minh và người xác minh.

Người chứng minh: Người chứng minh muốn chứng minh với người xác minh rằng một tuyên bố tính toán nhất định là đúng, ví dụ: "Tôi đã xử lý 10.000 giao dịch này và kết quả băm cơ sở dữ liệu là X". Người xác minh cung cấp bằng chứng về tuyên bố tính toán này và gửi nó cho người xác minh.

Để ý! Trong một hệ thống bằng chứng mật mã như STARK, gánh nặng tính toán của người chứng minh và người xác minh là không đối xứng!

So với việc chỉ thực hiện quy trình tính toán ban đầu, chi phí tính toán của người chứng minh lớn hơn nhiều; ngược lại, người xác minh phải được hưởng lợi từ chi phí khổng lồ do người xác minh trả và số lượng tính toán do người xác minh thực hiện nhỏ hơn so với quá trình tính toán ban đầu Nhiều hơn nữa, ví dụ: nếu 10.000 giao dịch ban đầu cần được thực hiện, thì người xác minh chỉ cần trả chi phí tính toán chung cho 10 giao dịch.

Vì vậy, hệ thống bằng chứng mã hóa ngày nay có thể giúp DeFi theo những cách nào?

• khả năng mở rộng
• Sự riêng tư
• công bằng

công bằng

Chúng tôi đến từng người một.

chữ

1. Cải thiện khả năng mở rộng với STARK

Chúng tôi quay trở lại thách thức cơ bản: mở rộng quy mô thông lượng Ethereum trong khi vẫn duy trì tính toàn diện và trách nhiệm giải trình. Chúng tôi cần một kỹ thuật có thể tăng đáng kể thông lượng (bằng cách phân phối gánh nặng tính toán cho một số ít "tác nhân mạnh"), trong khi nhiều "tác nhân yếu" có thể xác minh đầy đủ tính toàn vẹn tính toán của các tác nhân mạnh này), và nó sẽ không tăng gánh nặng cho những người chơi yếu. Các kế hoạch mở rộng khác, chẳng hạn như Plasma và Tổng hợp lạc quan, dựa trên Bằng chứng gian lận và chúng tôi đã giải thích trong bài viết này tại sao hệ thống bằng chứng mật mã là một giải pháp tốt hơn (Ghi chú của biên tập viên: Xem siêu liên kết ở cuối bài viết để biết bản dịch tiếng Trung " Bằng chứng hợp lệ so với Bằng chứng sai").

Sử dụng khả năng mở rộng của STARK (tốc độ xác minh là cấp số nhân của tốc độ xây dựng bằng chứng), chúng ta có thể mạnh dạn biến bất kỳ thực thể mạnh mẽ nào thành người chứng minh, ngay cả Darth Vader & Sons Con rối do kẻ ác điều khiển cũng không thành vấn đề. Chìa khóa ở đây là một người chứng minh mạnh mẽ phải đính kèm một bằng chứng ngắn gọn cho tất cả các hoạt động của mình và tất cả các nút yếu có thể dễ dàng xác minh những bằng chứng này. Do đó, với STARK (và các hệ thống bằng chứng mật mã khác), chúng tôi có thể đảm bảo trách nhiệm giải trình toàn diện trong khi cung cấp quy mô thông lượng gần như không giới hạn (nói đúng ra, chúng tôi "chỉ có thể" mở rộng theo cấp số nhân) .

Cụ thể hơn, cơ sở của giải pháp khả năng mở rộng ZK Rollup là cho phép các tác vụ điện toán lớn (hoặc một số lượng lớn các tác vụ điện toán nhỏ) được thực thi ngoài chuỗi và tài nguyên điện toán ngoài chuỗi phong phú hơn nhiều; sau đó quá trình thực thi tính toán được tạo ra Bằng chứng về tính hợp lệ được gửi đến chuỗi khối (cùng với cam kết về trạng thái mới); những bằng chứng này sau đó được xác minh bằng hợp đồng thông minh xác thực. Sau khi xác minh, những người tham gia mạng có thể tin tưởng rằng toàn bộ tính toán là hợp lệ (không tin tưởng vào bất kỳ thực thể nào). Chính vì chúng tôi không có bất kỳ giả định tin cậy nào mà chúng tôi có thể chấp nhận một cách công bằng bằng chứng về tính hợp lệ, ngay cả khi nó được đưa ra bởi Darth Vader.

Những điều này không còn nằm trên giấy nữa: bằng cách sử dụng StarkEx, công cụ mở rộng quy mô của chúng tôi, chúng tôi đã đạt được thông lượng hơn 9.000 giao dịch tự giám sát mỗi giây (cải thiện 2.000 lần so với mạng chính Ethereum )! Và, đây không phải là giới hạn: chúng tôi không bị giới hạn bởi tài nguyên blockchain, chỉ bởi tài nguyên đám mây.

Sàn giao dịch phi tập trung DeversiFi đầu tiên được cung cấp bởi công cụ StarkEx sẽ ra mắt vào tuần tới. Ngoài ra, một sàn giao dịch NFT do StarkEx hỗ trợ cũng đang được phát triển chuyên sâu, có thể hỗ trợ giao dịch tài sản trong trò chơi.

2. ZKP nâng cao quyền riêng tư

Cải thiện tốc độ xử lý giao dịch không phải là điều kiện đủ để chuỗi công khai trở nên phổ biến. Chúng tôi cũng cần sự riêng tư.

Những người tiên phong của chuỗi công khai đã phát hiện ra lợi ích của ZKP đối với quyền riêng tư trước khi khám phá ra lợi ích của ZKP đối với khả năng mở rộng. Chuỗi khối Zcash, ra mắt vào năm 2016, là hệ thống đầu tiên cung cấp các giao dịch được bảo vệ bằng cách sử dụng sơ đồ ZKP.

Quyền riêng tư cũng rất quan trọng để đạt được một thị trường hiệu quả. Khi giao dịch trên thị trường, các nhà giao dịch muốn được tự do và không cung cấp thông tin độc nhất của riêng họ. Các khối không có quyền (và DeFi) hoàn toàn minh bạch theo thiết kế: để cho phép tất cả các nút nhỏ xác minh trạng thái của chuỗi khối mà không đưa ra bất kỳ giả định tin cậy nào, tất cả các giao dịch sẽ được công khai trên chuỗi.

Vì vậy, thách thức là: làm thế nào có thể đạt được quyền riêng tư mà không phải hy sinh bản chất không đáng tin cậy của DeFi? Bạn có thể tận dụng lợi thế của tài sản không kiến ​​thức của ZKP!

Như đã đề cập ở trên, bằng chứng không kiến ​​thức cho phép chúng tôi chứng minh một tuyên bố tính toán mà không tiết lộ thông tin đầu vào riêng tư. Thuộc tính này, được áp dụng cho chuỗi khối, cho phép thông tin duy nhất được đưa vào đầu vào riêng tư mà hoàn toàn không bị lộ bằng chứng. Kết quả là một kết thúc có hậu: quyền riêng tư được bảo toàn và bất kỳ ai cũng có thể xác minh trạng thái của chuỗi khối mà không cần đưa ra các giả định về niềm tin, thật hoàn hảo.

chữ

chữ

Lưu ý: Quyền riêng tư không có nghĩa là chống lại quy định. Nhu cầu về quyền riêng tư của những người tham gia thị trường có thể cùng tồn tại với nhu cầu của các cơ quan quản lý để quan sát và theo dõi sức khỏe của thị trường. Ví dụ: thay vì chia sẻ tất cả sổ cái của mình với cơ quan thu thuế, một doanh nghiệp có thể tạo bằng chứng không biết rằng họ đã nộp thuế. Quyền riêng tư của doanh nghiệp được bảo vệ và các cơ quan quản lý có thể tin tưởng rằng thuế đã được thu (bạn cũng có thể tìm thấy một ví dụ về điều này tại đây).

3. ZKP nâng cao tính công bằng

Tính công bằng của thị trường không chỉ có ý nghĩa trong suy đoán triết học. Các nhà giao dịch tránh xa các địa điểm mà họ cho là không công bằng, vì vậy sự công bằng sẽ giúp thanh khoản. Có nhiều cách để gây tổn hại đến tính công bằng của thị trường, nhưng hầu hết trong số đó bao gồm các nhà điều hành hệ thống (chẳng hạn như chính sàn giao dịch) lạm dụng quyền được biết trước như một trong những liên kết. ZKP có thể giúp người tham gia đảm bảo rằng các nhà khai thác không thể lạm dụng đặc quyền hoặc thiên vị của họ.

Một ví dụ đáng chú ý là chạy trước. Chạy trước là khi các nhà tạo lập thị trường sử dụng thông tin trước để giao dịch trước khi những người khác biết thông tin đó, điều này là bất hợp pháp. Về tác động của giao dịch chạy trước trên thị trường, ước tính của mọi người khác nhau, nhưng kết luận được chấp nhận chung là tác động rất lớn và không có lợi cho hiệu quả của thị trường.

chữ

ZKP có thể giải quyết vấn đề về các giao dịch chạy trước, bởi vì việc bảo vệ quyền riêng tư của các nhà giao dịch không chỉ ngăn chặn các nhà giao dịch khác mà cả nhà điều hành cũng không thể nhìn thấu nó - điều này đảm bảo rằng nhà điều hành không thể sử dụng đặc quyền biết để kiếm lợi, cho phép nhà điều hành to return to its original position.vị trí ban đầu. Chúng tôi rất thích nhìn thấy một giải pháp như vậy.

tiêu đề phụ