x·y = k — Vẻ đẹp của toán học trong cryptocurrency

Một trong những công thức toán học đơn giản nhất nhưng lại tạo ra ảnh hưởng sâu rộng nhất trong DeFi là x · y = k. Nó chỉ nói rằng tích của hai đại lượng luôn được giữ cố định. Nhưng chính nguyên lý tưởng như cơ bản này lại trở thành bộ máy định giá đằng sau các AMM như Uniswap, là nền móng cho cách thanh khoản được phân phối trong thị trường phi tập trung, và là cảm hứng cho hàng loạt thiết kế market maker, bonding curve, prediction market và token mechanism sau đó.

Nếu nhìn thuần túy dưới góc độ toán học, đây là một phương trình hyperbol. Nếu nhìn dưới góc độ tài chính, nó là một cơ chế phát hiện giá tự động. Nếu nhìn dưới góc độ blockchain, nó là một ví dụ đẹp về việc một invariant đơn giản có thể thay thế cả một cấu trúc thị trường phức tạp. Thay vì sổ lệnh, maker, taker và một hệ thống khớp lệnh truyền thống, một smart contract chỉ cần nắm giữ tài sản và ép mọi giao dịch phải tôn trọng một quy luật bất biến.

Bài viết này đi từ nền tảng toán học của phương trình x·y = k, đến cách nó vận hành trong AMM, rồi mở rộng sang prediction markets, bonding curves và các thiết kế DeFi khác. Mục tiêu không chỉ là giải thích công thức, mà còn chỉ ra vì sao nó đẹp: đẹp ở tính hình học, đẹp ở tính đối xứng, đẹp ở khả năng tự điều chỉnh, và đẹp ở việc từ một mô hình cực kỳ tối giản, crypto có thể xây dựng nên cả một hạ tầng thị trường mới.

Phương trình x · y = k mô tả tập hợp các điểm mà tích của hai biến luôn bằng một hằng số cố định. Đồ thị của nó là một đường hyperbol chữ nhật. Nếu x tăng lên thì y buộc phải giảm xuống, và ngược lại, sao cho tích số không đổi. Đây là ý tưởng cốt lõi: không phải từng biến riêng lẻ được bảo toàn, mà là mối quan hệ giữa chúng được bảo toàn.

Một cách hình dung trực quan là xem x và y như chiều dài và chiều rộng của một hình chữ nhật. Diện tích của hình chữ nhật đó chính là k. Nếu một cạnh tăng lên, cạnh kia phải giảm xuống tương ứng để giữ diện tích không đổi. Điều quan trọng ở đây là invariant không phụ thuộc vào một mức giá đặt trước, mà chỉ phụ thuộc vào trạng thái hiện tại của hệ thống.

Từ phương trình x·y = k, ta có thể viết lại y = k / x. Điều này cho thấy giá trị của y giảm theo hàm nghịch đảo khi x tăng. Độ dốc của đường cong ở mỗi điểm khác nhau, và chính độ dốc đó quyết định giá cận biên của giao dịch tại thời điểm đang xét.

Nếu lấy đạo hàm theo x, ta thu được:

Về mặt kinh tế, đây là nơi toán học trở nên thú vị: một đường cong hình học đồng thời là một cơ chế định giá. Giá không còn là thứ do ai đó chọn, mà là hệ quả của vị trí hiện tại trên đường cong. Mỗi giao dịch di chuyển hệ thống từ một điểm này sang một điểm khác trên cùng một hyperbol.

Ứng dụng nổi tiếng nhất của công thức này nằm ở Automated Market Makers. Trong Uniswap V2, mỗi pool gồm hai tài sản với lượng dự trữ là x và y. Giao dịch chỉ được chấp nhận nếu trạng thái mới sau giao dịch vẫn giữ invariant x·y = k, sau khi tính cả phí.

Giả sử pool ban đầu có x₀ đơn vị token X và y₀ đơn vị token Y. Người dùng nạp vào Δx token X để rút ra Δy token Y. Trạng thái mới sẽ là:

Từ đó, giải ra lượng token đầu ra:

Nếu giao dịch rất nhỏ, tức Δx nhỏ hơn rất nhiều so với x₀, thì công thức trên gần xấp xỉ:

Ở đây, tỷ lệ y/x chính là mức giá cận biên của X theo Y. Khi ai đó mua X từ pool, lượng X giảm, lượng Y tăng, khiến tỷ lệ y/x tăng. Nghĩa là mua càng nhiều thì giá càng cao. Đây không phải là bug, mà chính là tính năng: nó là cách pool phản ánh cung cầu mà không cần order book.

Slippage chính là cái giá phải trả cho việc giao dịch với thanh khoản hữu hạn. Trong mô hình x·y = k, slippage không phải một yếu tố phụ thêm mà là hệ quả trực tiếp của hình học đường cong. Đường càng cong, slippage càng rõ khi trade lớn. Điều này làm cho AMM vừa thanh khoản, vừa tự bảo vệ trước các lệnh quá lớn.

Một cách tổng quát hơn, ta có thể viết invariant dưới dạng:

Từ đây, có thể thấy x·y = k không chỉ là một công thức cụ thể, mà là cửa ngõ mở vào cả một họ hàm invariant. Mỗi hàm là một lựa chọn thiết kế thị trường khác nhau.

Prediction market là nơi người tham gia giao dịch xác suất của một sự kiện tương lai. Ví dụ, một thị trường có câu hỏi “ETF Solana có được chấp thuận trong năm nay không?”. Khi đó sẽ có các token hoặc vị thế đại diện cho hai outcome như YES và NO. Nếu sự kiện xảy ra, YES có thể được redeem ở mức 1 USD còn NO về 0; nếu sự kiện không xảy ra thì ngược lại.

Điểm hấp dẫn nhất của prediction market là giá của token không chỉ là giá tài sản, mà còn được diễn giải như niềm tin tập thể của thị trường. Nếu YES đang giao dịch quanh 0.72 USD, thị trường đang ngầm nói rằng xác suất sự kiện xảy ra là khoảng 72%. Nói cách khác, prediction market biến kỳ vọng, thông tin và dòng tiền thành một tín hiệu xác suất có thể giao dịch được.

Nhưng để điều đó hoạt động, thị trường cần thanh khoản. Nếu không có đủ người sẵn sàng đứng ở phía đối diện, giá sẽ méo, spread sẽ rộng, và token xác suất sẽ mất ý nghĩa. Đây là vấn đề lớn nhất của prediction market phi tập trung đời đầu: ý tưởng rất hay, nhưng thanh khoản rất mỏng.

Trong mô hình order book truyền thống, người mua phải chờ người bán và ngược lại. Cơ chế này hoạt động tốt khi có rất nhiều participant, nhưng với thị trường dự đoán on-chain thì đó là một rào cản lớn. Mỗi sự kiện lại là một thị trường riêng, mỗi thị trường có tuổi đời ngắn, và thanh khoản bị phân mảnh mạnh. Nếu phải phụ thuộc hoàn toàn vào order book, phần lớn các thị trường sẽ rất mỏng và khó giao dịch.

Market maker tự động giải quyết vấn đề đó bằng cách để một smart contract đứng giữa. Thay vì khớp lệnh giữa người với người, người dùng giao dịch trực tiếp với pool thanh khoản. Pool báo giá theo một công thức xác định sẵn. Điều này cực kỳ quan trọng trong prediction market, vì nó đảm bảo rằng bất cứ lúc nào cũng có một mức giá để người dùng mua hoặc bán, kể cả khi không có ai ở phía đối diện vào đúng thời điểm đó.

Một cách tiếp cận là dùng Constant Product Market Maker (CPMM), tức cùng tinh thần với Uniswap. Giả sử có một pool cho hai outcome YES và NO, với lượng dự trữ lần lượt là x và y. Smart contract giữ invariant:

Khi người dùng mua YES, lượng YES trong pool giảm và lượng tài sản dùng để mua hoặc lượng vị thế đối xứng tăng lên. Kết quả là giá YES tăng lên. Nếu nhiều người liên tục mua YES, pool ngày càng thiếu YES hơn, khiến đường cong trở nên dốc hơn và giá YES tiến dần về 1. Điều này tương đương với việc thị trường nói rằng outcome đó ngày càng có xác suất cao hơn.

Ngược lại, nếu thị trường bán YES hoặc đổ tiền mạnh sang NO, giá YES sẽ giảm xuống. Như vậy, giá không phải do ai công bố, mà được hình thành từ tương tác giữa dòng tiền và invariant. Đây là lý do prediction market dùng AMM rất thú vị: nó không chỉ là hạ tầng giao dịch, mà còn là một bộ máy tổng hợp niềm tin của đám đông.

Ở một DEX thông thường, giá phản ánh tỷ giá giữa hai tài sản. Nhưng trong prediction market, giá còn mang thêm một lớp ý nghĩa: giá gần như là xác suất đã được “monetize”. Nếu trader tin xác suất thật cao hơn xác suất mà thị trường đang định giá, họ có động lực mua. Nếu họ tin thấp hơn, họ có động lực bán hoặc mua phía đối diện. Chính hành vi kiếm lời này kéo giá về gần “xác suất đồng thuận” của thị trường.

Nói cách khác, prediction market là nơi arbitrage thông tin diễn ra trực tiếp. Một người có thông tin tốt hơn hoặc phân tích tốt hơn sẽ tìm cách tận dụng chênh lệch giữa xác suất họ tin là đúng và xác suất đang được định giá. Vì thế, market maker ở đây không chỉ cung cấp thanh khoản mà còn là hạ tầng để thông tin được hấp thụ vào giá theo thời gian thực.

Dù trực quan và mạnh, constant product không phải là mô hình hoàn hảo cho prediction market. Khi một outcome dần trở nên áp đảo, pool sẽ bị lệch rất mạnh. Khi đó đường cong hyperbol tiến vào vùng rất dốc, làm cho slippage tăng nhanh. Điều này có nghĩa là càng gần 0% hoặc 100%, việc đẩy xác suất lên thêm một chút sẽ cần lượng vốn lớn hơn nhiều.

Điều này vừa là ưu điểm vừa là nhược điểm. Ưu điểm ở chỗ nó ngăn một lượng vốn nhỏ làm méo mạnh thị trường ở giai đoạn cuối. Nhưng nhược điểm là thanh khoản hữu dụng giảm xuống khi thị trường ngày càng chắc chắn về một outcome. Nói đơn giản: constant product hoạt động đẹp nhất khi hai phía còn tương đối cân bằng; càng lệch mạnh thì đường cong càng trở nên đắt đỏ để giao dịch.

Ngoài CPMM, prediction market còn có một công cụ rất nổi tiếng là Logarithmic Market Scoring Rule (LMSR). Khác với invariant hyperbol, LMSR đi từ một hàm chi phí tổng quát. Nó được thiết kế rất sát với bản chất của bài toán dự đoán: làm sao để luôn có giá cho mọi outcome, đồng thời giữ tổng xác suất hợp lý.

Giá outcome i trong LMSR là:

Đây là điểm cực kỳ hay của LMSR: nó làm cho prediction market gần với một hệ xác suất chuẩn hơn. Nếu có nhiều outcome, toàn bộ mức giá vẫn cộng lại thành 1. Điều đó khiến việc đọc giá trở nên trực quan hơn rất nhiều. Về mặt lý thuyết, LMSR thường được đánh giá là elegant hơn cho prediction market vì nó gắn chặt với logic scoring rule và xác suất hơn constant product.

Tuy nhiên, sự thanh lịch này đi kèm chi phí: LMSR phức tạp hơn trong triển khai, đòi hỏi tính toán nặng hơn, khó tối ưu hơn trên-chain và khó thân thiện với smart contract hơn một mô hình nhân-chia như CPMM.

Với DEX thông thường, toán học chủ yếu xử lý thanh khoản và định giá tài sản. Với prediction market, toán học còn xử lý một thứ trừu tượng hơn nhiều: niềm tin về tương lai. Một đường cong hoặc một hàm chi phí giờ đây không chỉ quyết định trader nhận bao nhiêu token, mà còn quyết định cách thị trường biến thông tin thành xác suất.

Đây chính là chỗ prediction market trở nên đặc biệt đẹp về mặt thiết kế. Toán học không chỉ là công cụ kỹ thuật, mà là cấu trúc trung gian giữa thông tin và giá. Một người mua YES không đơn thuần là mua một token; họ đang mua quyền hưởng lợi nếu niềm tin của họ về tương lai là đúng. Market maker, nhờ invariant hoặc scoring rule, biến hành động đó thành một mức giá mới cho toàn thị trường.

Nói ngắn gọn, prediction market là nơi bonding curve bộc lộ rõ nhất vẻ đẹp triết học của nó: một hàm số có thể tổ chức cách con người bất đồng với nhau về tương lai, nhưng vẫn giao dịch được với nhau trong hiện tại.

Từ AMM và prediction market, tư duy về invariant và bonding curve lan sang nhiều lĩnh vực khác trong crypto. Điểm chung của những mô hình này là: thay vì để giá hoặc phân phối được quyết định bởi một thực thể tập trung, chúng được quyết định bởi một hàm số.

Một ứng dụng nổi bật là phát hành token theo đường cong giá. Khi người dùng mua token, smart contract mint thêm token mới và giá được đẩy lên theo một công thức. Khi họ bán lại, token bị burn và giá đi xuống. Công thức có thể tuyến tính, bậc hai, logarit hoặc lũy thừa.

Những mô hình này từng được Bancor, các curation market và nhiều thử nghiệm token economics sử dụng. Ý tưởng ở đây gần với AMM: giá không do ai niêm yết, mà do đường cong quyết định.

Nếu Uniswap là 50/50, Balancer mở rộng logic invariant sang nhiều tài sản hơn và cho phép trọng số tùy chỉnh. Công thức tổng quát có thể viết:

Điều này biến AMM từ một pair đơn giản thành một cấu trúc giống index fund on-chain. Toán học ở đây không chỉ định giá giao dịch, mà còn định nghĩa cách portfolio tái cân bằng thông qua chính hoạt động giao dịch của thị trường.

Stablecoin đòi hỏi một kiểu đường cong khác. Nếu vẫn dùng hyperbol thuần túy, giao dịch giữa hai stablecoin sẽ bị trượt giá không cần thiết. Curve giải quyết vấn đề đó bằng cách tạo ra một invariant pha trộn giữa constant sum và constant product, nhờ vậy đường cong phẳng hơn nhiều quanh vùng cân bằng nhưng vẫn chống được cạn thanh khoản khi bị lệch mạnh.

Nói cách khác, Curve cho thấy bài học lớn của DeFi: x·y = k là điểm khởi đầu rất đẹp, nhưng không phải điểm kết thúc. Một khi hiểu bản chất của invariant, người ta có thể tái thiết kế nó cho từng loại tài sản.

Một góc nhìn thú vị là xem smart contracts chứa invariant như các định luật vật lý của một vũ trụ tài chính thu nhỏ. Người dùng có thể tác động vào hệ thống, nhưng không thể phá vỡ định luật. Họ chỉ có thể di chuyển hệ thống từ trạng thái này sang trạng thái khác trong phạm vi được cho phép bởi phương trình. Đây chính là sự chuyển hóa đẹp từ toán học sang thiết kế hệ thống: thay vì viết luật bằng lời, ta viết luật bằng công thức.

Điều khiến x·y = k trở nên đặc biệt không chỉ nằm ở chỗ nó hữu dụng, mà còn ở chỗ nó thể hiện một dạng vẻ đẹp rất hiếm trong kỹ thuật: tối giản nhưng sinh ra cấu trúc rất phong phú.

Chỉ với một hyperbol, crypto có thể tạo ra:

Vẻ đẹp đầu tiên là tính hình học. Đường cong hyperbol không phải một đường thẳng chết cứng, mà là một cấu trúc có độ đàn hồi. Nó phản ứng khác nhau ở các vùng khác nhau: gần trạng thái cân bằng thì tương đối mềm, càng đi xa thì càng cứng. Điều này đúng với trực giác kinh tế: khi thị trường vẫn cân bằng, một chút giao dịch không làm giá thay đổi nhiều; khi thị trường bị rút cạn một phía, giá phải thay đổi cực mạnh để phản ánh sự khan hiếm.

Vẻ đẹp thứ hai là tính tự điều chỉnh. Không cần người giám sát, không cần nhà cái đứng giữa, không cần con người cập nhật bảng giá. Chỉ cần invariant được giữ, và chính dòng tiền của người tham gia sẽ đẩy hệ thống đến trạng thái giá mới. Arbitrage đóng vai trò như lực cân bằng, kéo pool quay về gần mặt bằng giá toàn thị trường.

Vẻ đẹp thứ ba là tính mở rộng. Từ x·y = k, ta đi đến x^a·y^b = k, đến constant mean, đến stable swap, đến LMSR và nhiều cơ chế khác. Một hạt giống toán học đơn giản có thể nở thành nhiều họ thiết kế thị trường khác nhau.

Nếu order book là sản phẩm của cơ sở hạ tầng tài chính tập trung, thì AMM và bonding curve là sản phẩm của một triết lý khác: hãy để logic được viết thành invariant, và để thị trường vận hành bên trong ranh giới của invariant đó. Đây không chỉ là kỹ thuật, mà còn là một dạng thẩm mỹ của hệ thống.