Nghiên cứu sâu về The Graph - phần 2

Link bài viết gốc :https://thegraph.com/blog/the-graph-network-in-depth-part-2

Đây là phần thứ hai của bài đăng gồm hai phần khám phá thiết kế của The Graph Network. Bạn có thể đọc phần một tại đây.

Trong bài đầu tiên, chúng tôi đã giới thiệu tổng quan về Mạng đồ thị là gì và cách nó hoạt động ở cấp độ cao.

Trong bài đăng này, chúng tôi sẽ đi sâu hơn về một số khái niệm chính, bao gồm cách Mã thông báo đồ thị được sử dụng để đặt cọc, quản lý và phần thưởng lạm phát cho người lập chỉ mục. Tôi cũng sẽ giới thiệu Graph Explorer phi tập trung — một dApp để tương tác với The Graph Network — và mô tả các lớp xác minh và thanh toán của chúng tôi.

Đánh dấu chỉ mục​

Biểu đồ áp dụng mô hình mã thông báo công việc , trong đó Người lập chỉ mục phải đặt cược Mã thông báo biểu đồ để bán dịch vụ của họ trên thị trường truy vấn. Điều này phục vụ hai chức năng chính.

• Nó cung cấp sự an toàn về kinh tế, vì GRT đã đặt cọc có thể bị cắt nếu Người lập chỉ mục thực hiện công việc của họ một cách ác ý. Sau khi GRT được đặt cọc, nó chỉ có thể được rút lại tùy theo một khoảng thời gian làm tan băng , tạo cơ hội phong phú cho việc xác minh và giải quyết tranh chấp.
• Nó cung cấp một cơ chế kháng Sybil . Việc có các Chỉ mục giả hoặc chất lượng thấp trên một đồ thị con nhất định khiến việc tìm kiếm các nhà cung cấp dịch vụ chất lượng chậm hơn. Vì lý do này, chúng tôi chỉ muốn những người lập chỉ mục có skin trong trò chơi có thể phát hiện được.

Để các cơ chế trên hoạt động chính xác, điều quan trọng là Người lập chỉ mục phải được khuyến khích nắm giữ GRT gần tương ứng với lượng công việc hữu ích mà họ đang làm trong mạng.

Một cách tiếp cận đơn giản là cố gắng làm cho nó sao cho mỗi GRT đặt cược cho phép Người lập chỉ mục thực hiện một lượng công việc cụ thể trên mạng. Có hai vấn đề với điều này: thứ nhất, nó đặt giới hạn trên tùy ý về khối lượng công việc mà mạng có thể thực hiện; và thứ hai, gần như không thể thực thi theo cách có thể mở rộng, vì nó sẽ yêu cầu tất cả công việc phải được điều phối tập trung trên chuỗi.

Một cách tiếp cận tốt hơn đã được nhóm tại 0x tiên phong và nó bao gồm việc thu phí giao thức trên tất cả các giao dịch trong giao thức, sau đó hoàn lại các khoản phí đó cho người tham gia như một chức năng của tỷ lệ cổ phần của họ và phí tỷ lệ thu được cho mạng, bằng cách sử dụng Hàm sản xuất Cobb-Douglas .

Trong xây dựng của chúng tôi, giảm giá Y i một Indexer tôi nhận được trong một khoảng thời gian là

trong đó ω ij là số tiền mà Người lập chỉ mục tôi đã đặt cược trên đoạn con j , Ω là tổng số tiền đặt cược trong mạng, θ ij là số tiền phí giao thức Người lập chỉ mục tôi đã tạo cho giao thức trên đoạn phụ j và Θ là tổng số tiền phí giao thức do giao thức thu.

Tôi khuyên bạn nên đọc bài báo - nhưng điều thú vị đối với mục đích của chúng tôi là ở trạng thái cân bằng, một người ra quyết định hợp lý sẽ phải lập ngân sách một tỷ lệ chi tiêu ổn định giữa hai yếu tố đầu vào cho chức năng sản xuất. Trong trường hợp của chúng tôi, đó sẽ là chi phí thuê hoặc sở hữu GRT và chi phí hoạt động liên quan đến việc chạy Nút đồ thị cho phép Người lập chỉ mục thực hiện nhiều công việc hơn và bằng cách mở rộng thu thêm phí giao thức.

Bởi vì chúng tôi mong đợi tất cả những Người lập chỉ mục hợp lý đưa ra quyết định lập ngân sách tương đương, ở trạng thái cân bằng, chúng ta nên mong đợi Người lập chỉ mục đóng góp một tỷ lệ trong tổng GRT đặt cọc, bằng với tỷ lệ công việc họ đã thực hiện cho mạng .

Cái hay là việc phân phối cổ phần này không cần phải được thực thi trong giao thức, mà thay vào đó, nó phát sinh một cách tự nhiên từ việc Người lập chỉ mục đưa ra quyết định vì lợi ích kinh tế tốt nhất của họ.

Tín hiệu giám tuyển​

Để người tiêu dùng truy vấn một đồ thị con, trước tiên đồ vật con đó phải được lập chỉ mục — một quá trình có thể mất hàng giờ hoặc thậm chí hàng ngày. Nếu Người lập chỉ mục phải đoán một cách mù quáng họ sẽ lập chỉ mục mục nào nếu không có cơ hội kiếm được phí truy vấn, thì thị trường sẽ không hiệu quả lắm.

Người quản lý báo hiệu là quá trình đưa GRT vào một đường cong liên kết cho một đồ thị con để chỉ ra cho Người lập chỉ mục rằng đồ thị con nên được lập chỉ mục.

Người lập chỉ mục có thể tin tưởng vào tín hiệu bởi vì khi người quản lý gửi GRT vào đường cong liên kết, họ sẽ đưa ra tín hiệu quản lý cho đoạn con tương ứng, cho phép họ hưởng một phần phí truy vấn trong tương lai được thu trên đoạn con đó. Người quản lý quan tâm đến bản thân một cách hợp lý nên báo hiệu GRT về các đồ thị con mà họ dự đoán sẽ tạo ra phí cho mạng.

Sử dụng các đường cong liên kết — một loại nhà tạo lập thị trường theo thuật toán nơi giá được xác định bởi một hàm — có nghĩa là càng nhiều tín hiệu phân loại được tạo ra, thì tỷ giá hối đoái giữa GRT và tín hiệu phân loại càng cao. Do đó, những người quản lý thành công có thể thu lợi nhuận ngay lập tức nếu họ cảm thấy rằng giá trị của phí giám tuyển trong tương lai đã được định giá chính xác. Tương tự, họ nên rút GRT của mình nếu họ cảm thấy rằng thị trường đã định giá giá trị của tín hiệu giám tuyển quá cao.

Động lực này có nghĩa là lượng GRT được báo hiệu cho một đồ thị con sẽ cung cấp một tín hiệu thị trường liên tục và có giá trị như dự đoán của thị trường về khối lượng truy vấn trong tương lai trên đồ thị con.

Phần thưởng cho người lập chỉ mục lạm phát​

Một cơ chế khác mà chúng tôi sử dụng liên quan đến tín hiệu của người lập chỉ mục và người quản lý là phần thưởng lạm phát của người lập chỉ mục .

Phần thưởng này nhằm khuyến khích Người lập chỉ mục lập chỉ mục các trang con chưa có khối lượng truy vấn đáng kể. Điều này giúp giải quyết vấn đề khởi động cho các đồ thị con mới, có thể không có nhu cầu sẵn có để thu hút Người lập chỉ mục.

Cách hoạt động là mỗi đồ thị con trong mạng được phân bổ một phần của tổng phần thưởng lạm phát mạng, dựa trên số lượng tỷ lệ của tổng tín hiệu quản lý mà đồ thị con có. Đến lượt mình, số tiền đó được chia cho tất cả những Người lập chỉ mục đặt cược trên trang con đó tỷ lệ với số tiền đã đóng góp của họ.

Chính thức hơn, phần thưởng lạm phát của người lập chỉ mục cho Người lập chỉ mục tôi là

trong đó ω ij là số tiền mà Người lập chỉ mục tôi đã đặt cược trên đồ thị con j, Ω j là tổng số tiền đặt cược trên đồ thị con j, ψ j là lượng GRT được báo hiệu cho đồ thị con j, Ψ là tổng số tiền được báo hiệu trong mạng và Φ là tổng phần thưởng lạm phát mạng được tính bằng GRT.

Đặt tỷ lệ lạm phát động theo cách tối ưu là một lĩnh vực đang được nghiên cứu, nhưng đủ để nói rằng nó sẽ ở mức thấp, rất có thể là một con số.

Cơ chế này cung cấp thêm động lực cho Người lập chỉ mục để phản hồi lại tín hiệu do người quản lý cung cấp, làm cho việc quản lý trở thành một hoạt động hữu ích hơn nữa để tham gia.

Về lâu dài, chúng tôi mong đợi những Người lập chỉ mục hợp lý sẽ đặt GRT vào các đồ thị con, nơi họ sẽ kiếm được phần thưởng lạm phát và kiếm được phí truy vấn. Tuy nhiên, trong những ngày đầu của mạng lưới, có một động cơ khuyến khích Người lập chỉ mục đặt cược nhưng không thực sự làm công việc lập chỉ mục và phục vụ truy vấn trên bất kỳ đồ thị con nào.

Vì lý do đó, trong giai đoạn khởi động, sẽ có một dịch vụ giám sát chỉ mục được thiết lập thông qua quản trị giao thức. Dịch vụ này có quyền thêm Người lập chỉ mục vào danh sách đen nếu chúng được phát hiện là không có sẵn để phục vụ các truy vấn trên các trang con mà chúng được đặt vào.

Bởi vì có những lý do chính đáng để trở nên không khả dụng, hình phạt duy nhất cho việc đưa vào danh sách đen là bạn không đủ điều kiện nhận phần thưởng lạm phát cho đến khi bạn bị xóa. Bị đưa vào danh sách đen sẽ không bị chặt chém.

Graph Explorer và Graph Name Service​

Quản lý các đồ thị con cho Người lập chỉ mục chỉ là một nửa của câu chuyện khi nói đến việc hiển thị các đồ thị con có giá trị. Chúng tôi cũng muốn hiển thị các trang con có giá trị cho các nhà phát triển .

Đây là một trong những đề xuất giá trị cốt lõi của The Graph — để giúp các nhà phát triển tìm thấy dữ liệu hữu ích để xây dựng và dễ dàng kết hợp dữ liệu từ nhiều giao thức cơ bản và nguồn dữ liệu phi tập trung vào một ứng dụng duy nhất.

Hiện tại, các nhà phát triển thực hiện điều này bằng cách điều hướng đến Graph Explorer:

Trong Mạng Đồ thị, Trình khám phá Đồ thị sẽ là một dApp, được xây dựng trên một đồ thị con lập chỉ mục các hợp đồng thông minh Giao thức Đồ thị (meta, tôi biết!) - bao gồm Dịch vụ Tên Đồ thị (GNS), một cơ quan đăng ký trên chuỗi các đồ thị con.

Một biểu đồ con được xác định bởi một tệp kê khai biểu đồ con, không thể thay đổi và được lưu trữ trên IPFS. Tính bất biến rất quan trọng để có các truy vấn xác định và có thể lặp lại để xác minh và giải quyết tranh chấp. GNS thực hiện một vai trò rất cần thiết bằng cách cho phép các nhóm đính kèm tên vào một đồ thị con, sau đó có thể được sử dụng để trỏ đến các “phiên bản” đồ thị con bất biến liên tiếp.

Những tên có thể đọc được của con người này, cùng với siêu dữ liệu khác được lưu trữ trong GNS, cho phép người dùng Graph Explorer hiểu rõ hơn về mục đích và tiện ích có thể có của một đồ thị con theo cách mà một chuỗi ký tự chữ và số ngẫu nhiên và mã byte WASM đã biên dịch không .

Trong Mạng đồ thị, việc khám phá các đồ thị con hữu ích sẽ còn quan trọng hơn, vì chúng tôi sẽ vận chuyển thành phần đồ thị con. Thay vì chỉ để các dApp xây dựng trên nhiều đồ thị con riêng biệt, thành phần đồ thị con sẽ cho phép xây dựng các đồ thị con hoàn toàn mới tham chiếu trực tiếp đến các thực thể từ các đồ thị con hiện có.

Việc tái sử dụng cùng một đồ thị con trên nhiều dApp và các đồ thị con khác là một trong những hiệu quả cốt lõi mà Đồ thị mở ra. So sánh cách tiếp cận này với tình trạng hiện tại của thế giới, nơi mỗi ứng dụng mới triển khai cơ sở dữ liệu và máy chủ API của riêng chúng, vốn thường không được sử dụng hết.

Micropayments có điều kiện​

Lớp thanh toán của chúng tôi được thiết kế để giảm thiểu sự tin tưởng giữa người tiêu dùng và Người lập chỉ mục. Kênh thanh toán là một công nghệ đã được phát triển cho các khoản thanh toán có thể mở rộng, ngoài chuỗi, giảm thiểu sự tin cậy. Nó liên quan đến việc hai bên khóa các khoản tiền trên chuỗi trong một giao dịch ký quỹ trong đó các khoản tiền chỉ có thể được sử dụng để trao đổi tiền ngoài chuỗi giữa họ cho đến khi một giao dịch được gửi trên chuỗi để rút tiền từ ký quỹ.

Theo truyền thống, các thiết kế kênh thanh toán đã nhấn mạnh đến việc gửi một khoản thanh toán nhỏ ngoài chuỗi một cách an toàn mà không quan tâm đến việc dịch vụ hoặc hàng hóa được thanh toán có thực sự được nhận hay không.

Tuy nhiên, đã có một số công việc hướng tới hoán đổi nguyên tử của các khoản thanh toán vi mô cho một số tính toán kỹ thuật số tốt hoặc thuê ngoài, mà chúng tôi xây dựng trên đây. Chúng tôi gọi công trình xây dựng của chúng tôi là WAVE Locks. WAVE là viết tắt của công việc, chứng thực, xác minh, hết hạn và thiết kế chung như sau:

1. Làm việc . Người tiêu dùng gửi một khoản thanh toán vi mô bị khóa với mô tả về công việc sẽ được thực hiện. Đặc điểm kỹ thuật này của công việc hoạt động như một khóa trên vi thanh toán.
2. Chứng thực . Một nhà cung cấp dịch vụ phản hồi với hàng hóa kỹ thuật số hoặc dịch vụ được yêu cầu cùng với một chứng thực có chữ ký rằng công việc được thực hiện đúng.
3. Xác minh . Chứng thực được xác minh bằng một số phương pháp xác minh. Có thể bị phạt, chẳng hạn như chém, vì đã chứng thực công việc được thực hiện không chính xác.
4. Hết hạn . Nhà cung cấp dịch vụ phải nhận được xác nhận đã nhận từ người tiêu dùng hoặc gửi chứng thực của họ trên chuỗi để nhận khoản thanh toán vi mô của họ trước khi khoản thanh toán vi mô bị khóa hết hạn.

Sử dụng khóa với các kênh thanh toán không phải là mới. Cả hai bài báo của Lightning và Raiden đều thảo luận về việc sử dụng preimage băm để mở khóa một vi thanh toán. Điều này đặc biệt hữu ích đối với các thanh toán vi mô nhiều bước nhảy trong đó mỗi “bước nhảy” được khóa bằng cùng một hàm băm và có thể được mở khóa bằng một giá trị, preimage, tạo ra hàm băm đó khi đầu vào một hàm băm cụ thể.

Mặc dù chúng tôi có thể triển khai giải pháp kênh thanh toán của riêng mình, được xây dựng có mục đích với cơ chế khóa mới này, nhưng một giải pháp thực dụng hơn là sử dụng các kênh nhà nước.

Chúng ta có thể nghĩ rằng các kênh nhà nước là các kênh thanh toán, các blockchain hợp đồng thông minh như Ethereum là gì đối với Bitcoin. Họ có thể xử lý trường hợp sử dụng thanh toán đơn giản nhưng cũng có thể mã hóa các chuyển đổi trạng thái phức tạp hơn trong khi vẫn giữ nguyên khả năng mở rộng và các thuộc tính bảo mật như một kênh thanh toán.

Tuy nhiên, điểm chung của kênh thanh toán và kênh nhà nước là ở hình thức cơ bản nhất, chúng là phương tiện trao đổi giá trị hoặc cập nhật trạng thái giữa hai bên tham gia, được biết trước về thời hạn. Như đã đề cập ở trên với các thanh toán vi mô đa bước, việc gửi giữa hai người tham gia bất kỳ yêu cầu có thể tạo thành một chuỗi các kênh thanh toán trên nhiều người tham gia khác, kết nối hai người tham gia ban đầu.

Có rất nhiều dự án thông minh đang làm việc trên các hình thức truyền tải biểu đồ khác nhau để tạo điều kiện cho các khoản thanh toán vi mô này giữa bất kỳ hai người tham gia tùy ý nào. Để đơn giản, Graph Network ban đầu sẽ sử dụng một cấu trúc liên kết và cấu trúc liên kết được nói.

Điều này có nghĩa là để sử dụng The Graph, người tiêu dùng sẽ cần có kênh trạng thái mở trên chuỗi với trung tâm kênh trạng thái, được tải bằng mã thông báo ổn định hoặc ETH ưa thích của họ. Trong khi đó, Indexers cũng sẽ cần phải mở kênh trạng thái với trung tâm nơi họ có thể nhận GRT.

Trung tâm kênh nhà nước sẽ được thế chấp với GRT và chịu trách nhiệm thiết lập tỷ giá hối đoái giữa mệnh giá thanh toán và GRT để tất cả các khoản thanh toán vi mô được thanh toán trong cùng một đơn vị tài khoản.

Xác minh​

Để việc xây dựng WAVE Locks và đặt dấu chỉ mục có ý nghĩa, phải có một cơ chế xác minh hiệu quả có khả năng tái tạo công việc được thực hiện bởi Người lập chỉ mục, xác định lỗi và loại bỏ Người lập chỉ mục vi phạm.

Trong giai đoạn đầu tiên của The Graph Network, việc này được xử lý thông qua quy trình giải quyết tranh chấp trên chuỗi, được quyết định thông qua trọng tài.

Các ngư dân đệ trình các tranh chấp cùng với một trái phiếu, cũng như một chứng thực có chữ ký của Người chỉ mục. Nếu Người lập chỉ mục được phát hiện đã chứng thực phản hồi truy vấn không chính xác, người đánh cá sẽ nhận được một phần của số tiền bị chém làm phần thưởng. Ngược lại, mối quan hệ của ngư dân sẽ bị mất nếu tranh chấp không thành công.

Điều quan trọng, phần thưởng của ngư dân phải nhỏ hơn số tiền đã chém. Nếu không, những người lập chỉ mục độc hại có thể chỉ cần tự chém mình để vượt qua thời kỳ tan băng hoặc tránh bị người khác chém.

Về lâu dài, khi mạng trở nên đáng tin cậy hơn, chúng tôi hy vọng phần thưởng dành cho những ngư dân tích cực sẽ giảm xuống gần bằng không. Như vậy, dù có ngư ông thưởng nhưng chúng tôi coi tác nhân này là động viên vì lòng vị tha.

Vì lý do đó, ban đầu, sẽ có một dịch vụ đánh cá nơi người tiêu dùng có thể đăng chứng thực và chúng tôi sẽ chịu trách nhiệm xác minh các câu trả lời truy vấn và gửi các tranh chấp trên chuỗi. Tất nhiên, bất cứ ai muốn cũng có thể thực hiện vai trò này.

Ngoài ra, trong những ngày đầu của mạng, sẽ có một dịch vụ trọng tài được thiết lập thông qua quản trị giao thức, sẽ hoạt động như trọng tài duy nhất trong việc giải quyết tranh chấp. Điều này cho phép chúng tôi thực hiện phán đoán khi các truy vấn không chính xác có thể phát sinh do lỗi trong phần mềm, Người lập chỉ mục bỏ sót các sự kiện từ chuỗi khối hoặc các yếu tố ngẫu nhiên khác có thể dẫn đến hành vi phạm tội.

Cuối cùng, khi phần mềm trưởng thành, Người lập chỉ mục sẽ phải phát triển bí quyết hoạt động để tránh những loại lỗi này.

Công việc tương lai​

Công việc trong tương lai trên Mạng Đồ thị liên quan đến việc khám phá các cơ chế thị trường mới và tham số hóa các cơ chế hiện có, điều này sẽ làm cho thị trường truy vấn năng động và hiệu quả hơn. Sau đó sẽ liên quan đến việc chạy mô phỏng động và dựa trên tác nhân trên thiết kế cơ chế hiện có, cũng như phân tích mạng sau khi khởi chạy.

Các hợp đồng sẽ có thể được nâng cấp để giao thức có thể tiếp tục được cải thiện sau khi ra mắt.

Về lâu dài, chúng tôi muốn loại bỏ hoàn toàn vai trò của ngư dân và trọng tài, bằng cách dựa vào cấu trúc dữ liệu đã được xác thực, bằng chứng đồng thuận và mật mã. Thực hiện điều này một cách hiệu quả là một lĩnh vực đang được nhóm chúng tôi nghiên cứu và chúng tôi sẽ viết thêm về điều này trong tương lai gần.

Phần kết luận​

Cảm ơn vì đã đọc! Tôi hy vọng điều này làm sáng tỏ cơ sở lý luận đằng sau những lựa chọn mà chúng tôi đã thực hiện khi thiết kế mạng và giải thích những gì mong đợi từ nhóm của chúng tôi trong năm tới và hơn thế nữa.

Nếu bạn có bất kỳ câu hỏi nào hoặc muốn bắt đầu xây dựng một chuyên mục con ngay hôm nay, hãy tham gia Discord của chúng tôi . Bạn có thể tìm thấy tôi trong #research.