Hàng khô | Tổng quan toàn diện về các nhà tiên tri phi tập trung
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ừMediumNhững người đam mê Ethereum (ID: ETHfans)
, được dịch bởi Anzi Clint, wuwei & A Jian; văn bản gốc đến từFabric Ventures, của Julien Thevenard; được Odaily sao chép với sự cho phép.Joey KrugỞ đây tôi muốn cảm ơn chúng tôiTomas Bertaninhóm, và cảm ơnHugh Karp(Nhà phát triển cốt lõi của Augur),James Ryan Moreau(Người sáng lập Oraclize),Gorka Irazoqui Apecechea(Người sáng lập Nexus Mutual),Szymon Sypniewicz(Lãnh đạo cộng đồng kỹ thuật Witnet),Przemysław Kowalczyk(Nhà nghiên cứu Witnet),
(đồng sáng lập Ramp) và
(Người sáng lập Ramp) đã cho chúng tôi phản hồi tuyệt vời.
Sổ cái phân tán và hợp đồng thông minh có thể loại bỏ xung đột gây ra bởi các vấn đề về niềm tin trong sự tương tác và cộng tác của con người hiện tại, đồng thời mang lại những đổi mới lớn chưa từng có cho xã hội. Nhưng cho đến lúc đó, nếu các hợp đồng thông minh ở trên không thể có được đầu vào ngoài chuỗi mà không có sự tin tưởng bổ sung, thì cái gọi là đổi mới chỉ nằm trên giấy.
Các oracle phi tập trung là các cổng thông qua đó các hợp đồng thông minh tương tác với thế giới bên ngoài, được thiết kế để hoạt động mà không phụ thuộc quá nhiều vào một nguồn thông tin duy nhất. Cách triển khai cỗ máy tiên tri phi tập trung cũng sẽ gây ra một làn sóng đổi mới khác.
Bài viết này nhằm giới thiệu những điểm sau:
Tại sao các dịch vụ tiên tri là một công nghệ phi tập trung
Các thành phần chính của ngăn xếp yêu cầu các dịch vụ đáng tin cậy
Tổng quan về 8 dự án đang hoạt động để giải quyết những thách thức nói trên
I. Tại sao chúng ta cần lời tiên tri?
I. Tại sao chúng ta cần lời tiên tri?
Hợp đồng thông minh trên các chuỗi không được phép (chẳng hạn như Ethereum, Dfinity) chạy trong môi trường đối nghịch và tính bảo mật của chúng được đảm bảo bằng cách chỉ truyền bá các giao dịch xác định (nghĩa là các giao dịch được xác minh bởi tất cả các nút) trong mạng. Ý tưởng thiết kế của hợp đồng thông minh là: chấp nhận đầu vào → thực thi logic → cập nhật trạng thái blockchain tương ứng và quá trình này là không thể đảo ngược, không có thoái lui Ctlr+Z trong thế giới blockchain.
Cho phép các hợp đồng thông minh lấy dữ liệu từ bên ngoài hệ thống chuỗi khối là một con dao hai lưỡi. Những người khai thác trong chuỗi không được phép không chắc chắn rằng họ có thể xác minh tất cả các đầu vào bên ngoài, vì vậy họ chỉ có thể thực hiện bừa bãi bất kỳ hoạt động nào đáp ứng các điều kiện tiên quyết của hợp đồng thông minh.
Trước khi đi sâu vào nhiều chi tiết kỹ thuật của các nhà tiên tri không đáng tin cậy, chúng ta hãy xem xét năm trường hợp sử dụng chính cho các hợp đồng thông minh do các nhà tiên tri cung cấp.
sản phẩm tài chính
sản phẩm tài chính
sản phẩm tài chínhCDx、dYdX、MakerDAO、Vega Protocol、0x protocol 。
Một số dự án thậm chí có khả năng áp dụng các lời tiên tri như vậy cho các sản phẩm tài chính, bao gồm:
Bảo hiểm hợp đồng thông minh
Etherisc VàFizzy Với sự hỗ trợ của các nguồn thông tin đáng tin cậy và miễn phí, một số sản phẩm bảo hiểm nhất định có thể được triển khai dưới dạng hợp đồng thông minh thông qua lập trình. Chi phí lớn nhất trong ngành bảo hiểm là gian lận, vì vậy tầm quan trọng của các nhà tiên tri là hiển nhiên. Một số ví dụ dự án hiện tại về bảo hiểm thông minh bao gồm:
FlyingCarpetTự động bồi thường cho sự chậm trễ chuyến bay đã được thực hiện.
Một loại bảo hiểm có thể lập trình mới hỗ trợ trí tuệ nhân tạo và dữ liệu địa lý.
vận chuyển hàng hóaFOAM vận chuyển hàng hóa
Ví dụ: nó có thể hạ thấp ngưỡng tin cậy của dApp đối với nguồn dữ liệu gốc và dựa vào mạng phi tập trung (trong trường hợp này là một nhà tiên tri vị trí) để đảm bảo độ tin cậy của thông tin vị trí do nguồn khai báo.
Cho vay thế chấp và StablecoinMaker DAOCho vay thế chấp và StablecoinDAI củaBáo cáoNó là một stablecoin được chứng thực bởi Ethereum (sẽ sớm được nâng cấp lên chứng thực đa tài sản), nó sử dụng nhiều lời tiên tri trong thiết kế để
Giá của Ethereum có thể kích hoạt hoạt động thanh lý kịp thời khi đồng tiền ổn định được phát hành không có đủ chứng thực tài sản thế chấp, do đó bảo vệ toàn bộ hệ thống. Những nhà tiên tri này được chọn và tài trợ bởi những người nắm giữ mã thông báo Maker.Ethlend VàDharma cũng có thiết kế tương tự.
thị trường dự đoán
thị trường dự đoánAugur，Gnosis thị trường dự đoán
) đã đưa sự cộng tác của con người lên một tầm cao mới chưa từng có, tận dụng tối đa trí tuệ của các nhóm. Các thị trường này phải dựa vào một hoặc nhiều nhà tiên tri để xác định các sự kiện ngoài chuỗi.
II.Đảm bảo tính toàn vẹn của Oracle
II.Đảm bảo tính toàn vẹn của Oracle
Các chuỗi khối được xây dựng có chủ ý để cô lập thế giới bên ngoài và các bên thứ ba cần thêm sự tin tưởng. Tuy nhiên, hầu hết các sự kiện vẫn diễn ra ngoài chuỗi, vì vậy chúng ta cần kết nối chuỗi khối và thế giới ngoài chuỗi mà không ảnh hưởng đến khả năng chống kiểm duyệt. Trên thực tế, tính không tin cậy của một dApp phụ thuộc vào liên kết yếu nhất giữa thế giới on-chain và off-chain, do đó, một nguồn thông tin duy nhất có thể bị hỏng là không đủ.
Truy cập nhiều nguồn thông tin có thể đạt được độ an toàn cao hơn về mặt xác suất, nhưng theo đó sẽ làm tăng rất nhiều chi phí. Số lượng nguồn thông tin cần thiết cho một kịch bản ứng dụng cụ thể có thể nhiều hơn hoặc ít hơn.Trong các ứng dụng thực tế, chúng ta nên áp dụng ý tưởng thiết kế dựa trên rủi ro để xác định có bao nhiêu nguồn thông tin cần thiết cho các ứng dụng khác nhau.
Nói chung, cần phải cân đối chi phí của hệ thống tiên tri đã thiết lập theo số tiền liên quan và tìm giải pháp tiên tri phù hợp với kịch bản của riêng bạn trong các ứng dụng thực tế.
mô hình phô mai thụy sĩ
Rất khó để đảm bảo rằng bên thứ ba sẽ không làm điều ác mọi lúc. Giải quyết vấn đề niềm tin này trong một thế giới tập trung đòi hỏi nhiều lớp bảo vệ: hợp đồng, công ty đáng tin cậy, bảo hiểm, luật pháp, v.v. Miễn là ít nhất một lớp bảo vệ vẫn còn nguyên vẹn, hệ thống có thể được coi là trung thực. Tuy nhiên, nếu tất cả các lớp bảo vệ bị hỏng, cuộc tấn công sẽ hoạt động (mô hình phô mai Thụy Sĩ).Mô tả hình ảnh）-
- Thích nghi với mô hình phô mai Thụy Sĩ (
nguồn hình ảnh
Vụ bê bối LIBOR là một bài học về sự phụ thuộc quá mức vào các nhà tiên tri tập trung. Lãi suất được cung cấp liên ngân hàng Luân Đôn, hay LIBOR, là tham chiếu lãi suất thường được sử dụng trong cho vay thương mại và tư nhân, làm cơ sở cho khoảng 300 nghìn tỷ đô la cho các khoản vay. Tuy nhiên, theo các nguồn tin, chỉ số này đã bị một số nhà giao dịch hoán đổi nhất định thao túng từ năm 2005 hoặc 2003. LIBOR cũng là một chỉ báo về mức độ lành mạnh của các ngân hàng, vì vậy việc thao túng tỷ lệ này cũng dẫn đến việc một số tổ chức có vẻ khỏe mạnh hơn so với thực tế trong cuộc khủng hoảng tài chính 2007-2008.
Không có hệ thống hoàn hảo trên thế giới, nhưng chúng ta có thể áp dụng khái niệm về nhiều rào cản cho hệ thống tiên tri phi tập trung, để cải thiện cơ chế tin cậy tối thiểu nhiều nhất có thể.
A. Nhiều nguồn dữ liệu
Cách dễ nhất để giảm lỗi dữ liệu là sử dụng oracle để tổng hợp nhiều nguồn dữ liệu. Theo cách này, chỉ có hai khả năng thu thập dữ liệu quá mức: một, hầu hết các nguồn dữ liệu đều bị hỏng và hai, bản thân nhà tiên tri bị xâm phạm (trở thành một điểm duy nhất của sự cố).
B. Nhiều lời tiên tri
Khi tăng số lượng tiên tri, phần lớn các tiên tri có xác suất không độc hại, vì vậy miễn là phần lớn hệ thống vẫn trung thực, hệ thống sẽ an toàn. Tuy nhiên, cho dù đó là sự thao túng có chủ ý hay vô ý (bản thân nguồn thông tin bị lỗi), khả năng tất cả các nhà tiên tri đang cung cấp thông tin sai là không thể loại trừ vào lúc này.
C. Chia sẻ lợi ích
C. Chia sẻ lợi ích
Sẽ rất nguy hiểm nếu cho phép những người tham gia ẩn danh trong mạng lưới phi tập trung đóng vai trò là nhà tiên tri. Sử dụng thiết kế của kỹ thuật mã thông báo, các nút trong mạng phi tập trung có thể bị buộc phải cam kết một phần ký quỹ/tiền gửi và những tài sản này thường là tiền bản địa trong hệ thống. Khi nút hoạt động tốt, nó sẽ nhận được một phần thưởng nhất định và nếu nút làm điều ác, nó sẽ mất tài sản cầm cố theo một tỷ lệ nhất định. Cơ chế trên đảm bảo rằng hệ thống tiên tri có cơ chế khuyến khích tích cực để thúc đẩy người tham gia tạo ra dữ liệu chính xác.
D. Môi trường thực thi đáng tin cậy (TEE)
D. Môi trường thực thi đáng tin cậy (TEE)
Cả SGX (Software Guard eXtensions) gần đây của Intel và TrustZone của ARM đều thuộc môi trường thực thi đáng tin cậy, vì cả hai tương đối giống nhau nên chúng ta hãy lấy sản phẩm của Intel làm ví dụ để giới thiệu.
Nói tóm lại, SGX cho phép các chương trình thực thi trong vỏ bọc của CPU, mang lại khả năng bảo vệ cấp độ phần cứng cho mã cấp độ người dùng. Đầu tiên, các vỏ bọc bảo vệ các ứng dụng (dữ liệu, mã và luồng điều khiển) khỏi bị hỏng bởi các quy trình khác. Thứ hai, vùng bao bảo vệ tính bí mật của ứng dụng, nghĩa là dữ liệu, mã và trạng thái thực thi của chương trình về mặt lý thuyết là không rõ ràng đối với phần còn lại của hệ điều hành, nhưng chương trình vẫn có thể đọc và ghi bộ nhớ bên ngoài vùng bao.March-2018 & July-2018SGX tìm cách bảo vệ các chương trình trong các vùng chứa trên các hệ điều hành độc hại và do đó thậm chí bảo vệ các ứng dụng khỏi bị xâm phạm bởi quản trị viên hệ thống trên các nút. Việc chạy chương trình tiên tri và phân phối dữ liệu trong phần bao vây đảm bảo chắc chắn rằng chương trình tiên tri sẽ chạy an toàn, vì có thể phát hiện từ xa rằng hệ thống đang chạy trên một hệ thống SGX hợp pháp.Tuy nhiên, điều đáng chú ý là đã có hai lỗ hổng kể từ khi phát hành SGX () lần lượt được phát hiện, và vẫn còn những nghiên cứu để khám phá
Một số
Các hàng rào bảo vệ nêu trên không thể được coi là hoàn hảo khi được lấy ra riêng lẻ, nhưng khi chúng được kết hợp để hoạt động cùng nhau, chúng có thể có tác dụng bảo vệ mạnh hơn. Trong phần tiếp theo, chúng tôi sẽ giới thiệu các bề mặt tấn công chính trong hệ thống tiên tri phi tập trung và minh họa các biện pháp phòng thủ tương ứng bằng các ví dụ.
III.Tấn công Sybil và các điểm yếu khác của hệ thống phi tập trung
III.Tấn công Sybil và các điểm yếu khác của hệ thống phi tập trung
Không khó để xây dựng một hệ thống tiên tri, cái khó là thiết kế thành phần không tin cậy.
Rủi ro chính: Có xung đột lợi ích giữa các bên dựa vào hợp đồng thông minh để phân xử các vấn đề và các nhà tiên tri ẩn danh không có rủi ro kiện tụng. Khi chạy một hệ thống đa tiên tri, các tiên tri phải đạt được sự đồng thuận vì hợp đồng thông minh chỉ chấp nhận một đầu vào duy nhất. Do đó, để chống lại các cuộc tấn công, một cơ chế cần được thiết kế để đảm bảo rằng lời tiên tri đáp ứng các yêu cầu sau:
không thể nhận ra nhau
Không thể giao tiếp với nhau: một nhà tiên tri có quyền biểu quyết đáng kể (ví dụ 40%) có thể phát câu trả lời của riêng mình và không cần phải cố tình thuyết phục các nút khác rằng kết quả của nó là câu trả lời chính. Tuy nhiên, nếu các nút khác đã biết rằng nút này có quyền biểu quyết lớn như vậy, thì yêu cầu này tương đối vô nghĩa.
Các chiến lược tấn công hoặc lỗ hổng sau đây có giá trị đối với các mạng tiên tri phi tập trung.
Tấn công đa số: Có rủi ro là phần lớn các nút trong mạng được kiểm soát bởi một thực thể hoặc liên minh duy nhất. Tại thời điểm này, mạng vẫn được kiểm soát bởi đa số, nhưng nó đã bị thao túng một cách ác ý. Cần đặc biệt chú ý đến những rủi ro như vậy trong các dự án mạng tiên tri phi tập trung và sức mạnh của các nút cần được xác định theo danh tiếng của các nút và tổng số nút.
Mô tả hình ảnh
-Majority Attack - Nguồn: Narcos-
Phản chiếu: Đây là một cuộc tấn công Sybil đặc biệt trong mạng tiên tri phi tập trung. Để giảm chi phí vận hành nút, bộ điều khiển của một nút nhất định chỉ có thể thu thập dữ liệu một lần thông qua một nút, sau đó chuyển dữ liệu đến các nút khác dưới sự kiểm soát của anh ta trong chuỗi. Khi dữ liệu anh ta truyền đi vẫn là sự thật, kiểu tấn công này không có hại lắm, nhưng nếu dữ liệu truyền đi có vấn đề, nó sẽ làm giảm đáng kể tính bảo mật của toàn bộ hệ thống, bởi vì cơ chế của hệ thống sẽ tinh chỉnh độ chính xác. của dữ liệu thông qua truy vấn nhiều bên bị hủy.
Trả lương trống rỗng: Khi một nhà tiên tri sao chép ác ý câu trả lời của các nhà tiên tri khác, chúng tôi gọi đó là trả lương trống rỗng. Vấn đề này có thể được giải quyết thông qua cơ chế "tiết lộ cam kết", tức là các câu trả lời do máy tiên tri gửi được mã hóa và chỉ khi đủ máy tiên tri gửi câu trả lời, tất cả các câu trả lời sẽ được giải mã.
Bảo mật dữ liệu trên chuỗi: Nếu yêu cầu dữ liệu vừa nhạy cảm vừa riêng tư, ngay cả khi yêu cầu dữ liệu được mã hóa, thông tin yêu cầu sẽ bị tiết lộ một cách vô thức khi dữ liệu cuối cùng được báo cáo. Giải pháp cho vấn đề này là buộc các nút thực hiện giải mã trong môi trường bao gồm TEE và báo cáo câu trả lời chung cho chuỗi khối mà tất cả người dùng và nút có thể nhìn thấy. Ví dụ: đối với bảo hiểm chuyến bay, người dùng có thể không muốn người khác biết rằng mình đang bay từ London đến New York. Do đó, sau khi biết chuyến bay cụ thể, cỗ máy tiên tri chỉ có thể trả lời “chuyến bay đó có bị hoãn không?” trên blockchain, hoặc các câu hỏi khác chỉ cần trả lời có/không mà không cần tiết lộ thêm thông tin.
IV.Các dự án làm việc trên oracle phi tập trung
IV.Các dự án làm việc trên oracle phi tập trung
Tất cả các dự án có thể được chia thành hai loại: cung cấp dịch vụ tiên tri thông qua mạng và cung cấp dịch vụ tiên tri trên mạng.
1. Oracle là một dịch vụ
ChainLink (đã hoạt động)
Sơ đồ chuỗi liên kết
Tính bảo mật của bất kỳ hệ thống nào được xác định bởi bảng ngắn nhất của nó. Phân cấp đảm bảo tính khả dụng mọi lúc, nhưng có nguy cơ các nút không hợp lệ cung cấp dữ liệu sai, ChainLink cung cấp hai giải pháp.Mô tả hình ảnh)-
- Tập hợp trên chuỗi (
nguồn hình ảnh
Giải pháp ban đầu: Tập hợp trên chuỗi
Hợp đồng tổng hợp dữ liệu của tất cả các nút trên chuỗi (có thể được kiểm toán công khai) và sử dụng phương pháp tiết lộ cam kết để ngăn các nút lấy kết quả của các máy tiên tri khác và đạo văn lẫn nhau. Kết quả cuối cùng sau khi tổng hợp sẽ được xác định sau khi đủ kết quả được công bố trên chuỗi, nhưng điều này sẽ mang lại rất nhiều chi phí tính toán: mỗi nút sẽ bắt đầu một giao dịch, mỗi giao dịch cần đạt được sự đồng thuận và nó cần phải bằng ether Square triển khai một hoặc nhiều hợp đồng tổng hợp.
Tổng hợp ngoài chuỗi có thể cải thiện tính kinh tế của việc đạt được sự đồng thuận, nhưng nó không thể giải quyết vấn đề ăn hết tiền nói trên.
Sơ đồ tổng hợp ngoài chuỗi sử dụng chữ ký Schnorr: mỗi nhà tiên tri tham gia vào một nhiệm vụ sẽ nhận được tổ hợp [khóa chung, khóa riêng] cho nhiệm vụ đó. Nhà tiên tri sử dụng khóa riêng để tạo chữ ký một phần cho kết quả dữ liệu (được yêu cầu) (được mã hóa). Không thể sử dụng trực tiếp một chữ ký từng phần, nhưng khi đủ số lượng chữ ký từng phần được kết hợp (như minh họa trong hình bên dưới), một chữ ký tập thể sẽ được hình thành, tương đương với việc tổng hợp kết quả dữ liệu của một giao dịch trên chuỗi .Mô tả hình ảnh)-
- tổng hợp ngoài chuỗi (
Từ khóa ở đây là đủ số chữ ký một phần, điều đó cũng có nghĩa là lược đồ cung cấp khả năng chịu lỗi (khi một số nút không phản hồi). Nhược điểm của phương pháp này là ngay cả các nút trung thực cũng không được khen thưởng nếu thông điệp mất quá nhiều thời gian để lan truyền - khiến các nút phụ thuộc vào thời gian phản hồi. Cách giải này cũng giải quyết được vấn đề đạo văn, vì đến lúc công bố kết quả thì không nộp đáp án mới được nữa.đâyđâygiấy trắng。
Witnet
Tìm hiểu thêm về ChainLink. Các sơ đồ cho bài viết này được lấy từ nó
giấy trắng
Witnet là một mạng tiên tri phi tập trung dựa trên danh tiếng: Việc một nút chạy phần mềm Witnet có phản hồi yêu cầu dữ liệu một cách chính xác hay không sẽ xác định xem nút đó tăng hay giảm giá trị danh tiếng hay không và tính chính xác được xác định bởi thuật toán đồng thuận sau khi phân tích tập hợp kết quả của nút. Các nút không phù hợp với sự đồng thuận sẽ mất giá trị danh tiếng của chúng (ví dụ: chúng có sự không nhất quán do nút ngoại tuyến hoặc cố gắng làm điều ác), do đó phân biệt chúng với các nút bình thường. Khi quá trình đạt được sự đồng thuận hết thời gian, miễn là kết quả nút cuối cùng phù hợp với sự đồng thuận, nó sẽ không bị trừng phạt.
Các nút của Oracle, được gọi là nhân chứng, được giao nhiệm vụ ngẫu nhiên để khai thác các khối dựa trên danh tiếng mạng của chúng, khiến chúng ít bị ảnh hưởng bởi "các cuộc tấn công đa số". Các nút hoạt động tốt có thể nhanh chóng tăng giá trị danh tiếng của chúng và đảm nhận nhiều trách nhiệm hơn trong mạng; ngược lại, các nút không hợp lệ và độc hại sẽ nhanh chóng mất đi danh tiếng của chúng trong mạng, sau đó không thể đóng góp cho mạng nữa và cuối cùng trở nên vô nghĩa .
Do giá trị danh tiếng trong Witnet rất quan trọng nên ngoài việc chuyển giá trị danh tiếng giữa các nút tốt và xấu (sau khi hoàn thành nhiệm vụ), hệ thống còn thiết kế cơ chế phân phối lại giá trị danh tiếng cố định giữa tất cả các nút, khoảng thời gian phân phối lại là một lần một khối (90 giây), để tránh: A. Tập trung hóa do tập trung các giá trị danh tiếng trong các nút trung thực lâu đời nhất; thu nhập).
Trong mỗi lần sản xuất khối, chức năng phí trễ sẽ được sử dụng để thực hiện phân phối lại giá trị danh tiếng: giá trị danh tiếng của nút hiệu quả sẽ bị giảm theo hàm logarit mỗi lần và giá trị danh tiếng bị giảm sẽ được chia sẻ bởi tất cả các nút với cư xử đúng mực. Nói cách khác, giá trị danh tiếng của tất cả các nút sẽ liên tục bị giảm và những nút có giá trị danh tiếng cao nhất sẽ mất nhiều nhất. Do đó, để luôn đứng đầu Witnet, hành vi tốt phải luôn được duy trì.https://witnet.iobạn có thể tạiđâyTìm hiểu thêm, hoặc tại
Oraclize
đây
Đọc sách trắng.
Giải pháp của họ là sử dụng tất cả các nhà cung cấp TEE để giảm lỗ hổng, một phương pháp được gọi là hộp cát. Oraclize tận dụng các sản phẩm từ các nhà cung cấp và nhà sản xuất CNTT (bao gồm EC2 của Amazon, SafetyNet của Google, QSEE của Qualcomm, Nano S của Ledger và SGX của Intel) làm thành phần chính trong các dịch vụ cốt lõi của họ. Các sản phẩm này được chia thành các nhóm độc lập và có thể được sử dụng cộng tác thông qua phần mềm: Oraclize đã thiết kế một chương trình tùy chỉnh hỗ trợ đặc biệt làm lớp truy cập phần mềm để hỗ trợ truy cập và khả năng tương tác của tất cả các TEE. Khi một phương pháp kỹ thuật nhất định bị ảnh hưởng bởi một lỗ hổng (chẳng hạn như lỗ hổng SGX Spectre của Intel), tổng hợp dữ liệu tổng thể vẫn có thể bỏ qua nút bị ảnh hưởng và lấy dữ liệu chính xác từ nhiều TEE khác. (Điều này giả định rằng lỗ hổng dựa trên một kiến trúc cụ thể, chứ không phải là lỗ hổng chung ảnh hưởng đến tất cả các bộ xử lý)đâyĐể đảm bảo độ tin cậy được phân phối và tính chính xác của dữ liệu, Oraclize sử dụng TLSNotary để ký dữ liệu TLS của các trang web https. Có một cái giá để làm điều này: Về mặt lý thuyết, Oraclize chỉ có thể truyền dữ liệu được hiển thị bởi trang web (nó không thể được tải lên sau khi xử lý trước ngoài chuỗi), nhưng điều này là đủ để xử lý các tình huống thường được sử dụng. Rủi ro chính của giải pháp là khi hầu hết các nguồn dữ liệu bị phá hủy, không có cách nào ngăn chặn việc tiếp tục phân phối dữ liệu sai, nhưng rủi ro này sẽ tồn tại trong hầu hết các giải pháp "phi tập trung". bạn có thể tại
Town Crier
đây
Tìm hiểu thêm về Oraclize.
Đằng sau dự án học thuật này là một nhóm gồm năm tiến sĩ và sinh viên đại học của Cornell.
Town Crier có thể đóng vai trò là cầu nối giữa các hợp đồng thông minh (trên bất kỳ chuỗi khối nào) và các trang web hỗ trợ https và nó sử dụng lớp TLS để đảm bảo liên lạc an toàn giữa hai bên để truyền dữ liệu được xác thực. Lược đồ này khác với TLS-notary (chỉ bảo mật lớp phần mềm), cho phép truyền dữ liệu tùy chỉnh hơn. Dữ liệu được giải mã và xử lý bởi các nút chạy trên Intel SGX (cả hai đều có mức độ bảo mật phần cứng và phần mềm). Dữ liệu ủy quyền cuối cùng được gửi từ vùng chứa đến chuỗi khối, chỉ dựa vào SGX để đảm bảo rằng phần mềm nút chạy như mong đợi.
Để giải quyết vấn đề lỗi đơn hàng, phương pháp của họ là thực hiện tổng hợp nguồn dữ liệu và triển khai tiên tri trên nhiều nền tảng SGX. Phần mềm này được chứng minh là có khả năng mở rộng phần nào và có thể hỗ trợ thông lượng từ 15-65 giao dịch/giây.Thông báoBạn có thể tìm hiểu thêm về Town Crier tại đây. Trong cuộc họp nhà phát triển lần thứ tư vào ngày 1 tháng 11 năm 2018, CEO Sergey
Tin tức về việc ChainLink mua lại Town Crier.
2. Dịch vụ tiên tri nội bộ
2. Dịch vụ tiên tri nội bộ
A. Thị trường dự đoán
"Thị trường dự đoán giống như thị trường cá cược. Bạn đặt cược vào kết quả và giá đặt cược được xác định bởi xác suất của kết quả."
Augur và Gnosis là hai trong số các thị trường dự đoán phi tập trung nổi tiếng nhất, cả hai đều được ra mắt vào năm 2015. Họ xây dựng các thị trường dự đoán thanh lịch bằng cách sử dụng trí tuệ tập thể và một mạng phi tập trung ít gây tranh cãi hơn. Để thị trường hoạt động chính xác, cả hai đều phải dựa vào các biện pháp khuyến khích được thiết kế tốt. Chúng tôi sẽ lấy Augur làm ví dụ để phân tích thêm.
Augur là một nền tảng thị trường dự đoán và tiên tri phi tập trung, đáng tin cậy, cho phép các cá nhân phân tán về mặt địa lý suy đoán và báo cáo về kết quả khách quan của bất kỳ sự kiện nào. Đối với Augur, việc tạo ra một thị trường dự đoán phi tập trung tương đối dễ dàng, mấu chốt nằm ở cách đảm bảo tính toàn vẹn của thị trường (đảm bảo tính trung thực có thể trở thành lựa chọn có lợi nhất cho các nút Augur hợp lý).
Mô tả hình ảnhnguồn）-
- Giải thích về vòng đời của thị trường dự đoán (
nguồn
Bất kỳ ai cũng có thể tạo thị trường dự đoán cho các sự kiện sắp tới trên nền tảng Augur. Người tạo đặt thời gian kết thúc sự kiện và chỉ định người báo cáo kết quả sự kiện. Kết quả này cho phép truy vấn từ cộng đồng.
Dưới đây là danh sách các biện pháp mà Augur đã thực hiện để bảo vệ những người tham gia trung thực:
Những người tạo lập thị trường cần nắm giữ các trái phiếu hợp lệ: khi thị trường được xác định không hoàn hảo hoặc khi kết quả không thể khách quan và chính xác, các trái phiếu này trở nên vô hiệu và bằng không.
Người tạo thị trường nắm giữ trái phiếu không có kết quả: Những trái phiếu này sẽ hết hạn khi người báo cáo kết quả do người tạo chỉ định không đưa ra kết quả trong vòng 3 ngày. Tại thời điểm này, bất kỳ ai cũng có thể gửi kết quả tạm thời cho sự kiện này.
Khi kết quả tạm thời được báo cáo, bất kỳ chủ sở hữu REP nào cũng có cơ hội phản đối kết quả tạm thời (bắt đầu đặt giá thầu) trong vòng 7 ngày. Nhà thầu có tiền đặt cọc đấu thầu chiếm tỷ lệ nhỏ nhất trong giá trị thị trường dự kiến có thể thắng thầu. Sau khi đấu thầu thất bại, REP đã cam kết sẽ được trả lại cho chủ sở hữu; sau đó toàn bộ thị trường sẽ được thanh toán.
Nếu giá thầu kết quả tạm thời đầu tiên thành công, các bước tiếp theo phụ thuộc vào số tiền gửi trong vòng hiện tại. Khi cam kết ít hơn 2,5% của tất cả REP (hiện tại là 1,5 triệu đô la), thị trường sẽ bắt đầu vòng đấu giá tiếp theo; nếu không (lớn hơn 2,5%) sẽ chuyển sang trạng thái fork.
Trạng thái fork sẽ kéo dài trong 60 ngày, trong thời gian đó, tất cả các thị trường sẽ tạm thời bị đóng băng cho đến khi chúng được chuyển sang "Thế giới Augur mới". Nếu tất cả các thị trường chỉ có hai lựa chọn (có/không, được chọn/thua, thắng/thua, v.v.), 3 thế giới sẽ được tạo ra vào thời điểm này, ví dụ, sẽ có 3 sự thật có thể xảy ra: một sự thật là có, một sự thật là Một. là không, cái cuối cùng không hợp lệ. Thị trường được chia thành các thế giới tương ứng. Người dùng có thể và chỉ có thể di chuyển mã thông báo REP của họ sang một trong những thế giới này. Nếu người dùng hoàn thành việc di chuyển mã thông báo REP trong vòng 60 ngày (đầu tư vào một trong các kết quả), thì có thể nhận được thêm 5% REP dưới dạng bù đắp rủi ro. Rủi ro ở đây là khi người dùng chuyển sang nhầm thế giới, REP của họ bị kẹt (REP không thể thay thế cho nhau trong thế giới A/B/C). Nếu người dùng không muốn chấp nhận rủi ro, họ có thể di chuyển sau 60 ngày, tại thời điểm thị trường đã đạt được sự đồng thuận chính xác. Vì các thế giới Augur song song có thể cùng tồn tại (ví dụ: Ethereum/Ethereum Classic), người chiến thắng rõ ràng, người giành được phần lớn hoạt động thị trường sẽ là Augur thực sự.
Chúng tôi hy vọng độc giả nhận ra sự nguy hiểm của các thị trường dự đoán được xác định kém khi chúng được tạo ra và những hậu quả kinh tế kỳ lạ của việc có các nhà tiên tri phi tập trung kiểm soát việc phát sóng các kết quả.
Khi cỗ máy tiên tri Augur hoàn thành hoạt động dự đoán thị trường Augur bằng cách báo cáo kết quả của các sự kiện trong đời thực, chúng ta có thể tưởng tượng rằng khi các ưu đãi đủ và Augur tiếp tục phát triển, kết quả của chính thị trường Augur có thể được sử dụng như một lời tiên tri đáng tin cậy máy móc. Nói cách khác, chúng ta có thể giả định rằng thị trường Augur cuối cùng (có thể) sẽ đưa ra kết quả thực sự và sử dụng kết quả đó làm đầu vào cho một hợp đồng thông minh khác.
Ramp
Thông tin thêm về Augur có thể được tìm thấy ở đây.
B. Dịch vụ thanh toán OpenBankProject Sổ cái ngân hàng trước đây không dễ dàng truy cập từ bên ngoài, nhưng mọi thứ đang thay đổi nhanh chóng và nhiều cơ quan quản lý đang áp dụng các khuôn khổ ngân hàng mở. Ví dụ: ở Châu Âu, chỉ thị PSD2 yêu cầu các ngân hàng Châu Âu mở quyền truy cập API vào tài khoản ngân hàng cho các nhà cung cấp bên thứ ba được ủy quyền và Ramp là một trong số đó.
-(Ismail Chaib vàRamp Swapsphủ sóng)-
*Ramp* đang xây dựng cơ sở hạ tầng tài chính để đảm bảo thông tin liên lạc giảm thiểu tin cậy giữa các tổ chức tài chính truyền thống và chuỗi khối công khai. Trên thực tế, họ sử dụng PSD2 để cung cấp dịch vụ hoán đổi nguyên tử p2p fiat và tiền điện tử (
). Quá trình này như sau:
Người bán tạo một hợp đồng thông minh để khóa một lượng tài sản kỹ thuật số nhất định dưới sự giám sát của bên thứ ba. Khi người mua gửi tiền pháp định theo thỏa thuận, tài sản kỹ thuật số sẽ được giải phóng cho người mua, nếu không nó sẽ được trả lại cho người bán.
Người mua thanh toán cho người bán bằng chuyển khoản.
Nhà tiên tri thanh toán xác minh khoản thanh toán của người mua và gửi bằng chứng thanh toán (PoP) đến mạng. Nhà tiên tri có thể truy cập vào tài khoản của người mua và người bán và xem các khoản thanh toán đến và đi của họ.
Hợp đồng thông minh mở khóa tài sản dưới sự giám sát của bên thứ ba và gửi nó cho người mua.
Dữ liệu trên sổ cái của một tổ chức tài chính cực kỳ nhạy cảm, vì vậy việc báo cáo những thông tin đó rõ ràng là một thách thức so với việc báo cáo thông tin có sẵn công khai như giá cả hàng hóa hoặc kết quả thể thao:
Dữ liệu được cung cấp bởi một nguồn duy nhất của sự thật - ví dụ: các ngân hàng.
Thông tin chuyển khoản có thể thay đổi và các tổ chức tài chính có thể đảo ngược giao dịch.
Dữ liệu không thể truy cập công khai hoặc dễ dàng kiểm chứng.
Thông tin tài khoản đã cho (thông tin nhận dạng và lịch sử giao dịch) cần được giữ kín.
Sổ cái được truy cập theo nhiều cách khác nhau và thường dựa vào sự cho phép của người dùng.
Giao tiếp hai chiều không được đảm bảo để luôn hoạt động - có giao tiếp hai chiều cho các hợp đồng thông minh để có thể bắt đầu giao dịch.
Do các yêu cầu về quyền riêng tư, thông tin thu được từ các ngân hàng không thể được truyền đơn giản đến chuỗi khối. Thông tin thô cần được giải mẫn cảm để phù hợp với các giao dịch chuỗi khối. Do đó, sau khi dữ liệu cần được xử lý ngoại tuyến, câu trả lời sẽ được gửi đến mạng dưới dạng một câu hỏi có hoặc không đơn giản (ví dụ: một giao dịch nhất định đã hoàn tất chưa?).trang mạng。
Ramp đang trong quá trình mở rộng công nghệ của mình và được nhiều cơ quan quản lý chấp nhận hơn. Ramp cũng đang khám phá việc sử dụng các vùng an toàn như một lớp bảo vệ bổ sung, cho phép các bên thứ ba có thẩm quyền hơn đóng vai trò là nhà tiên tri để xác minh các giao dịch ngân hàng trên chuỗi khối. Những phát triển này sẽ loại bỏ nhu cầu tập trung hóa lớn nhất: cổng fiat. Nếu bạn muốn biết thêm về Ramp, vui lòng truy cập
trang mạng
-EtheriscC. Bảo hiểm phi tập trung
"Chúng tôi tin tưởng vào mã hơn là các công ty bảo hiểm chạy theo lợi nhuận, nhưng nếu không có những nhà tiên tri đáng tin cậy thì chẳng có gì xảy ra cả" Hugh Karp, NexusMutualEtherRiskCung cấp các sản phẩm bảo hiểm phi tập trung -Nexus MutualBảo hiểm tham số là một loại bảo hiểm đặc biệt với các kích hoạt tham số và điều kiện thanh toán (trả $X nếu Y xảy ra), chẳng hạn như chuyến bay bị hoãn, sàn giao dịch bị tấn công. Rõ ràng, những sản phẩm này phù hợp để sử dụng hợp đồng thông minh. Họ yêu cầu các dịch vụ tiên tri cung cấp dữ liệu đáng tin cậy cho những sự kiện này, dữ liệu này có thể thu được trong nội bộ thông qua các ưu đãi kinh tế (sử dụng
mục nhập dữ liệu được xác định, hoặc sử dụngFlyingcarpetquá trình bỏ phiếu), và cũng có thể thu được thông qua một nhà cung cấp dịch vụ tiên tri phi tập trung (Oaas).
Có thể kỳ vọng rằng chúng ta sẽ thấy ngày càng nhiều sản phẩm bảo hiểm được xử lý bằng hợp đồng thông minh, đặc biệt là khi đã có các cảm biến, máy bay không người lái và vệ tinh IoT tinh vi.
. Ví dụ: nông dân có thể mua bảo hiểm thông qua hợp đồng thông minh, sau đó vệ tinh thời tiết truyền dữ liệu đến Flyingcarpet để phân tích bằng các mô hình AI được xây dựng trên nền tảng của nó.AragonTrong một số trường hợp, các kết quả đã khai báo không thể được tự động phát hiện và xử lý nếu không có thông tin đầu vào điều phối cục bộ. Những trường hợp này yêu cầu một nhà tiên tri địa phương (được khuyến khích) với tư cách là một đại lý yêu cầu bồi thường độc lập, chẳng hạn như định lượng thiệt hại của một chiếc ô tô. Các công ty bảo hiểm có thể tận dụng các proxy này, cũng có thể dễ dàng thêm các hợp đồng thông minh của Mogg làm nhà tuyển dụng tiềm năng của họ. Cách tiếp cận này đã có trong lộ trình của EtherRisk và Nexus Mutual, sử dụng các thiết kế cổ phần tương tự để trừng phạt cái ác và thúc đẩy cái thiện. Gian lận thường là chi phí lớn nhất trong bảo hiểm và không thể mong đợi một hệ thống nào đó hoàn toàn không có gian lận, tuy nhiên, nếu hợp đồng thông minh có thể đạt được độ tin cậy tương đương với bảo hiểm tập trung, thì thành công tiết kiệm được có thể được trả lại cho khách hàng.ColonyCuối cùng, các ủy quyền xác nhận quyền sở hữu này có thể hoạt động trong các tổ chức tự trị phi tập trung, chẳng hạn như sử dụng
để phối hợp các hoạt động tương ứng của họ.
V. Kết luận
V. Kết luận
Các cơ hội và thách thức do bản chất bất biến của các mạng phi tập trung đặt ra có thể được tóm tắt trong một từ: khuyến khích. Thông qua một cơ chế khuyến khích kinh tế được thiết kế tốt, mạng phi tập trung có thể tiến hành sự hợp tác toàn cầu chưa từng có và đảm bảo rằng hành vi của những người tham gia hợp lý phù hợp với lợi ích của mạng. Loại bỏ sự phụ thuộc vào các bên thứ ba đáng tin cậy là một thách thức, vì về mặt lý thuyết, bất kỳ thứ gì và bất kỳ ai cũng có thể trở nên tồi tệ và rủi ro phải được giảm xuống mức có thể chấp nhận được. Đúng là rủi ro của các cuộc tấn công ngắn hạn luôn hiện hữu, nhưng điều này không làm giảm đi các động lực dài hạn cho những người bảo vệ mạng, những người có thể thu được lợi nhuận khổng lồ từ nó.
Các công cụ khai thác bitcoin nói chung được coi là "thực thể" đáng tin cậy được thuê và tin cậy để giữ an toàn cho sổ cái bitcoin. Đã có những trường hợp thợ mỏ khai thác lỗ hổng để kiếm lợi nhuận ngắn hạn, nhưng họ sẵn sàng chơi một trò chơi dài hạn hợp lý hơn để đảm bảo rằng khoản đầu tư của họ vào máy khai thác ASIC và phần thưởng khối sẽ không giảm đáng kể. Xa hơn nữa, Ethereum đã bị chỉ trích vì phụ thuộc quá nhiều vào các dịch vụ như Infura hoặc Metamask (những dịch vụ này trở nên tập trung thông qua Consensys), nhưng vì các dịch vụ này có cổ phần lớn trong Ethereum nên chúng có thể duy trì trạng thái bình thường. Rủi ro của các kế hoạch trung gian này có thể chấp nhận được trong quá trình phân cấp hơn nữa.
