Chứng minh lưu trữ sâu: Đạt được nhận thức trạng thái blockchain xuyên thời gian, xuyên chuỗi
Tuyển chọn TechFlowTuyển chọn TechFlow
Chứng minh lưu trữ sâu: Đạt được nhận thức trạng thái blockchain xuyên thời gian, xuyên chuỗi
Bằng chứng lưu trữ có thể giúp Ethereum trở thành một lớp định danh và sở hữu tài sản, chứ không chỉ đơn thuần là một lớp thanh toán.
Chuyên sâu báo cáo Web3Tác giả: LongHash Ventures
Biên dịch: TechFlow
Nếu bạn mất trí nhớ mỗi giờ và phải liên tục hỏi người khác về việc mình đã làm gì, thì sẽ ra sao? Đây chính là trạng thái hiện tại của các hợp đồng thông minh. Trên các blockchain như Ethereum, hợp đồng thông minh không thể truy cập trực tiếp vào trạng thái vượt quá 256 khối trước đó. Vấn đề này còn nghiêm trọng hơn trong hệ sinh thái đa chuỗi, khi việc truy xuất và xác thực dữ liệu giữa các lớp thực thi khác nhau thậm chí còn khó khăn hơn.
Năm 2020, Vitalik Buterin và Tomasz Stanczak đã đề xuất một phương pháp truy cập dữ liệu xuyên thời gian. Mặc dù đề xuất EIP này đã rơi vào bế tắc, nhu cầu về nó lại tái xuất hiện mạnh mẽ trong thế giới đa chuỗi tập trung vào Roll-up. Ngày nay, bằng chứng lưu trữ (storage proofs) đã trở thành lĩnh vực tiên phong nhằm trao cho hợp đồng thông minh nhận thức và trí nhớ.
Các cách truy cập dữ liệu trên chuỗi
Dapp có thể truy cập dữ liệu và trạng thái theo nhiều cách khác nhau. Tất cả các phương pháp này đều yêu cầu ứng dụng tin tưởng ở mức độ nào đó vào con người/thực thể, an ninh mã hóa kinh tế hoặc mã nguồn, và đều đi kèm với những điểm đánh đổi nhất định:
Tin tưởng con người/thực thể:
Các nút lưu trữ (archive nodes): Người vận hành có thể tự vận hành nút lưu trữ hoặc dựa vào các nhà cung cấp dịch vụ như Alchemy, Infura để truy cập toàn bộ dữ liệu kể từ khối khởi nguyên. Chúng cung cấp cùng loại dữ liệu như nút đầy đủ (full node), bao gồm cả dữ liệu trạng thái lịch sử toàn bộ blockchain. Các dịch vụ ngoài chuỗi như Etherscan và Dune Analytics sử dụng nút lưu trữ để truy cập dữ liệu trên chuỗi. Các bên tham gia ngoài chuỗi có thể chứng minh tính hợp lệ của dữ liệu này, và hợp đồng thông minh trên chuỗi có thể xác minh rằng dữ liệu được ký bởi các bên đáng tin cậy/hội đồng. Tuy nhiên, tính toàn vẹn của dữ liệu gốc không thể được kiểm chứng. Phương pháp này buộc Dapp phải tin tưởng nhà cung cấp dịch vụ nút lưu trữ vận hành cơ sở hạ tầng đúng cách, không có ý đồ xấu.
Tin tưởng vào an ninh mã hóa kinh tế:
-
Bộ chỉ mục (Indexers): Giao thức chỉ mục tổ chức tất cả dữ liệu trên blockchain, cho phép các nhà phát triển xây dựng và công bố API mở để ứng dụng truy vấn. Một bộ chỉ mục đơn lẻ là một nút vận hành đặt cược token để cung cấp dịch vụ lập chỉ mục và xử lý truy vấn. Tuy nhiên, khi dữ liệu cung cấp không chính xác, tranh chấp có thể xảy ra và quá trình trọng tài cần thời gian. Hơn nữa, dữ liệu từ các bộ chỉ mục như The Graph không thể được sử dụng trực tiếp trong logic nghiệp vụ của hợp đồng thông minh, mà chủ yếu dùng trong phân tích dữ liệu web2.
-
Oracles: Nhà cung cấp dịch vụ oracle tổng hợp dữ liệu từ nhiều nút độc lập. Thách thức ở đây là dữ liệu từ oracle có thể không được cập nhật thường xuyên và phạm vi hạn chế. Các oracle như Chainlink thường chỉ duy trì các trạng thái cụ thể, ví dụ như thông tin giá cả, nhưng không khả thi đối với dữ liệu trạng thái riêng của ứng dụng hay dữ liệu lịch sử. Ngoài ra, phương pháp này cũng có thể đưa vào một mức độ sai lệch nhất định do phải tin tưởng vào các nút vận hành.
Tin tưởng vào mã nguồn:
Các biến và hàm đặc biệt: Các blockchain như Ethereum có các biến và hàm đặc biệt, chủ yếu dùng để cung cấp thông tin về blockchain hoặc các hàm tiện ích phổ thông. Hợp đồng thông minh chỉ có thể truy cập hash khối trong 256 khối gần nhất. Vì lý do mở rộng, không phải hash của mọi khối đều sẵn có. Việc truy cập hash khối lịch sử sẽ rất hữu ích vì nó cho phép xác minh các bằng chứng dựa trên chúng. Môi trường thực thi EVM không có opcode nào để truy cập nội dung khối cũ, nội dung giao dịch trước đó hoặc đầu ra biên lai, nên các nút có thể an toàn quên những nội dung này mà vẫn xử lý được khối mới. Phương pháp này cũng chỉ giới hạn trong một blockchain đơn lẻ.
Xét đến những thách thức và hạn chế của các giải pháp trên, rõ ràng tồn tại nhu cầu thiết thực về việc lưu trữ và cung cấp hash khối trên chuỗi. Đây chính là nơi bằng chứng lưu trữ phát huy tác dụng. Để hiểu rõ hơn về bằng chứng lưu trữ, hãy cùng xem nhanh cách lưu trữ dữ liệu trong blockchain.
Lưu trữ dữ liệu trong blockchain
Blockchain là một cơ sở dữ liệu công cộng, được cập nhật và chia sẻ giữa nhiều máy tính trong mạng. Dữ liệu và trạng thái được lưu trữ dưới dạng các khối liên tục, mỗi khối mã hóa tham chiếu đến khối cha của nó bằng cách lưu hash tiêu đề khối trước đó.
Lấy ví dụ khối Ethereum. Ethereum sử dụng một dạng cây Merkle đặc biệt gọi là "Merkle Patricia Tree" (MPT). Tiêu đề khối Ethereum chứa bốn gốc của cây Merkle-Patricia khác nhau: cây trạng thái, cây lưu trữ, cây biên lai và cây giao dịch. Bốn cây này mã hóa ánh xạ chứa toàn bộ dữ liệu Ethereum. Việc sử dụng cây Merkle là do hiệu quả cao trong lưu trữ dữ liệu. Thông qua việc băm đệ quy, cuối cùng chỉ cần lưu trữ hash gốc, tiết kiệm rất nhiều không gian. Chúng cho phép bất kỳ ai chứng minh sự tồn tại của phần tử trong cây bằng cách chứng minh các nút băm đệ quy dẫn đến cùng một hash gốc. Bằng chứng Merkle cho phép các client nhẹ trên Ethereum trả lời các câu hỏi sau:
-
Giao dịch này có tồn tại trong một khối cụ thể nào không?
-
Số dư tài khoản của tôi hiện tại là bao nhiêu?
-
Tài khoản này có tồn tại không?
Khác với việc tải xuống từng giao dịch và từng khối, "client nhẹ" chỉ cần tải chuỗi tiêu đề khối và sử dụng bằng chứng Merkle để xác minh thông tin. Điều này khiến toàn bộ quá trình trở nên cực kỳ hiệu quả.
Bằng chứng lưu trữ (Storage Proofs)
Bằng chứng lưu trữ cho phép chúng ta sử dụng bằng chứng mã hóa để chứng minh một điều gì đó đã được ghi lại trong cơ sở dữ liệu và hợp lệ. Nếu chúng ta có thể cung cấp bằng chứng như vậy, đó sẽ là một tuyên bố có thể xác minh, chứng minh một sự kiện đã xảy ra trên blockchain.
Bằng chứng lưu trữ có thể làm được gì?
Bằng chứng lưu trữ cho phép hai chức năng chính:
-
Truy cập dữ liệu lịch sử trên chuỗi vượt quá 256 khối gần nhất, kéo dài về tận khối khởi nguyên
-
Truy cập dữ liệu trên chuỗi của một blockchain khác (cả lịch sử và hiện tại) trên một blockchain đích, thông qua xác minh đồng thuận hoặc cầu nối L2 (đối với L2)
Bằng chứng lưu trữ hoạt động như thế nào?
Đơn giản nói, bằng chứng lưu trữ kiểm tra xem một khối cụ thể có phải là một phần của lịch sử chuẩn tắc của blockchain hay không, sau đó xác minh dữ liệu cụ thể được yêu cầu có phải là một phần của khối đó hay không. Điều này có thể đạt được bằng cách:
-
Xử lý trên chuỗi: Dapp có thể lấy khối đáng tin cậy ban đầu, truyền khối đó như Calldata để truy cập khối trước, lần lượt quay ngược về khối khởi nguyên. Cách này đòi hỏi lượng lớn tính toán trên chuỗi và rất nhiều Calldata. Do yêu cầu lượng tính toán khổng lồ trên chuỗi, phương pháp này hoàn toàn không thực tế. Aragon đã thử nghiệm phương pháp trên chuỗi vào năm 2018 nhưng thất bại do chi phí quá cao.
-
Sử dụng bằng chứng không kiến thức (zero-knowledge proof): Phương pháp tương tự xử lý trên chuỗi, nhưng khác ở chỗ sử dụng ZKP để chuyển tính toán phức tạp ra ngoài chuỗi.
Truy cập dữ liệu trong cùng chuỗi: Có thể sử dụng bằng chứng không kiến thức để khẳng định rằng tiêu đề khối lịch sử bất kỳ là tổ tiên của một trong 256 tiêu đề khối gần nhất có thể truy cập trong môi trường thực thi. Một cách khác là lập chỉ mục toàn bộ lịch sử chuỗi nguồn và tạo bằng chứng không kiến thức để chứng minh việc lập chỉ mục đã hoàn thành chính xác. Bằng chứng này được cập nhật định kỳ khi có khối mới trên chuỗi nguồn.
-
Truy cập dữ liệu liên chuỗi: Nhà cung cấp thu thập tiêu đề khối chuỗi nguồn trên chuỗi đích và sử dụng bằng chứng đồng thuận không kiến thức để chứng minh tính hợp lệ của các tiêu đề khối này. Cũng có thể sử dụng các giải pháp truyền tin liên chuỗi hiện có như Axelar, Celer hoặc LayerZero để truy vấn tiêu đề khối.
-
Duy trì bộ đệm hash tiêu đề khối chuỗi nguồn trên chuỗi, hoặc root hash của bộ tích lũy hash khối ngoài chuỗi. Bộ đệm này được cập nhật định kỳ, dùng để chứng minh hiệu quả trên chuỗi rằng một khối đã tồn tại và có liên kết mã hóa với hash khối gần nhất có thể truy cập từ trạng thái. Quá trình này gọi là chứng minh tính liên tục của chuỗi. Cũng có thể dùng một blockchain chuyên dụng để lưu trữ tất cả tiêu đề khối của chuỗi nguồn.
-
Theo yêu cầu từ Dapp trên chuỗi đích, truy cập dữ liệu lịch sử/khối từ dữ liệu lập chỉ mục ngoài chuỗi hoặc bộ đệm trên chuỗi (tùy độ phức tạp của yêu cầu). Hash tiêu đề khối được duy trì trên chuỗi, trong khi dữ liệu thực tế có thể được lưu trữ ngoài chuỗi.
-
Kiểm tra sự tồn tại của dữ liệu trong khối được chỉ định thông qua bằng chứng bao gồm Merkle và tạo bằng chứng không kiến thức cho việc này. Bằng chứng này được kết hợp với bằng chứng không kiến thức về việc lập chỉ mục đúng cách hoặc bằng chứng đồng thuận không kiến thức, rồi cung cấp trên chuỗi để xác minh không cần tin tưởng.
-
Sau đó Dapp có thể xác minh bằng chứng trên chuỗi và sử dụng dữ liệu để thực hiện thao tác mong muốn. Ngoài việc xác minh bằng chứng không kiến thức, các tham số công khai (như số khối và hash khối) cũng được kiểm tra với bộ đệm tiêu đề khối được duy trì trên chuỗi.
Các dự án áp dụng phương pháp này bao gồm Herodotus, Lagrange, Axiom, HyperOracle, Brevis Network và nil Foundation. Mặc dù đang có những nỗ lực lớn để giúp ứng dụng nhận thức trạng thái trên nhiều blockchain, IBC (giao tiếp liên chuỗi) nổi bật như một tiêu chuẩn tương tác, hỗ trợ ứng dụng sử dụng ICQ (truy vấn liên chuỗi) và ICA (tài khoản liên chuỗi). ICQ cho phép ứng dụng trên Chuỗi A truy vấn trạng thái Chuỗi B bằng cách bao gồm truy vấn trong gói IBC đơn giản, ICA cho phép một blockchain kiểm soát an toàn tài khoản trên blockchain khác. Kết hợp chúng lại có thể hỗ trợ các trường hợp sử dụng liên chuỗi thú vị. Các nhà cung cấp RaaS như Saga sẽ mặc định tích hợp IBC để cung cấp các chức năng này cho mọi chuỗi ứng dụng.
Bằng chứng lưu trữ có thể được tối ưu hóa theo nhiều cách để tìm điểm cân bằng tốt nhất giữa tiêu thụ bộ nhớ, thời gian chứng minh, thời gian xác minh, hiệu quả tính toán và trải nghiệm nhà phát triển. Toàn bộ quá trình có thể được chia sơ bộ thành ba tiểu quy trình chính:
-
Truy cập dữ liệu;
-
Xử lý dữ liệu;
-
Tạo bằng chứng không kiến thức cho việc truy cập và xử lý dữ liệu.
Truy cập dữ liệu: Trong tiểu quy trình này, nhà cung cấp dịch vụ truy cập tiêu đề khối chuỗi nguồn theo cách bản địa tại lớp thực thi, hoặc thông qua việc duy trì bộ đệm trên chuỗi. Đối với truy cập dữ liệu liên chuỗi, cần xác minh đồng thuận chuỗi nguồn trên chuỗi đích. Các phương pháp và tối ưu hóa bao gồm:
-
Blockchain Ethereum hiện có: Có thể tận dụng cấu trúc hiện tại của blockchain Ethereum, sử dụng bằng chứng không kiến thức để chứng minh giá trị của bất kỳ ô lưu trữ lịch sử nào so với tiêu đề khối hiện tại. Điều này có thể xem như một bằng chứng bao gồm lớn. Nói cách khác, cho tiêu đề khối X ở độ cao b, tồn tại tiêu đề khối Y ở độ cao b-k là tổ tiên của X. Điều này dựa trên an ninh đồng thuận Ethereum, đòi hỏi hệ thống chứng minh hiệu quả. Đây là phương pháp Lagrange đang áp dụng.
-
Bộ đệm Merkle Mountain Ranges (MMR) trên chuỗi: Merkle Mountain Range có thể được coi là danh sách các cây Merkle, kết hợp lại khi hai cây đạt cùng kích thước. Các cây Merkle đơn lẻ trong MMR được kết hợp bằng cách thêm nút cha vào gốc trước đó của cây. MMR tương tự cây Merkle nhưng có một số lợi thế bổ sung, như hiệu quả trong việc thêm phần tử mới và truy vấn dữ liệu hiệu quả, đặc biệt khi đọc dữ liệu tuần tự từ tập dữ liệu lớn. Việc thêm tiêu đề mới qua cây Merkle yêu cầu truyền tất cả các nút chị em ở mỗi cấp. Để thêm dữ liệu hiệu quả, Axiom sử dụng MMR để duy trì bộ đệm hash tiêu đề khối trên chuỗi. Herodotus lưu trữ root hash của bộ tích lũy hash khối MMR trên chuỗi. Điều này cho phép họ kiểm tra dữ liệu thu được thông qua bằng chứng bao gồm với các hash tiêu đề khối này. Phương pháp này cần cập nhật định kỳ bộ đệm, nếu không phi tập trung sẽ gây ra vấn đề về tính sẵn sàng.
-
Để tối ưu hiệu quả và chi phí tính toán, Herodotus duy trì hai MMR khác nhau. Theo blockchain hoặc lớp cụ thể, bộ tích lũy có thể được tùy chỉnh với các hàm băm khác nhau. Khi chứng minh cho Starknet có thể dùng hàm băm poseidon, nhưng với các chuỗi EVM thì dùng Keccak.
-
Bộ đệm MMR ngoài chuỗi: Herodotus duy trì bộ đệm ngoài chuỗi cho các truy vấn và kết quả đã thu thập trước đó, để truy xuất nhanh hơn khi dữ liệu được yêu cầu lại. Điều này đòi hỏi cơ sở hạ tầng nhiều hơn so với chỉ chạy nút lưu trữ. Tối ưu trên cơ sở hạ tầng ngoài chuỗi tiềm năng có thể giảm chi phí cho người dùng cuối.
-
Blockchain chuyên dụng để lưu trữ: Brevis dựa vào rollup không kiến thức chuyên dụng (lớp tổng hợp) để lưu trữ tất cả tiêu đề khối của mọi chuỗi mà nó chứng minh. Nếu không có lớp tổng hợp này, mỗi chuỗi cần lưu trữ tiêu đề khối của mọi chuỗi khác, dẫn đến O(N²) "kết nối" cho N blockchain. Bằng cách giới thiệu lớp tổng hợp, mỗi blockchain chỉ cần lưu trữ root trạng thái của rollup, giảm tổng kết nối xuống O(N). Lớp này cũng dùng để tổng hợp nhiều bằng chứng tiêu đề khối/kết quả truy vấn và gửi một bằng chứng xác minh đơn lên mỗi blockchain kết nối.
-
Truyền tin L1-L2: Vì L2 hỗ trợ truyền tin bản địa để cập nhật hợp đồng L2 qua L1, nên có thể tránh xác minh đồng thuận chuỗi nguồn. Bộ đệm có thể được cập nhật trên Ethereum, và truyền tin L1-L2 có thể dùng để gửi hash khối hoặc root cây đã biên dịch ngoài chuỗi đến các L2 khác. Herodotus đang áp dụng phương pháp này, nhưng điều này không khả thi với alt L1.
Xử lý dữ liệu:
Ngoài truy cập dữ liệu, hợp đồng thông minh cũng nên có khả năng thực hiện các phép tính tùy ý trên dữ liệu. Mặc dù một số trường hợp sử dụng có thể không cần tính toán, nhưng với nhiều trường hợp khác, đây là một dịch vụ giá trị bổ sung quan trọng. Nhiều nhà cung cấp dịch vụ hỗ trợ tính toán dữ liệu dưới dạng bằng chứng không kiến thức và cung cấp bằng chứng đó trên chuỗi để xác minh tính hợp lệ. Vì các giải pháp truyền tin liên chuỗi hiện có như Axelar, LayerZero, Polyhedra Network có thể được dùng cho truy cập dữ liệu, nên xử lý dữ liệu có thể trở thành điểm khác biệt của các nhà cung cấp dịch vụ bằng chứng lưu trữ.
Ví dụ, HyperOracle cho phép nhà phát triển định nghĩa phép tính tùy chỉnh ngoài chuỗi bằng JavaScript. Brevis thiết kế một thị trường động cơ truy vấn không kiến thức mở, chấp nhận truy vấn dữ liệu từ Dapp và xử lý chúng với tiêu đề khối đã được chứng minh. Hợp đồng thông minh gửi truy vấn dữ liệu, được các bên chứng minh trong thị trường thu nhận. Bên chứng minh tạo bằng chứng dựa trên đầu vào truy vấn, tiêu đề khối liên quan (từ lớp tổng hợp Brevis) và kết quả. Lagrange giới thiệu bộ công cụ big data không kiến thức, dùng để chứng minh các mô hình lập trình phân tán như SQL, MapReduce và Spark/RDD. Các bằng chứng này mang tính mô-đun, có thể được tạo từ bất kỳ tiêu đề khối nào của các cầu nối liên chuỗi và giao thức truyền tin hiện có. Sản phẩm đầu tiên của bộ công cụ big data không kiến thức Lagrange là zero-knowledge MapReduce — một động cơ tính toán phân tán để chứng minh kết quả tính toán liên quan đến lượng lớn dữ liệu đa chuỗi (dựa trên mô hình lập trình MapReduce nổi tiếng). Ví dụ, một bằng chứng zero-knowledge MapReduce đơn lẻ có thể chứng minh sự thay đổi thanh khoản trên DEX được triển khai trên 4-5 chuỗi trong một cửa sổ thời gian nhất định. Với các truy vấn đơn giản, phép tính cũng có thể được thực hiện trực tiếp trên chuỗi như Herodotus hiện đang làm.
Tạo bằng chứng:
-
Bằng chứng có thể cập nhật: Khi cần tính toán luồng khối di động và duy trì bằng chứng hiệu quả, có thể sử dụng bằng chứng có thể cập nhật. Khi khối mới được tạo, để duy trì bằng chứng trung bình di động cho biến trên chuỗi (ví dụ giá token), có thể cập nhật hiệu quả bằng chứng hiện có mà không cần tính lại hoàn toàn. Để chứng minh tính toán song song dữ liệu trạng thái động trên chuỗi, Lagrange xây dựng một cam kết vector nhóm trên một phần của MPT, gọi là Recproof, cập nhật theo thời gian thực và thực hiện tính toán động trên đó. Bằng cách đệ quy tạo cây Verkle trên MPT, Lagrange có thể tính toán hiệu quả lượng lớn dữ liệu trạng thái động trên chuỗi.
-
Cây Verkle: Khác với cây Merkle, vốn cần cung cấp tất cả các nút có cùng nút cha, cây Verkle chỉ cần đường dẫn gốc. Đường dẫn này nhỏ hơn nhiều so với tất cả các nút chị em trong cây Merkle. Ethereum cũng đang cân nhắc sử dụng cây Verkle trong các phiên bản tương lai để giảm thiểu lượng trạng thái mà nút đầy đủ cần giữ. Brevis tận dụng cây Verkle để lưu trữ tiêu đề khối và kết quả truy vấn đã được chứng minh trên lớp tổng hợp. Nó làm giảm đáng kể kích thước bằng chứng bao gồm dữ liệu, đặc biệt khi cây chứa nhiều phần tử, và hỗ trợ bằng chứng bao gồm dữ liệu hàng loạt hiệu quả.
-
Giám sát mempool để tăng tốc tạo bằng chứng: Herodotus gần đây đã ra mắt turbo, cho phép nhà phát triển thêm vài dòng mã trong code hợp đồng thông minh để chỉ định truy vấn dữ liệu. Herodotus giám sát mempool các giao dịch hợp đồng tương tác với hợp đồng turbo. Khi giao dịch nằm trong mempool, quá trình tạo bằng chứng bắt đầu. Ngay khi bằng chứng được tạo và xác minh trên chuỗi, kết quả được ghi vào hợp đồng hoán đổi turbo trên chuỗi. Chỉ sau khi được xác thực bằng bằng chứng lưu trữ, kết quả mới được ghi vào hợp đồng hoán đổi turbo. Khi điều này xảy ra, một phần phí giao dịch được chia sẻ với bộ sắp xếp (sequencer) hoặc người tạo khối, khuyến khích họ chờ lâu hơn để thu phí. Với các truy vấn dữ liệu đơn giản, dữ liệu yêu cầu có thể sẵn có trên chuỗi trước cả khi giao dịch của người dùng được đưa vào khối.
Ứng dụng của bằng chứng trạng thái/lưu trữ
Bằng chứng trạng thái và lưu trữ có thể mở khóa nhiều trường hợp sử dụng mới cho hợp đồng thông minh ở lớp ứng dụng, lớp trung gian và lớp cơ sở hạ tầng. Một số trong đó là:
Lớp ứng dụng:
Quản trị:
-
Bỏ phiếu liên chuỗi: Giao thức bỏ phiếu trên chuỗi có thể cho phép người dùng trên Chuỗi B chứng minh việc sở hữu tài sản trên Chuỗi A. Người dùng không cần cầu nối tài sản để có quyền biểu quyết trên chuỗi mới. Ví dụ: SnapshotX trên Herodotus
-
Phân phối token quản trị: Ứng dụng có thể phân phối thêm token quản trị cho người dùng tích cực hoặc người dùng sớm. Ví dụ: RetroPGF trên Lagrange.
Danh tính và uy tín:
-
Bằng chứng sở hữu: Người dùng có thể chứng minh sở hữu một NFT, SBT hoặc tài sản trên chuỗi A, từ đó thực hiện thao tác nhất định trên chuỗi B. Ví dụ: một chuỗi ứng dụng trò chơi có thể quyết định phát hành bộ sưu tập NFT của mình trên các chuỗi có thanh khoản hiện tại như Ethereum hoặc bất kỳ L2 nào. Điều này cho phép trò chơi tận dụng thanh khoản hiện có ở nơi khác mà không thực sự cần NFT liên chuỗi.
-
Bằng chứng sử dụng: Người dùng có thể được giảm giá hoặc tính năng nâng cao dựa trên lịch sử sử dụng nền tảng (chứng minh đã giao dịch X lượng trên Uniswap).
-
Bằng chứng OG: Người dùng có thể chứng minh họ sở hữu một tài khoản hoạt động với số ngày vượt quá X ngày.
-
Điểm tín dụng trên chuỗi: Một nền tảng điểm tín dụng liên chuỗi có thể tổng hợp dữ liệu từ nhiều tài khoản của một người dùng để tạo điểm tín dụng.
Tất cả các bằng chứng trên đều có thể được dùng để cung cấp trải nghiệm tùy chỉnh cho người dùng. Dapp có thể cung cấp giảm giá hoặc đặc quyền để giữ chân các trader hoặc người dùng dày dạn kinh nghiệm, đồng thời cung cấp trải nghiệm đơn giản hơn cho người mới.
DeFi:
-
Cho vay liên chuỗi: Người dùng có thể khóa tài sản trên chuỗi A và vay tiền trên chuỗi B mà không cần cầu nối token.
-
Bảo hiểm trên chuỗi: Có thể xác định sự cố bằng cách truy cập dữ liệu lịch sử trên chuỗi, và chi trả bảo hiểm có thể hoàn toàn diễn ra trên chuỗi.
-
Giá trung bình theo thời gian có trọng số của tài sản trong bể: Ứng dụng có thể tính và lấy giá trung bình của tài sản trong bể AMM trong khoảng thời gian nhất định. Ví dụ: Oracle Uniswap TWAP trên Axiom.
-
Định giá quyền chọn: Giao thức quyền chọn trên chuỗi có thể sử dụng biến động của tài sản trên sàn giao dịch phi tập trung trong n khối gần nhất để định giá quyền chọn.
Hai trường hợp sử dụng cuối cùng sẽ cần cập nhật bằng chứng khi có khối mới được thêm vào chuỗi nguồn.
Lớp trung gian:
-
Ý định (Intent): Bằng chứng lưu trữ sẽ cho phép người dùng thể hiện ý định rõ ràng và biểu cảm hơn. Mặc dù nhiệm vụ của solver là thực hiện các bước cần thiết để đáp ứng ý định, người dùng có thể chỉ định điều kiện rõ ràng hơn dựa trên dữ liệu và tham số trên chuỗi. Solver cũng có thể chứng minh tính hợp lệ của dữ liệu trên chuỗi mà nó sử dụng để tìm ra giải pháp tối ưu.
-
Trừu tượng tài khoản (Account abstraction): Người dùng có thể tận dụng bằng chứng lưu trữ để thiết lập quy tắc dựa trên dữ liệu từ các chuỗi khác. Ví dụ: mỗi ví đều có một nonce. Chúng ta có thể chứng minh rằng một năm trước nonce là một số cụ thể, và hiện tại nonce vẫn giống vậy. Điều này có thể được dùng để chứng minh ví này chưa từng được sử dụng, từ đó ủy quyền quyền truy cập ví cho một ví khác.
-
Tự động hóa trên chuỗi: Hợp đồng thông minh có thể tự động thực hiện thao tác nhất định dựa trên điều kiện đã định trước phụ thuộc vào dữ liệu trên chuỗi. Các chương trình tự động cần gọi định kỳ hợp đồng thông minh để duy trì dòng giá tối ưu cho AMM hoặc giữ cho giao thức cho vay khỏe mạnh bằng cách tránh nợ xấu. HyperOracle hỗ trợ cả tự động hóa và truy cập dữ liệu trên chuỗi.
Cơ sở hạ tầng
-
Oracle trên chuỗi không cần tin tưởng: Mạng oracle phi tập trung tổng hợp phản hồi từ nhiều nút oracle riêng lẻ trong mạng. Mạng oracle có thể loại bỏ sự dư thừa này, tận dụng an ninh mã hóa để đạt được dữ liệu trên chuỗi. Mạng oracle có thể tập hợp dữ liệu từ nhiều chuỗi (L1, L2 và alt L1) vào một chuỗi duy nhất và đơn giản dùng bằng chứng lưu trữ để chứng minh sự tồn tại ở nơi khác. Các giải pháp DeFi tiên tiến cũng có thể dùng giải pháp tùy chỉnh. Ví dụ, nhà cung cấp staking lớn nhất Lido Finance đã hợp tác với Nil Foundation để tài trợ phát triển zkOracle. Các giải pháp này sẽ cho phép truy cập dữ liệu lịch sử EVM một cách không cần tin tưởng và bảo vệ 15 tỷ USD thanh khoản ETH đã stake của Lido Finance.
-
Giao thức truyền tin liên chuỗi: Các giải pháp truyền tin liên chuỗi hiện có có thể tăng khả năng biểu đạt thông điệp bằng cách hợp tác với các nhà cung cấp dịch vụ bằng chứng lưu trữ. Đây là phương pháp được Lagrange đề xuất trong bài luận mô-đun của họ.
Kết luận
Nhận thức giúp các công ty công nghệ phục vụ khách hàng tốt hơn. Từ danh tính người dùng, hành vi mua hàng đến các mối quan hệ xã hội, các công ty công nghệ tận dụng nhận thức để mở khóa các chức năng như định vị chính xác, phân khúc khách hàng và marketing lan truyền. Các công ty công nghệ truyền thống cần sự cho phép rõ ràng từ người dùng và phải hành xử thận trọng khi quản lý dữ liệu người dùng. Tuy nhiên, trên blockchain được cấp phép, mọi dữ liệu người dùng đều công khai và không nhất thiết tiết lộ danh tính. Hợp đồng thông minh nên có khả năng tận dụng dữ liệu công khai để phục vụ người dùng tốt hơn. Sự phát triển và áp dụng của các hệ sinh thái chuyên biệt hơn sẽ khiến nhận thức trạng thái xuyên thời gian và xuyên chuỗi trở thành vấn đề ngày càng quan trọng. Bằng chứng lưu trữ có thể giúp Ethereum nổi lên như một lớp danh tính và sở hữu tài sản, chứ không chỉ là một lớp thanh toán. Người dùng có thể duy trì danh tính và tài sản chính của mình trên Ethereum, sử dụng chúng trên nhiều blockchain mà không cần luôn luôn cầu nối tài sản. Chúng tôi rất háo hức trước những khả năng và trường hợp sử dụng mới sẽ được mở khóa trong tương lai.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
@LongHashVC
