Chính xác thì chúng ta muốn nói gì khi nói về “hợp đồng thông minh”?
Tiêu đề gốc: "Chính xác thì hợp đồng thông minh là gì? 》
Tác giả gốc: Jolestar
Nguồn gốc: Blog của Jolestar
"Hợp đồng thông minh" của blockchain là một khái niệm gây tranh cãi. Vitalik cũng từng nói rằng ông rất hối hận khi sử dụng hợp đồng thông minh. Nó không tốt chút nào gọi nó là “persistent scripts” thì tốt hơn. Có lẽ tôi đã chán tranh cãi về khái niệm này rồi. Có người còn hỏi thứ này chỉ là kịch bản chương trình, nó thông minh đến mức nào? Nhưng nếu nói như vậy thì có lẽ không có thứ gì được mệnh danh là “thông minh” hiện nay lại xứng đáng với nó. Hơn nữa, từ thông minh và thông minh trong tiếng Anh đều được dịch là "thông minh" trong tiếng Trung, điều này càng dễ gây hiểu lầm.
Vì vậy, trong cuộc tranh luận đó, có người cũng đề xuất gọi nó là "thủ tục lưu trữ", là các thủ tục lưu trữ của kho dữ liệu . Nếu bạn coi blockchain như một cơ sở dữ liệu phân tán, từ quan điểm triển khai kỹ thuật, hợp đồng thông minh thực sự rất giống với các thủ tục lưu trữ cơ sở dữ liệu. Sử dụng ngôn ngữ lập trình mới không phải là sự khác biệt cơ bản. Nếu bạn sử dụng VM tổng quát hơn, bạn có thể sử dụng chính xác ngôn ngữ lập trình giống như các chương trình khác. Ngoài ra, tính tất định mà mọi người thường nói đến thực chất là một đặc tính của bản thân máy Turing, chỉ cần không đưa ra cơ chế ngẫu nhiên thì rất khó để viết một chương trình không có tính tất định. Vậy tại sao lại tạo ra một từ mới? Sử dụng một câu nói thông thường, khi chúng ta nói về “hợp đồng thông minh”, chính xác thì chúng ta muốn nói gì?
Nếu chúng ta không thấy nhiều sự khác biệt từ góc độ kỹ thuật, thì hãy xem xét nó từ góc độ “hợp đồng” pháp lý. Theo định nghĩa của Wikipedia:
Hợp đồng: A hợp đồng là một thỏa thuận ràng buộc về mặt pháp lý công nhận và điều chỉnh các quyền và nghĩa vụ của các bên trong thỏa thuận.
Hợp đồng là một thỏa thuận ràng buộc về mặt pháp lý xác định quyền và nghĩa vụ của các bên. Nói cách khác, hình thức của hợp đồng thực ra không quan trọng, có thể bằng văn bản hoặc bằng miệng, điều quan trọng là nó phải có tính ràng buộc về mặt pháp lý.
Sau đó, chúng tôi áp dụng nó cho "hợp đồng thông minh". Cũng có thể nói rằng dạng biểu thức của hợp đồng thông minh không phải là chìa khóa, chìa khóa nằm ở "lực ràng buộc". Ở đây chúng tôi đưa ra định nghĩa:
Hợp đồng thông minh là một chương trình máy tính "ràng buộc" xác định các quyền và nghĩa vụ của tất cả các bên.
Chương trình máy tính Làm thế nào / span>lực ràng buộc ra đời?
Sức mạnh ràng buộc của hợp đồng thông minh
Trước khi phân tích lực ràng buộc của hợp đồng thông minh, trước tiên chúng ta hãy xem xét hiệu lực ràng buộc của hợp đồng pháp lý. Sức mạnh ràng buộc pháp lý đến từ hai khía cạnh, một mặt, các bên ký kết hợp đồng đều thể hiện rõ ràng ý định hợp đồng, ví dụ như nếu khoe khoang trên bàn rượu thì khó coi đó là một hợp đồng. phải phân biệt rõ ràng với những cuộc trò chuyện, tin nhắn hàng ngày, đây cũng là hợp đồng bằng văn bản giúp dễ dàng giảm bớt những nguyên nhân gây hiểu lầm trong vấn đề này. Mặt khác, quyền lực công cộng cung cấp một hệ thống thực thi tư pháp như vậy, khi hợp đồng không thể được thực hiện một cách bình thường thì có thể yêu cầu quyền lực công cộng thực thi.
Nếu hệ thống tư pháp của một quốc gia tương đương với ngôn ngữ tự nhiên Một hoạt động hệ thống xác định các quy tắc và hợp đồng là một chương trình được viết bằng ngôn ngữ tự nhiên trên hệ điều hành này. Tất nhiên, việc diễn dịch và thực thi ngôn ngữ tự nhiên phải được thực hiện bởi bộ não con người, nhưng do tính thiếu chính xác của ngôn ngữ tự nhiên và sự khác biệt giữa con người với nhau nên làm thế nào để đảm bảo kết quả thực hiện chắc chắn? Làm thế nào để ngăn chặn người thi hành án gian lận? Hai vấn đề này là những vấn đề mà hệ thống tư pháp đã nghiên cứu hàng nghìn năm nay.
Chuyển sang hợp đồng thông minh , do đặc tính của máy Turing nên dễ dàng đảm bảo tính chắc chắn của kết quả thực hiện chương trình, vấn đề mấu chốt là làm thế nào để ngăn chặn gian lận, làm thế nào để chứng minh kết quả thực hiện chương trình không bị giả mạo?
Kết quả thực hiện chương trình có thể Độ tin cậy phụ thuộc vào độ tin cậy của tổ chức, cá nhân điều khiển phần cứng thực thi chương trình.Trong các hệ thống phần mềm hiện nay như ngân hàng hay ứng dụng Internet, người dùng chỉ có thể tin tưởng vào kết quả thực hiện chương trình bằng cách tin tưởng vào tổ chức, nghĩa là có lực lượng ràng buộc là đơn phương. , người dùng cuối bị ràng buộc bởi các thủ tục, nhưng các nhà cung cấp dịch vụ hầu như không bị ràng buộc bởi các thủ tục. Nếu người dùng phản đối kết quả, họ chỉ có thể dùng đến các biện pháp khác, chẳng hạn như công lý, hoặc cách đây một thời gian, một người dùng sàn giao dịch đã đến cửa công ty để giăng biểu ngữ để phản đối.
Vậy thì nếu chương trình có thể Liệu sự phụ thuộc vào lòng tin này có thể được loại bỏ bằng cách xác minh nhiều lần trên phần cứng do các tổ chức hoặc cá nhân khác nhau kiểm soát không? Đạt được những hạn chế đối với cả hai bên cùng một lúc? Điều này cũng đúng trong hệ thống tư pháp, như sơ thẩm, sơ thẩm, chung thẩm và các cơ chế khác... Tuy nhiên, chi phí thi hành của hệ thống tư pháp quá cao và việc xác minh chỉ được lặp lại sau khi có tranh chấp và số lần là cũng hạn chế. Tuy nhiên, giá thành của các chương trình máy tính thấp hơn nhiều nên có thể được kiểm chứng nhiều lần trên quy mô lớn.
Nếu chỉ có xác minh Trên thực tế, nó không có tính ràng buộc và đòi hỏi khả năng thực thi. Nếu chủ đề tranh chấp giữa hai bên có thể được chương trình trực tiếp điều hành thì có thể đạt được việc xác minh và thực hiện. Tại thời điểm này, blockchain đảm bảo khả năng thực thi bằng cách xác định tài sản kỹ thuật số và hệ thống kinh tế.
Nút thắt cổ chai của việc xác minh lặp đi lặp lại
Mặc dù chi phí xác minh máy tính nhiều lần thấp hơn nhiều so với thịt người nhưng nếu mỗi giao dịch yêu cầu xác minh và thực hiện nhiều lần thì chi phí sẽ cao Đây chính là điều mà mọi người hay nhắc tới vấn đề TPS (giao dịch trên giây) của blockchain. Nếu hiệu quả thực thi của tòa án thấp như vậy thì tại sao nó không trở thành điểm nghẽn cho các giao dịch xã hội thực tế? Cách tiếp cận hiện tại của blockchain tương đương với việc tòa án làm chủ tài sản của mọi người và chi tiết thực hiện hợp đồng, mỗi lần thực hiện hợp đồng đều được thực hiện thông qua tòa án, điều này tất nhiên sẽ trở thành một nút thắt cổ chai.
Trên thực tế, hầu hết các hợp đồng không gây ra bất đồng hay tranh chấp nên không cần thiết phải có Tòa án đưa ra quyết định, tòa án không cần biết chi tiết, tòa án chỉ cần đưa ra quyết định khi có tranh chấp phát sinh, lúc này hai bên có thể đưa ra những bằng chứng liên quan. Cơ chế này có thể được chuyển vào chuỗi? Đây là những gì mạng blockchain Lớp 2 đang cố gắng đạt được. Câu hỏi quan trọng là nếu không có sự xác minh lặp đi lặp lại trên chuỗi thì làm thế nào có thể tạo ra lực ràng buộc hợp đồng dưới chuỗi?
Cộng đồng Ethereum đã đưa khái niệm "phản thực" vào blockchain và đề xuất kênh trạng thái phản thực. Hãy thử tóm tắt một khái niệm chung hai lớp nguyên tắc thiết kế chuỗi khối. Từ “phản thực tế” ở đây có ý nghĩa tương tự như từ “phản thực tế” trong hệ thống pháp luật. Bản thân sức mạnh ràng buộc của hợp đồng pháp lý chủ yếu xuất phát từ kiểu lý luận phản thực tế này, nếu một bên vi phạm hợp đồng thì bên kia có thể thi hành thông qua các cơ quan tư pháp.Chiến lược tốt nhất cho cả hai bên trong giao dịch là thực hiện hợp đồng một cách trung thực, nên hợp đồng có tính ràng buộc. Tương tự, nếu một hợp đồng thông minh không được thực thi trên chuỗi nhưng nếu có bất đồng thì bất kỳ bên nào cũng có thể thực hiện hợp đồng đó trên chuỗi thì hợp đồng đó cũng sẽ có tính ràng buộc.
Về mặt lý thuyết, TPS không giới hạn có thể được hỗ trợ theo cách này.
Thông minh Một hình thức hợp đồng khác
Các hợp đồng thông minh nêu trên đều được thể hiện thông qua ngôn ngữ lập trình. Các chương trình được thực thi trên chuỗi, ngay cả khi chúng được đặt ngoài chuỗi, Nó cần phải được đảm bảo rằng nó có thể được thực thi trên chuỗi, nếu không nó sẽ không thể được xét xử. Nhưng vì chúng ta đang tập trung vào lực liên kết và việc xác minh nhiều lần chỉ là một cách để đạt được lực liên kết, nên có cách nào khác để đạt được lực liên kết không? Ví dụ: khi tòa án xét xử một hợp đồng, tòa án không thực hiện lại rồi xác minh mà xác minh giấy chứng nhận kết quả thực hiện do cả hai bên nộp hoặc sự chấp thuận của bên kia đối với kết quả, chẳng hạn như chữ ký.
"Hợp đồng thông minh" trên Bitcoin tương tự như cơ chế này. Theo mô hình Bitcoin, tập lệnh khóa tương đương với khóa, xác định quyền sở hữu đầu ra BTC của giao dịch. Đây không phải là một hợp đồng được xác định trước đó, nhưng nó có thể đặt các điều kiện mở khóa thông qua mật mã để đạt được hiệu lực của hợp đồng, chẳng hạn như thực hiện hai giao dịch trao đổi tài sản kỹ thuật số (tương đương với hợp đồng mua bán). Phương pháp triển khai cụ thể không được trình bày chi tiết ở đây. Nếu quan tâm, bạn có thể xem qua các giao dịch hoán đổi nguyên tử, Lightning Network và Hợp đồng nhật ký kín đáo dựa trên chữ ký Schnorr.
Ý tưởng của cơ chế này là việc hợp đồng được thực thi như thế nào không quan trọng, vì miễn là đối tượng tranh chấp cuối cùng của hợp đồng được đảm bảo Quyền sở hữu có thể đạt được hiệu quả ràng buộc. Tất nhiên, theo cơ chế này, các loại hợp đồng có thể thể hiện bằng hợp đồng đều bị hạn chế.
Cách đây một thời gian, chúng tôi cũng đã thực hiện một dự án thử nghiệm nhỏ, cố gắng triển khai các hợp đồng thông minh trên Lightning Network. Những người tham gia xác minh hợp đồng với nhau và phân xử thông qua nút dịch vụ trọng tài trong trường hợp có tranh chấp. Tài sản được thế chấp lẫn nhau thông qua cơ chế khóa thời gian băm của Lightning Network. Trọng tài có thể quyết định quyền sở hữu tiền gửi, nhưng không thể trực tiếp lấy bỏ tiền đặt cọc. Mặc dù cũng có khả năng xảy ra gian lận chung, nhưng việc gian lận chung cũng gây ra chi phí ủy thác và rủi ro nhỏ hơn so với việc lưu ký tiền gửi.
Tại thời điểm này, bạn có thể thấy nó. Nếu chúng ta tập trung vào việc xây dựng lực lượng ràng buộc của hợp đồng thông minh thì việc xác minh, xét xử và thực thi hợp đồng thực sự có thể được tách rời và không nhất thiết phải được thực hiện trên cùng một lớp.
Hai lộ trình cho tương lai của hợp đồng thông minh ;
Nếu chỉ theo đuổi lực lượng ràng buộc thì việc phát triển hợp đồng thông minh không có nhiều khác biệt, nhưng hợp đồng thông minh cũng là một loại chương trình , vốn có tất cả các tính năng của chương trình nên nảy sinh bất đồng.
Để xác minh hợp đồng, trạng thái và thông số đầu vào của hợp đồng thông minh sẽ được giữ lại trên chuỗi, nghĩa là, Người ta nói rằng nó cung cấp dung lượng lưu trữ nhưng cũng cung cấp môi trường chạy hợp đồng và sức mạnh tính toán. Với hai khả năng này, về mặt lý thuyết, bất kỳ ứng dụng Internet nào cũng có thể được chuyển sang chuỗi và nó cũng sẽ có tính ràng buộc. Vì vậy, Ethereum tự xác định mình là một máy tính thế giới và EOS tự xác định mình là một hệ điều hành, cả hai nền tảng đều được sử dụng để chạy các ứng dụng phi tập trung DApp.
Tuy nhiên, sau vài năm thử nghiệm với DApp, vẫn không có cải thiện đáng kể nào. Lúc đầu mọi người cho rằng đó là hạn chế của TPS nên EOS đã sử dụng cơ chế DPoS để giảm số lượng node tham gia đồng thuận nhằm đạt được TPS cao hơn. Về lý thuyết, nó cũng có thể chạy một ứng dụng Internet quy mô nhỏ, nhưng có vẫn chưa cải thiện được nhiều. Vậy vấn đề nằm ở đâu?
Điều quan trọng là chúng tôi đã nghĩ về DApp theo mô hình ứng dụng Internet, Mô hình của các ứng dụng Internet là cung cấp một hệ thống cho mọi người sử dụng. Sức mạnh tính toán và lưu trữ trạng thái mà chính ứng dụng yêu cầu được trộn lẫn với sức mạnh tính toán và lưu trữ trạng thái được tạo ra bởi nhu cầu thực hiện các ràng buộc, do đó hầu như không có giá trị đối với một ứng dụng Internet, nó có thể hỗ trợ các bản sao và tính toán lặp lại trên quy mô blockchain.
Vì vậy, việc phát triển hợp đồng thông minh và DApps nhìn chung có thể chia thành hai hướng:
One. Hãy chú ý đến lực lượng ràng buộc của hợp đồng. Việc tính toán và lưu trữ cần thiết chỉ là cơ sở để đạt được sự ràng buộc lực. Theo ý tưởng này, các nhà phát triển nên phân tích chính ứng dụng, phân tách các tính toán và trạng thái cần hạn chế, tức là phần thể hiện hợp đồng giữa ứng dụng và người dùng, sau đó xây dựng cơ chế chứng minh và xác minh và chỉ gửi các dữ liệu cần thiết để xử lý trên chuỗi, chuỗi không cần phải thực thi nhiều lần các ứng dụng, đồng thời các tính toán và lưu trữ không liên quan đến hợp đồng vẫn ở ngoài chuỗi. Hầu hết các mạng lớp thứ hai, cũng như các ràng buộc và cơ chế phân xử của các hệ thống đa chuỗi và chuỗi chéo, đều đi theo hướng này.
Theo lộ trình này, điều dễ triển khai nhất là các ứng dụng DeFi. Bởi vì trạng thái mà các ứng dụng như vậy cần được hạn chế là rất rõ ràng, tức là tài sản, nên vấn đề lưu ký quỹ được giải quyết thông qua lực lượng ràng buộc của hợp đồng thông minh. Hơn nữa, hầu hết các hợp đồng pháp lý trên thực tế đều liên quan đến tài sản, nếu các hợp đồng pháp lý trên thực tế có thể chuyển sang dây chuyền để thi hành hoặc phân xử thì sẽ có rất nhiều chỗ cho trí tưởng tượng. Vấn đề lớn nhất mà lộ trình này phải đối mặt không phải là công nghệ mà là sự xung đột với luật pháp thực tế và những thay đổi trong nhận thức xã hội.
二. Tập trung vào khả năng tính toán hoặc lưu trữ. Lực ràng buộc chỉ là một phần sự tin tưởng của người dùng trong nhà cung cấp tài nguyên phần cứng. Một phương tiện. Với lực ràng buộc này, một hệ thống mở có thể được xây dựng để hấp thụ nhiều tài nguyên phần cứng rẻ hơn và nhiều hơn. Nếu chúng tôi chỉ hướng đến việc đảm bảo tính bảo mật cần thiết, chúng tôi có thể giảm bớt các bản sao lưu trữ và xác minh lặp lại, đồng thời hy vọng cung cấp cho DApp khả năng tính toán và lưu trữ rẻ hơn so với nền tảng đám mây, ít nhất chi phí sẽ không quá cao và có thể đạt được sự chênh lệch về giá thông qua sự cởi mở để sửa đổi. Chẳng hạn như Filecoin, Truebit, v.v. Theo lộ trình này, trước mắt vẫn khó vượt qua được chi phí và độ tin cậy của nền tảng đám mây, độ khó kỹ thuật cao hơn lộ trình đầu tiên, nhưng ưu điểm là lực cản thực tế không lớn.
Tất nhiên cả hai hướng đều có những khó khăn riêng và không xung đột nhau. Tốt nhất nên sử dụng hai hướng Nếu tất cả các hướng đều thành công, chúng có thể được kết hợp với nhau. Nhưng nếu cố gắng thực hiện cùng lúc hai hướng trên cùng một lớp sẽ xảy ra xung đột, cá nhân tôi cho rằng điều đó là không thể.
Cảm hứng cho hệ thống tư pháp
Vì hợp đồng thông minh có thể được xét xử và thực thi thông qua chuỗi khối, nên các hợp đồng pháp lý trong đời thực cũng có thể mô phỏng một hệ thống như vậy không? Để giảm chi phí tư pháp ? Chúng ta hãy giả sử rằng nếu một hợp đồng pháp lý thực sự được phân xử bằng máy tính thì cần có những điều kiện gì. Ví dụ, trong hợp đồng cho vay, một bên tuyên bố đã hoàn trả số tiền và có biên bản chuyển nhượng làm bằng chứng, bên kia cho rằng mình chưa hoàn trả và cho rằng chuyển khoản không phải là hoàn trả, đó là một lý do khác. Làm thế nào để thực hiện việc xét xử chương trình phần mềm?
Đầu tiên, có một ngôn ngữ lập trình để thể hiện hợp đồng này.
Thứ hai, cả hai bên phải có một bộ danh tính chứng chỉ kỹ thuật số để ký hợp đồng thông minh.
Thứ ba, ngân hàng cần có cơ chế liên kết hồ sơ chuyển tiền với hợp đồng khi chuyển tiền . Đồng thời, chứng chỉ số và giao diện xác minh chứng chỉ được cung cấp cho cả hai bên.
Cuối cùng, quá trình ra phán quyết của tòa án xác minh danh tính của cả hai bên thông qua chứng thư số, xác minh giao dịch trả nợ thông qua chứng thư số của ngân hàng , và thực hiện hợp đồng Sau khi xác minh, về cơ bản, quyết định có thể được đưa ra và ngân hàng có thể thực hiện quyết định đó sau khi nhận được kết quả của quyết định.
Mặc dù quy trình này được đơn giản hóa một chút nhưng về mặt lý thuyết thì khả thi và các công nghệ cơ bản cũng có sẵn , nhưng hiện tại các hệ thống khác nhau vẫn còn tách biệt, không thể cung cấp cơ chế chứng thực số và hệ thống nhận dạng chứng chỉ số cũng bị thiếu.
Vì vậy, tôi luôn đề nghị các chuyên gia pháp lý cũng có thể chú ý đến hợp đồng thông minh công nghệ, mặc dù Công nghệ này chưa đến giai đoạn trưởng thành nhưng ưu điểm của nó so với các hợp đồng pháp lý là rất rõ ràng:
1. Biểu thức rõ ràng và kết quả thực thi rõ ràng.
2. Ngôn ngữ xuyên tự nhiên và phổ quát.
3. Có thể được xác định bằng máy tính và tiền Thực thi.
Mặc dù tôi không dám nói mức độ phổ biến của nó trong tương lai, ít nhất là về mặt lý thuyết, với Trong tương lai số hóa tài sản, hầu hết các hợp đồng liên quan đến tài sản có thể được thể hiện và thực hiện thông qua hợp đồng thông minh.
Tóm tắt
Có một câu nói trong lĩnh vực blockchain gọi là Code is law. Code is law. Thực tế, tôi nghĩ nó nên là cách khác xung quanh, nói rằng Luật là Quy tắc. Hợp đồng chuỗi khối và thông minh nhằm mục đích xây dựng một hệ thống ràng buộc thông qua mã, sử dụng mã để mô tả các quy tắc (luật) đó cũng như thể hiện và thực thi các quy tắc (luật) thông qua mã.
Cơ chế này, nhìn từ góc độ hệ thống pháp luật, là một thay đổi lớn chưa từng thấy trong hàng nghìn năm. Ý nghĩa của nó có thể so sánh với việc con người khắc chữ lên đá như những quy luật hàng ngàn năm trước. Nếu thử nghiệm thành công, có thể xây dựng được một hệ thống pháp luật độc lập với chủ quyền quốc gia. Hai ngày trước, việc Tổ chức Nguồn mở Hoa Kỳ hạn chế xuất khẩu phần mềm đã gây ra rất nhiều tranh cãi, tại sao Tổ chức Nguồn mở lại cần phải đăng ký ở một quốc gia nào đó? Vì các quỹ nguồn mở cũng cần tiền để hoạt động và tài khoản ngân hàng nên trong trường hợp xảy ra tranh chấp kinh tế, họ cần phải dựa vào hệ thống tư pháp hiện có để xét xử. Nhưng blockchain đã tạo ra tài sản kỹ thuật số và với khả năng xác định các tổ chức cũng như hệ thống xét xử, các tổ chức nguồn mở có thể xuất hiện độc lập với quốc gia.
Tất nhiên, liệu có thể thay thế hoàn toàn hệ thống pháp luật thực sự không? Điều này cũng là không thể. Suy cho cùng, hình phạt cuối cùng vẫn là áp đặt các biện pháp trừng phạt đối với cơ thể con người, trừ khi một ngày nào đó con người thực sự đưa bộ não của mình lên Internet, nếu không thì cơ thể và tài sản trên thực tế sẽ hoàn toàn mất đi ý nghĩa đối với con người. Nhưng có lẽ? Một lời giải thích cho Nghịch lý Fermi là người ngoài hành tinh cảm thấy vũ trụ thực quá rộng lớn và nhàm chán nên đã đưa mình lên thế giới kỹ thuật số.
Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:
Nhóm Telegram đăng ký: https://t.me/theblockbeats
Nhóm Telegram thảo luận: https://t.me/BlockBeats_App
Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia
Bài viết liên quan
