Cypherpunks viết mã: Hợp đồng Ian Grigg và Ricardian

Loạt bài này nêu bật những nhà nghiên cứu mạng có đóng góp mở đường cho các giải pháp mật mã ngày nay. Vì vậy, lần này chúng ta sẽ nói về công việc của Ian Grigg và một chút về anh ấy. Ông đã nghiên cứu cách kết hợp các khái niệm tài chính và mật mã phức tạp vào các giải pháp thực tế và các nghiên cứu của ông về hợp đồng Ricardian đặc biệt đã góp phần vào sự hiểu biết và sử dụng các công cụ tài chính kỹ thuật số hiện tại.

\Tuy nhiên, như một cypherpunk , anh ấy giữ kín cuộc sống của mình. Trong vài năm qua, các phương tiện truyền thông đưa tin về việc Craig Wright tuyên bố đứng đằng sau danh tính của Satoshi Nakamoto đã đưa ra Ian Grigg ủng hộ anh ấy —mặc dù có bằng chứng chứng minh điều ngược lại. Ngoài những ồn ào của phương tiện truyền thông, chúng ta vẫn chưa biết nhiều về nhà mật mã học này.

Tất cả những gì chúng ta biết là Ian Grigg có thể đến từ Sydney, Úc và kinh nghiệm của ông về mật mã tài chính kéo dài khoảng ba thập kỷ. Grigg nắm giữ bằng MBA của Trường Kinh doanh Luân Đôn và bằng Cử nhân Khoa học về Khoa học Máy tính của Đại học New South Wales ở Úc. Ông cũng từng làm Kiểm toán viên độc lập cho CAcert.org, một sáng kiến cấp chứng chỉ miễn phí cho công chúng. Mục tiêu của nó là nâng cao nhận thức và giáo dục về bảo mật máy tính thông qua mã hóa, đặc biệt là với dòng tiêu chuẩn X.509.

Trước năm 1995, năm mà các bài báo có ảnh hưởng sâu sắc của ông về Hợp đồng Ricardo được xuất bản, ông đã tích lũy được hàng chục năm kinh nghiệm làm lập trình viên hệ thống, đóng góp cho nhiều doanh nghiệp khác nhau với nhiều vai trò không xác định. Sau đó, anh ấy đã được công nhận vì đã làm việc với tập đoàn blockchain tổ chức R3 và công ty Block.One là người tạo ra tiền điện tử EOS.

Hợp đồng Ricardo

Các nghiên cứu về hợp đồng Ricardo là những nghiên cứu giúp ông được công nhận trong loạt bài này. Ian Grigg đặt tên các hợp đồng Ricardo theo tên nhà kinh tế học thế kỷ 19 David Ricardo và ông muốn gói gọn bản chất của các thỏa thuận tài chính trong một công cụ trực tuyến có thể giao dịch. Sự khám phá của ông đã dẫn ông khám phá một cái nhìn sâu sắc quan trọng: văn xuôi pháp lý của một hợp đồng gắn bó sâu sắc với ý nghĩa cốt lõi của tất cả các công cụ tài chính.

\Để phát hành các công cụ như vậy, người ta phải cô đọng một hợp đồng mà con người có thể đọc được ở cả dạng kỹ thuật số và mật mã. Do đó, Hợp đồng Ricardian xuất hiện, cung cấp một khung kiến trúc để xác minh kỹ thuật số, nhưng cũng bao gồm một tài liệu mà con người có thể đọc được và có ý nghĩa pháp lý. Hiệu quả của nó đến từ việc sử dụng ngôn ngữ đánh dấu một cách chiến lược, làm nổi bật dữ liệu cần thiết trong văn bản, hỗ trợ việc trích xuất và sử dụng thông tin này bằng các hệ thống kỹ thuật số. Sau đó, tài liệu trải qua quá trình băm mật mã để tạo ra mã định danh an toàn, duy nhất và tiết kiệm chi phí.

Trong sổ cái phân tán, hợp đồng thông minh là một khái niệm tương tự. Một nhà mật mã khác, Nick Szabo , đã được đề cập trước đó trong loạt bài này, ban đầu đề xuất phần mềm tự thực thi này. Thoạt nhìn, hợp đồng thông minh có vẻ giống với hợp đồng Ricardo. Thật vậy, chúng ta có thể nói rằng tất cả các hợp đồng Ricardo đều có thể đủ tiêu chuẩn là hợp đồng thông minh, nhưng điều ngược lại không phải lúc nào cũng đúng.

Ricardo và thông minh

Sự khác biệt chính giữa hợp đồng thông minh và hợp đồng Ricardian là hợp đồng trước không phải là tài liệu pháp lý, không giống như hợp đồng sau. Hợp đồng thông minh đóng vai trò là công cụ để nuôi dưỡng niềm tin và tự động hóa các nhiệm vụ trên mạng phi tập trung. Chúng được viết bằng ngôn ngữ lập trình và không cần sự giải thích trực tiếp của con người. Mặt khác, hợp đồng Ricardian có mục đích thiết yếu là thiết lập các điều khoản hợp đồng rõ ràng giữa các bên liên quan và có thể được áp dụng ngoài môi trường kỹ thuật số.

Các hợp đồng này thể hiện một cách tiếp cận phức tạp để chính thức hóa các thỏa thuận kỹ thuật số vì chúng kết hợp các điều khoản pháp lý và kỹ thuật trong một tài liệu duy nhất. Mục tiêu của họ là giải quyết những thiếu sót của hệ thống kế toán thông thường, thường ghi lại số lượng mà không làm rõ tầm quan trọng của chúng. Hợp đồng Ricardo được biết đến với sự phong phú về ngữ nghĩa không giới hạn.

Mỗi đơn vị giá trị kỹ thuật số trong hợp đồng Ricardian, dù là đô la hay mã thông báo, đều được liên kết với một tài liệu. Tài liệu này phác thảo những gì đơn vị đó đại diện, bao gồm tất cả các nghĩa vụ và quyền liên quan.

Các luật sư thường soạn thảo tài liệu này để đảm bảo nó tuân thủ các luật và quy định cụ thể của khu vực tài phán xác định. Cả con người và máy móc đều có thể truy cập và hiểu được nó. Ngoài ra, chữ ký số sẽ xác thực hợp đồng và được xác định thông qua hàm băm mật mã. Hàm băm đóng vai trò tham chiếu đến hợp đồng trong các giao dịch kỹ thuật số.

Hợp đồng Ricardian nâng cao tính rõ ràng và bảo mật của các giao dịch kỹ thuật số, đảm bảo rằng mọi người liên quan đều hiểu rõ các điều khoản hợp đồng mà họ đồng ý. Việc liên kết từng giao dịch với một hợp đồng cụ thể giúp đơn giản hóa việc giải quyết tranh chấp và củng cố niềm tin vào hệ thống.

Hợp đồng Ricardo ở Obyte

Hợp đồng Ricardian là hợp đồng “sống” ở chỗ chúng được thiết kế vừa là một thỏa thuận pháp lý vừa là một công cụ có thể được tích hợp vào hệ thống phần mềm. Thuật ngữ “trực tiếp” phản ánh tính chất năng động và sự phong phú về ngữ nghĩa của nó, làm cho các điều kiện hợp đồng trở nên linh hoạt hơn nhiều.

Có thể nói rằng điều đó là phổ biến hợp đồng thông minh trong hợp đồng Obyte và Ricardian có một số điểm tương đồng ở chỗ cả hai đều có thể được đọc bởi con người và máy móc. Ngoài ra, cả hai loại hợp đồng đều cho phép xác định các điều kiện chi phối việc giải phóng các khoản thanh toán hoặc thực hiện các hành động hợp đồng khác. Mỗi bên liên quan đều có cơ hội xem xét tất cả các điều kiện quy định và đưa ra quyết định về việc có chấp nhận hợp đồng hay không.

Tuy nhiên, hợp đồng với trọng tài đặc biệt ở Obyte, có sự tương đồng đáng kinh ngạc với các hợp đồng Ricardian do tính chất kép của chúng kết hợp sự rõ ràng về mặt pháp lý với việc thực thi kỹ thuật số. Giống như các hợp đồng Ricardian tích hợp văn xuôi pháp lý mà con người có thể đọc được với xác minh bằng mật mã, các hợp đồng với trọng tài trên Obyte kết hợp các tính năng của hợp đồng thông minh với các điều khoản mà con người có thể đọc được và lớp trọng tài bổ sung để giải quyết tranh chấp.

Cách tiếp cận kết hợp này đảm bảo rằng các thỏa thuận có thể được thực thi cả trong lĩnh vực kỹ thuật số và trong các tình huống thực tế, nâng cao tính minh bạch, độ tin cậy và bảo mật trong các giao dịch phi tập trung.

Quy trình được sắp xếp hợp lý, cho phép một bên soạn thảo và đề xuất hợp đồng trong khi bên kia có thể chấp nhận hợp đồng chỉ bằng hai cú nhấp chuột. Các bên sử dụng tính năng trò chuyện trên ví Obyte để trao đổi văn bản hợp đồng và chọn trọng tài chuyên nghiệp từ ArbStore . Tiền sẽ được mở khóa nếu đáp ứng các điều kiện, nhưng trong trường hợp có bất kỳ tranh chấp nào, trọng tài con người có thể được yêu cầu giải quyết.

Bằng cách này, Obyte hiện thân một tính năng thú vị khác được tạo ra và sử dụng bởi các cypherpunks, cung cấp một phương thức thỏa thuận an toàn và có thể thực thi được trong hệ sinh thái này và hơn thế nữa.

Đọc thêm từ loạt bài Cypherpunks Write Code:

Tim May & Chủ nghĩa vô chính phủ tiền điện tử

Ngụy Đại & B-tiền

Nick Szabo & Hợp đồng thông minh

Adam Back & Hashcash

Eric Hughes & Người gửi thư

St Jude & Ký ức cộng đồng

Hal Finney & RPOW

John Gilmore & EFF

Julian Assange & WikiLeaks

Satoshi Nakamoto và Bitcoin

Gregory Maxwell & Bitcoin cốt lõi

Hình ảnh Vector nổi bật của Garry Killian / Freepik

Bức ảnh của Ian Grigg bởi CoinGeek