Nước mã: Lịch sử ngắn gọn của "Code Is Law"

Tiêu đề gốc: (Nước mã - Lịch sử ngắn gọn của "Code is Law")

Tác giả gốc: Vương Siêu, Đồng sáng lập Metropolis DAO

Sáng sớm, sương mù bao phủ vùng vịnh San Francisco, trong văn phòng, ánh sáng xanh từ màn hình chiếu lên gương mặt mệt mỏi của nhà phát triển. Đôi mắt anh đỏ ngầu, ngón tay lướt nhanh trên bàn phím. Đây là kiểm tra cuối cùng trước khi triển khai hợp đồng, mỗi dấu chấm phẩy, mỗi điều kiện biên đều có thể là chi tiết sống còn.

Bên kia đại dương, trên màn hình của một người chơi meme, vô số dữ liệu giao dịch đan xen thành mạng lưới, phác thảo ra hành trình của các cá voi. Các thợ mỏ DeFi thì đang kiểm tra thời gian khóa của các mỏ mới: "72 giờ," họ gật đầu, "an toàn."

Trên Discord, một cuộc tranh luận về đăng ký của một DAO đang diễn ra sôi nổi. Và bên ngoài cuộc tranh luận này, một AI Agent đang âm thầm ghi lại từng bước suy luận của mình vào blockchain. Đây là một buổi sáng bình thường trong thế giới mã hóa năm 2024. Bề ngoài, những cảnh tượng này có vẻ không liên quan, nhưng dưới bề mặt phức tạp, có một sợi dây vô hình gắn kết chúng lại với nhau. Đó chính là lòng tin vào "Code is Law".

Trong thế giới được xây dựng bằng mã này, mã là luật, là niềm tin, là trọng tài cuối cùng. Quy tắc này, giống như một chuỗi vô hình, gắn kết chặt chẽ vòng tròn đầy đầu cơ, lý tưởng, đổi mới và hỗn loạn này lại với nhau. Nó là nền tảng của thế giới mã hóa, cũng là đất mẹ cho vô số câu chuyện.

Nhưng 'Code is Law' thực sự có ý nghĩa gì? Câu nói này đã từ một lời cảnh báo, biến thành một niềm tin như thế nào? Để trả lời câu hỏi này, chúng ta cần quay trở lại mùa thu 25 năm trước, trở lại một văn phòng tại Trường Luật Harvard...

Code is law

Tháng 11 năm 1999, tại khuôn viên Harvard, khi mùa thu đang đậm đà. Giáo sư Lawrence Lessig ngồi trong văn phòng của mình. Ông nổi tiếng với vai trò là chuyên gia pháp lý trung lập trong vụ kiện chống độc quyền của Microsoft, và sau mười mấy ngày nữa, cuốn sách mới của ông "Code: and Other Laws of Cyberspace" sẽ được xuất bản.

Làn sóng internet đã quét qua nước Mỹ vào những năm 90, cách đây vài năm, Lessig đã suy nghĩ về một câu hỏi có vẻ đơn giản: Trong xã hội truyền thống, hành vi bị ràng buộc bởi luật pháp, đạo đức, thị trường và quy luật vật lý. Nhưng trong không gian mạng, những ràng buộc này dường như trở nên mờ nhạt, nhưng có một loại ràng buộc khác dường như trực tiếp hơn, các quản trị viên hệ thống kiểm soát hành vi của người dùng bằng cách thiết lập quyền hạn, sự kiểm soát này không phải được thực hiện thông qua đe dọa trừng phạt, mà là quyết định trực tiếp điều gì là có thể và điều gì là không thể. "Trong hệ thống Unix, nếu bạn không có quyền, bạn sẽ không thể mở tệp đó," ông viết trong sổ tay, "đây không phải là sự ràng buộc của luật pháp, mà là điều gì đó căn bản hơn."

Trước mặt anh là một cuốn sổ tay, vẽ một sơ đồ đơn giản: cấu trúc phân lớp của giao thức TCP/IP. Bản thảo viết rằng, đây là một thiết kế cách mạng, giao thức không quan tâm đến nội dung của gói dữ liệu, cũng không hỏi bạn là ai. Nó chỉ quan tâm đến một điều: truyền dữ liệu theo quy tắc giao thức. Đặc tính 'không cần giấy phép' này đã khiến Internet trở thành một vùng đất tự do.

Nhưng Lessig cũng nhạy bén nhận ra rằng, trong vùng đất tự do của TCP/IP, những bức tường mới đang dần mọc lên. Amazon có thể đóng tài khoản của bạn, AOL có thể ngăn bạn đăng nhập, Google có thể quyết định nội dung nào nên được nhìn thấy. Những nền tảng thương mại dựa trên các giao thức mở đang tạo ra các phương thức kiểm soát mới.

Chương đầu tiên của cuốn sách mới được đặt tên là Code is Law, nhưng câu nói này không phải là lời ca ngợi, mà là lời cảnh báo. Lessig lo ngại rằng nếu để các ông lớn thương mại và chính phủ kiểm soát quyền viết mã, họ sẽ có thể kiểm soát toàn bộ không gian mạng.

"Mỗi thời đại đều có các nhà quản lý tiềm năng, đe dọa tự do, và chúng ta đang sống trong thời đại không gian mạng, nơi cũng có một nhà quản lý, và nhà quản lý này cũng đe dọa tự do của chúng ta. Nhà quản lý này chính là mã. Nó quyết định mức độ dễ dàng trong việc bảo vệ quyền riêng tư, cũng như mức độ dễ dàng trong việc kiểm duyệt lời nói. Nó ảnh hưởng đến việc thông tin có được hay không là phổ quát hay phân cấp, xác định ai có thể thấy gì, hoặc nội dung nào sẽ bị giám sát. Ở nhiều khía cạnh, chỉ khi chúng ta bắt đầu hiểu bản chất của mã, chúng ta mới dần nhận ra sự quản lý trong không gian mạng."

Hai tháng sau, New York Times đã xuất bản một bài đánh giá sách về cuốn sách này, trong đó viết rằng:

"Những cuộc thảo luận này đều được suy tính kỹ lưỡng, nhưng những tiền đề cấu thành chúng lại không vững chắc; Lessig không cung cấp nhiều bằng chứng để chứng minh rằng sự mất mát về quyền riêng tư và tự do đang xảy ra trên Internet."

Haha.

Theo một nghĩa nào đó, Lessig đã tiên đoán tương lai. Nhưng ông không dự đoán rằng lời cảnh báo của mình sẽ nhanh chóng chuyển thành một lá cờ. Trong các gara của Silicon Valley, trong phòng làm việc của các nhà mã hóa, trước máy tính trên khắp thế giới, một nhóm người đang chuẩn bị cho một cuộc cách mạng. Họ sẽ không bị mã nô lệ, mà sẽ dùng mã để tái xây dựng tự do.

Hợp đồng thông minh

Năm 1994, Washington. Một thành viên của phong trào mã hóa, Nick Szabo, đang viết trong căn hộ đơn giản của mình. Trên màn hình là một bài luận về "hợp đồng thông minh". Căn hộ của Szabo đầy sách về luật pháp và khoa học máy tính, như một nhà nghiên cứu yêu thích cả hai lĩnh vực này, ông luôn suy nghĩ về cách kết hợp sự chắc chắn của luật pháp với độ chính xác của chương trình máy tính. "Hãy tưởng tượng một máy bán hàng tự động," Szabo viết, "đó là hợp đồng thông minh đơn giản nhất. Nó không cần thẩm phán để thực hiện hợp đồng, không cần cảnh sát để duy trì trật tự, quy tắc đã được viết trong chương trình của máy."

"Hợp đồng truyền thống tồn tại quá nhiều vấn đề," ông nói với các phóng viên đến phỏng vấn, "việc thực hiện hợp đồng phụ thuộc vào ý chí của con người, việc giải quyết tranh chấp cần quá trình kiện tụng kéo dài. Nhưng nếu chúng tôi có thể mã hóa hợp đồng thành chương trình, nó sẽ hoạt động theo đúng quy tắc đã được thiết lập. Không cần thẩm phán, không cần luật sư, chỉ cần mã."

Phóng viên đặt câu hỏi, con người có lý do gì để tin vào mã? Szabo nở một nụ cười bí ẩn: "Bởi vì mã không nói dối. Nó không thể bị hối lộ, không thể bị đe dọa, cũng không thể thay đổi ý kiến một cách tùy hứng. Nó chỉ trung thành thực hiện các quy tắc đã được thiết lập."

Trong bài luận được công bố sau đó, Szabo đã trình bày chi tiết về ý tưởng hợp đồng thông minh:

"Hợp đồng thông minh là một giao thức giao dịch máy tính hóa để thực hiện các điều khoản hợp đồng. Mục tiêu tổng thể của thiết kế hợp đồng thông minh là đáp ứng các điều kiện hợp đồng phổ biến, giảm thiểu hành vi xấu và tình huống ngoại lệ không mong muốn, và giảm thiểu nhu cầu về trung gian đáng tin cậy. Tôi nghĩ rằng, khả năng giảm đáng kể chi phí giao dịch để thực hiện một số hợp đồng và khả năng tạo ra các doanh nghiệp và tổ chức xã hội mới dựa trên hợp đồng thông minh là rất lớn, nhưng vẫn chưa được nghiên cứu sâu sắc."

Tuy nhiên, nền tảng công nghệ để hiện thực hóa tầm nhìn này vẫn chưa xuất hiện. Szabo và các nhà mã hóa khác còn phải chờ đợi nhiều năm nữa.

Bitcoin

Vào tối Halloween yên bình ngày 31 tháng 10 năm 2008. Satoshi@gmx.com đã gửi một email thay đổi lịch sử. Chủ đề rất đơn giản: (Bitcoin P2P e-cash paper).

Email gửi đến nhóm thư điện tử mật mã viết rằng: "Tôi đã nghiên cứu một hệ thống tiền điện tử mới, hoàn toàn ngang hàng, không cần bên thứ ba đáng tin cậy."

Vào ngày 3 tháng 1 năm 2009, khối Genesis của Bitcoin đã được khai thác. Trong hệ thống này, không ai có thể vi phạm quy tắc của mã. "Code is Law" đã từ lời cảnh báo của giáo sư Lessig chuyển thành lý tưởng của cộng đồng mã hóa, cuối cùng tìm thấy thực hành hoàn chỉnh đầu tiên trong Bitcoin.

Ethereum

Mùa thu năm 2013, tại một quán cà phê của Đại học Toronto. Vitalik Buterin đang vẽ sơ đồ trên máy tính xách tay. Là biên tập viên của tạp chí Bitcoin, anh đã nghiên cứu sâu về từng dòng mã của Bitcoin. Nhưng anh cho rằng thiết kế của Bitcoin quá bảo thủ. "Bitcoin chứng minh rằng quản trị dựa trên mã là khả thi," anh nói với đồng nghiệp, "nhưng tại sao lại giới hạn nó chỉ trong việc chuyển tiền? Nếu chúng ta có thể tạo ra một hệ thống Turing đầy đủ..." Ý tưởng này nhanh chóng phát triển thành whitepaper của Ethereum. Vitalik hình dung một "máy tính toàn cầu": bất kỳ ai cũng có thể triển khai hợp đồng thông minh trên đó, tạo ra nhiều ứng dụng khác nhau.

"Nhiều người cho rằng đây là điên rồ," một người đóng góp sớm nhớ lại, "chúng ta phải xây dựng một nền tảng hoàn toàn được quản lý bằng mã, để bất kỳ ai cũng có thể chạy chương trình trên đó. Rủi ro quá lớn." Nhưng đó chính là việc nâng cấp của tư tưởng "Code is Law": không chỉ nền tảng được quản lý bằng mã, mà mỗi ứng dụng chạy trên nền tảng đó cũng tuân theo cùng một nguyên tắc.

Hợp đồng thông minh mà Nick Szabo hình dung từ hơn mười năm trước, cuối cùng đã tìm thấy mảnh đất để hiện thực hóa. Một hệ sinh thái ứng dụng phi tập trung bắt đầu hình thành. Từ phát hành token đơn giản, đến các giao thức tài chính phức tạp, cho đến các tổ chức tự trị phi tập trung (DAO), mã không thể thay đổi bắt đầu tiếp quản ngày càng nhiều tình huống trong thế giới này.

The DAO

Vào tháng 4 năm 2016, tại Thụy Sĩ, nhóm Slock.it đang giới thiệu kế hoạch đầy tham vọng của họ: The DAO, một quỹ đầu tư phi tập trung hoàn toàn được quản lý bằng mã.

"Hãy tưởng tượng một quỹ không có hội đồng quản trị, không có CEO," người sáng lập Christoph Jentzsch giải thích, "tất cả các quyết định đều được các chủ sở hữu token quyết định thông qua bỏ phiếu hợp đồng thông minh. Đây chính là thực hành tối ưu của 'Code is Law'."

Crowdfunding của DAO đã được khởi động. Trong vòng 28 ngày ngắn ngủi, nó đã huy động được 150 triệu đô la ETH, tạo ra kỷ lục crowdfunding lớn nhất vào thời điểm đó. "Mọi người tin vào mã," một người tham gia sớm nói, "hợp đồng thông minh là công khai, bất kỳ ai cũng có thể kiểm tra. Đây không phải là dựa vào lời hứa của con người, mà là dựa vào mã không thể thay đổi."

Tuy nhiên, trong mã dường như hoàn hảo này ẩn chứa những lỗ hổng chết người. Vào rạng sáng ngày 17 tháng 6 năm 2016. Một hacker ẩn danh đã phát hiện ra lỗ hổng gọi lại đệ quy trong hợp đồng The DAO. Thông qua giao dịch được thiết kế tinh vi, anh ta bắt đầu chuyển ETH từ The DAO vào một DAO con. "Về lý thuyết, điều này hoàn toàn phù hợp với quy tắc của hợp đồng," một nhà nghiên cứu an ninh giải thích, "hacker không 'phá hoại' mã, anh ta chỉ đơn giản là tận dụng các thao tác cho phép bởi mã. Từ quan điểm của 'Code is Law', điều này hoàn toàn 'hợp pháp'." Tuy nhiên, khi hơn 3.64 triệu ETH bị chuyển đi, toàn bộ cộng đồng Ethereum rơi vào cuộc khủng hoảng chưa từng có.

"Nếu 'Code is Law', thì cuộc tấn công này là hợp pháp," một bên khăng khăng, "chúng ta không thể thay đổi quy tắc chỉ vì không thích kết quả. Điều này đi ngược lại nguyên tắc cơ bản của phi tập trung." "Nhưng mã là để phục vụ con người," bên còn lại phản bác, "nếu mã dẫn đến kết quả rõ ràng không công bằng, chúng ta có trách nhiệm sửa chữa nó." Cuộc tranh luận gay gắt kéo dài hàng tuần. Cuối cùng, Vitalik và đội ngũ cốt lõi của Ethereum đã đề xuất một phương án hard fork: quay ngược blockchain, đưa tiền bị hacker chuyển đi trở lại một hợp đồng mới.

Quyết định này đã gây ra sự tranh cãi lớn hơn. Một số thành viên trong cộng đồng kiên quyết giữ nguyên chuỗi, hình thành Ethereum Classic (ETC). Đây không chỉ là một fork của chuỗi, mà còn là một sự chia rẽ trong tư tưởng. "Đối với nhiều người, lý tưởng thuần túy của 'Code is Law' đã tan vỡ," một nhà phát triển Ethereum sớm cảm thán, "chúng tôi đã nhận ra rằng mã sẽ không bao giờ hoàn hảo."

Code có phải là Luật không?

Mùa hè năm 2020, thế giới mã hóa đã đón nhận một làn sóng mới: DeFi Summer. Nhiều dự án đổi mới xuất hiện như nấm sau mưa: cho vay chớp nhoáng của Aave, giao dịch stablecoin của Curve, tổng hợp lợi nhuận của Yearn... Mỗi dự án đều đang định nghĩa lại khả năng tài chính bằng mã.

Nhưng trong sự cuồng nhiệt, rủi ro cũng đang tích lũy. "Bạn có nhớ cái YAM không?" một thợ mỏ DeFi nhớ lại, "một lỗi nhỏ trong mã đã khiến cơ chế quản trị hoàn toàn mất kiểm soát. Điều này nhắc nhở chúng ta rằng 'Code is Law' là một con dao hai lưỡi. Hậu quả của lỗi mã có thể nghiêm trọng hơn lỗi do con người gây ra."

Đầu năm 2022, với sự phổ biến của tư tưởng Web3, DAO đã trải qua một sự bùng nổ mạnh mẽ, mỗi loại đều khám phá những khả năng mới trong việc hợp tác và quản trị phi tập trung.

"Ban đầu, chúng tôi nghĩ rằng DAO chỉ là việc quản lý tổ chức bằng mã thông qua việc bỏ phiếu bằng Token," một thành viên của một DAO nhớ lại, "nhưng nhanh chóng chúng tôi nhận ra rằng thực tế phức tạp hơn nhiều so với mã. Hãy nhìn vào quy trình quản trị của từng DAO chính, bề ngoài là thực hiện thông qua hợp đồng thông minh, nhưng quyết định thực sự thường xảy ra trong các thảo luận trên Discord hoặc diễn đàn. Những sự điều phối chính trị không phụ thuộc vào mã này thực sự là cốt lõi của hoạt động DAO."

"Mã thật sự là luật, nhưng không phải là luật duy nhất," một thành viên cốt lõi của một DAO nói, "Nó giống như một phần của hệ thống luật pháp, cần phải làm việc cùng với các phần khác - thảo luận trong cộng đồng, ý kiến chuyên gia, ràng buộc thực tế, v.v."

Chỉ một tháng trước, đề xuất số 662 của NounsDAO đã kích thích suy nghĩ sâu sắc hơn. Trong khi phần lớn DAO chủ yếu dựa vào sự phối hợp của con người chứ không phải mã để hoạt động, NounsDAO đã gần như hoàn toàn hoạt động dựa trên mã hợp đồng thông minh. Tuy nhiên, đề xuất số 662 lại đề nghị đăng ký thực thể DUNA tại Wyoming, ôm trọn hệ thống pháp luật bên ngoài chuỗi.

Điều này đã gây ra cuộc tranh luận gay gắt trong cộng đồng. "Chúng tôi tham gia NounsDAO bởi vì nó chứng minh rằng một tổ chức hoàn toàn được quản lý bằng mã là khả thi!" một thành viên tức giận nói, "bây giờ các bạn lại muốn thay thế mã bằng hệ thống pháp luật, điều này có phải là đầu hàng trước hệ thống truyền thống không?"

"Chúng ta không thể giả vờ rằng thế giới thực không tồn tại," một người ủng hộ đề xuất nói, "DAO cuối cùng cũng phải hoạt động trong thế giới thực. Sự thỏa hiệp hợp lý không phải là phản bội lý tưởng, mà là làm cho lý tưởng có thể tồn tại lâu dài."

Số phiếu ủng hộ tăng chậm nhưng chắc chắn, đề xuất đã được thông qua.

Hầu như cùng lúc, một người tham gia mới đã gia nhập thế giới mã hóa: AI Agent.

Trong thế giới "Code is Law", AI đã tìm thấy môi trường sống lý tưởng nhất. Quy tắc ở đây là xác định, có thể xác minh, không bị can thiệp bởi con người, và quan trọng nhất, không phân biệt con người hay AI. Các giao thức chỉ quan tâm đến việc có tuân theo quy tắc đã định hay không, AI có thể tự giao dịch, cung cấp dịch vụ, tham gia quản trị, tất cả các quyết định và hành động đều có thể được thực hiện bằng mã.

Trong thế giới mã là luật, nơi thuật toán chi phối giá trị, AI Agent lần đầu tiên từ một đoạn mã, trở thành một thực thể. Khi ngày càng nhiều AI Agents tham gia, thế giới mã hóa sẽ xuất hiện một hệ sinh thái mới: con người và AI tương tác dưới cùng một bộ quy tắc mã, tạo ra các mô hình hợp tác chưa từng có.

Hai mươi lăm năm

Chỉ còn 12 ngày nữa là đến kỷ niệm 25 năm xuất bản (Code and Other Laws of Cyberspace).

Trong khoảng thời gian 25 năm, "Code is Law" đã đi qua một con đường bất ngờ. Nó từ một lời cảnh báo chống lại sự tập trung số, chuyển thành lá cờ của cuộc nổi dậy của các nhà mã hóa, và tiếp tục trải qua thử thách, điều chỉnh và tiến hóa trong thực tiễn. Sự tiến hóa của khái niệm này phản ánh sự sâu sắc hơn trong nhận thức của chúng ta về thế giới số:

Ban đầu, Lessig đã cảnh báo rằng mã có thể trở thành công cụ kiểm soát không gian mạng. Nỗi lo này đến nay vẫn còn sâu sắc - các công ty công nghệ ảnh hưởng đến người dùng thông qua thuật toán, và trong kỷ nguyên AI, một mô hình không an toàn hơn nữa có thể dẫn đến những hậu quả tàn khốc.

Sau đó, các nhà mã hóa đã biến lời cảnh báo này thành hành động. Bitcoin đã chứng minh một khả năng khác: mã không chỉ có thể hạn chế tự do, mà còn có thể bảo vệ tự do.

Sự kiện DAO như một tấm gương phản ánh giới hạn của quản trị hoàn toàn bằng mã. Nhưng thất bại này không phải là điểm kết thúc, mà là một điểm khởi đầu mới. Nó khiến chúng ta bắt đầu suy nghĩ: mã và xã hội nhân loại nên tương tác như thế nào?

Sự trỗi dậy của DeFi mang đến những bất ngờ: trong những tình huống nhất định, mã thực sự có thể hiệu quả hơn các quy tắc truyền thống. Các nhà tạo lập thị trường tự động, cho vay chớp nhoáng, cho vay không cần giấy phép, những đổi mới này cho thấy lợi thế độc đáo của quản trị bằng mã.

Sự tiến hóa của DAO là điều thú vị nhất. Từ chủ nghĩa giáo điều "chỉ mã" đến việc tìm kiếm sự cân bằng với thế giới thực, quá trình này phản ánh một thực tế quan trọng: ít nhất hiện nay, mã vẫn không thể thay thế tất cả các quy tắc khác, mà phải cùng tồn tại và bổ sung cho nhau.

Sự gia nhập của AI đã mở ra không gian tưởng tượng mới. Khi trí tuệ nhân tạo bắt đầu hoạt động độc lập trên chuỗi, "Code is Law" có thể đạt được những chiều kích mới.

Bên ngoài, sương mù buổi sáng của San Francisco dần tan. Một ngày mới bắt đầu. Ở mỗi góc của thế giới này, một mạng lưới blockchain được tạo thành từ vô số nút đang hoạt động. Hợp đồng thông minh như những người bảo vệ không bao giờ mệt mỏi, trung thành thực hiện sứ mệnh của chúng; các DAO đang tiến hành thí nghiệm quản trị quy mô lớn nhất trong lịch sử nhân loại; các AI Agents đang tiến hóa với tốc độ mà con người khó có thể hình dung, mở ra những hình thái tồn tại mới trong thế giới được xây dựng bằng mã.

Đây là thế giới mới do mã tạo ra. Nó không hoàn hảo, nhưng đầy sức sống; nó có khiếm khuyết, nhưng không ngừng tiến hóa; nó còn trẻ, nhưng đã cho thấy tiềm năng thay đổi thế giới. Nó mang trong mình lời hứa làm cho thế giới trở nên mở hơn, minh bạch hơn và công bằng hơn, ngay cả khi lời hứa này vẫn chưa hoàn toàn được thực hiện, nhưng mỗi người tham gia đều đang theo cách của mình, thúc đẩy lời hứa này trở thành hiện thực từng bước một.

Có lẽ đây chính là bài học sâu sắc nhất của "Code is Law" trong 25 năm qua: nó không phải là một giáo điều hoàn hảo, mà là một thí nghiệm đang diễn ra liên tục, một quá trình không ngừng khám phá. Trong thế giới được xây dựng bằng mã này, con người không chỉ là những người tuân theo quy tắc, mà còn là những người tạo ra quy tắc, mỗi dòng mã mà con người viết ra đều đang định hình hình dạng của thế giới tương lai.

Liên kết gốc