Hãy tưởng tượng một tình huống thường ngày.
Carlos cho Ana thuê một căn nhà. Tiền thuê là 500 USDC mỗi tháng và đến hạn vào ngày 10.
Thông thường, hai bên sẽ lập hợp đồng. Đến hạn, Ana thanh toán và Carlos xác nhận đã nhận được tiền.
Bây giờ hãy tưởng tượng rằng một phần của quy trình đó có thể được tự động hóa bằng blockchain.
HỢP ĐỒNG THÔNG MINH xuất hiện ở đây.
Đây KHÔNG phải là một hợp đồng có khả năng suy nghĩ hay trí tuệ nhân tạo. Về mặt kỹ thuật, đó là một chương trình máy tính được triển khai trên blockchain và thực thi các quy tắc mà ai đó đã lập trình từ trước.
Trong hợp đồng thuê nhà của chúng ta, nó có thể đảm nhận một việc rất cụ thể: nhận tiền thanh toán, kiểm tra xem số tiền có đúng như đã thỏa thuận hay không và ghi nhận kỳ đó đã được thanh toán.
Nó được tạo ra như thế nào?
Trước tiên, hợp đồng được lập trình. Trên Ethereum, một trong những ngôn ngữ được sử dụng phổ biến nhất để làm việc này là Solidity.
Lập trình viên viết các quy tắc. Nếu diễn đạt thật đơn giản, có thể viết như sau:
Nếu Ana thanh toán 500 USDC, hãy ghi nhận tiền thuê tháng Chín đã được thanh toán.
Ở thời điểm đó, chưa có gì kỳ diệu cả: chúng ta chỉ có mã được lưu trên máy tính.
Sau đó, mã được BIÊN DỊCH. Nghĩa là nó được chuyển thành các chỉ thị mà Ethereum Virtual Machine (EVM) có thể thực thi. Đây là môi trường nơi các hợp đồng thông minh trên Ethereum được chạy.
Sau đó là một bước quan trọng: TRIỂN KHAI.
Triển khai hợp đồng thông minh nghĩa là gửi nó lên Ethereum thông qua một giao dịch. Thao tác đó sử dụng tài nguyên của mạng và cần phải trả GAS.
Khi quá trình triển khai hoàn tất, hợp đồng có được một thứ vô cùng quan trọng: địa chỉ riêng của nó trên Ethereum.
Ví dụ: 0x8F32...91AC
Từ đó trở đi, chúng ta không còn chỉ nói về tệp mà lập trình viên lưu trên máy tính nữa.
Có một hợp đồng thông minh được triển khai trên blockchain, với mã và trạng thái có thể thay đổi tùy theo các thao tác mà nó thực hiện.
Vậy hãy quay lại với hợp đồng thuê nhà.
Ngày 10 đến. Ana dùng ví của mình để thanh toán. Ví ký giao dịch bằng mật mã và giao dịch đó được Ethereum xử lý.
Hợp đồng thông minh nhận tương tác và thực thi chính xác những gì đã được lập trình.
Nếu các điều kiện được đáp ứng, hợp đồng có thể cập nhật trạng thái và ghi nhận rằng tháng đó đã được thanh toán.
Và có lẽ đây là cách tốt nhất để hiểu về hợp đồng thông minh:
NẾU X XẢY RA → THỰC HIỆN Y.
Nhưng nó cũng có một giới hạn rất lớn.
Ethereum có thể xác minh rằng một địa chỉ cụ thể đã thực hiện một thao tác hoặc một hàm cụ thể đã được chạy.
Điều nó KHÔNG biết là Ana có thực sự sống trong ngôi nhà đó hay không... Carlos đã giao chìa khóa chưa, hay căn nhà đã được trả lại trong tình trạng tốt hay chưa.
Blockchain biết những gì diễn ra trong môi trường của nó. Để sử dụng thông tin từ thế giới bên ngoài, cần có các cơ chế bổ sung, chẳng hạn như ORACLE, đưa một số dữ liệu bên ngoài vào hợp đồng thông minh.
Và điều này giúp chúng ta bác bỏ một lầm tưởng khác:
HỢP ĐỒNG THÔNG MINH không có nghĩa là HỢP ĐỒNG PHÁP LÝ.
Carlos và Ana có thể có hợp đồng thuê nhà quy định về bất động sản, thời hạn, giá thuê, quyền và nghĩa vụ, trong khi một hợp đồng thông minh chỉ tự động hóa một số chức năng nhất định.
Ngay cả hợp đồng cũng có thể được lưu dưới dạng tài liệu bên ngoài blockchain, còn trên blockchain chỉ ghi lại HASH của tài liệu đó.
Hợp đồng thông minh được lưu ở đâu?
Ethereum là một mạng lưới phân tán. Mã đã triển khai và trạng thái gắn với hợp đồng là một phần của trạng thái blockchain, được các nút trong mạng duy trì và xác minh.
Vì vậy, hợp đồng thông minh ít bí ẩn hơn nhiều so với vẻ ngoài của nó. Đó là MÃ.
Đó là mã được một người viết trước tiên, sau đó biên dịch, triển khai trên blockchain, nhận một địa chỉ và sẵn sàng nhận tương tác cũng như tự động thực thi các quy tắc đã được lập trình.
Nó không suy nghĩ. Nó không diễn giải ý định. Nó không biết điều gì có công bằng hay không... nhưng khi các điều kiện đã lập trình được đáp ứng, mã có thể tự động thực thi kết quả.
Và đó chính là ý tưởng cốt lõi đằng sau HỢP ĐỒNG THÔNG MINH:
điều đó không có nghĩa là biến đổi kỳ diệu luật pháp thành blockchain.
Đó là việc chuyển một số quy tắc nhất định thành MÃ CÓ THỂ THỰC THI.
