BlockBreaker

#dusk $DUSK @Dusk
Điều khiến tôi hứng thú về Dusk là luận điểm về quyền riêng tư của nó đang ngày càng ít xoay quanh việc che giấu các giao dịch và nhiều hơn về việc che giấu những phần của tài chính vốn dĩ không bao giờ cần phải công khai ngay từ đầu.

Sự khác biệt đó thật sự quan trọng.

Tài sản tài chính mang theo thông tin nhạy cảm về quyền sở hữu, tính đủ điều kiện, giá cả, chuyển nhượng và thanh toán. Việc đưa toàn bộ nội dung đó vào các hợp đồng thông minh minh bạch tạo ra một sự đánh đổi kỳ lạ: bạn đạt được tính kết hợp (composability), nhưng đồng thời bạn lại phơi bày dữ liệu mà các thị trường được quản lý đã mất hàng thập kỷ để kiểm soát.

Dusk tiếp cận vấn đề từ phía đối diện. Ngăn xếp quyền riêng tư của nó sử dụng bằng chứng không kiến thức (zero-knowledge proofs), PLONK, JubJub, Poseidon và các cấu trúc dựa trên Merkle để chứng minh rằng các quy tắc đã được tuân thủ mà không cần công bố mọi chi tiết nền tảng.

Phần thú vị không nằm ở mật mã học bản thân nó. Mà nằm ở những gì kiến trúc đó có thể cho phép đối với các quy trình vận hành trong tài chính.

Và hướng phát triển kỹ thuật gần đây khiến luận điểm này trở nên đáng tin hơn. Aegis đã nâng cấp việc xác minh trên mainnet lên PLONK V3, đồng thời bổ sung cơ chế bảo vệ đồng thuận và hoàn tiền mạnh mẽ hơn, trong khi công việc phát triển trong tháng 8 tiếp tục siết chặt việc xác thực bằng chứng và dữ liệu mã hóa (ciphertext).

Giờ đây, DuskEVM đã có trên testnet, mang đến cho các nhà phát triển Solidity một lộ trình thực thi quen thuộc bên cạnh ngăn xếp quyền riêng tư gốc của Dusk.

Lời rút ra của tôi: Dusk không thực sự cạnh tranh để trở thành “blockchain riêng tư nhất”. Cơ hội thú vị hơn của nó là trở thành lớp nơi các ứng dụng tài chính có thể vẫn được kiểm chứng mà không biến thông tin nhạy cảm của thị trường thành siêu dữ liệu công khai.

Đó là một bài toán khó hơn nhiều, và cũng hữu ích hơn rất nhiều để giải.

#dusk $DUSK @Dusk
Điều khiến tôi chú ý về Dusk là nó không thực sự cố gắng làm cho blockchain “riêng tư hơn.” Thay vào đó, nó nhằm biến quyền riêng tư thành một “primitive” (khối xây dựng cơ bản) có thể sử dụng như một công cụ thị trường.

Sự khác biệt này quan trọng trong tài chính. Một sổ cái chứng khoán phơi bày mọi số dư, giao dịch và mối quan hệ giữa nhà đầu tư là minh bạch, nhưng thường không thể sử dụng được. Dusk đi theo hướng ngược lại: giữ trạng thái nhạy cảm ở chế độ riêng tư, chứng minh rằng các quy tắc cần thiết đã được tuân thủ, và chỉ công bố những gì mà cơ quan quản lý, tổ chức phát hành hoặc đối tác thực sự cần. Cách tiếp cận này còn “ăn đứt” việc chỉ đơn giản là thêm KYC vào một chuỗi minh bạch.

XSC cũng thú vị vì lý do tương tự. Tuân thủ được xem như logic giao dịch có thể lập trình, chứ không phải là giấy tờ ở “ngoài rìa.” Các quy tắc truy cập, hạn chế chuyển nhượng, hồ sơ sở hữu và các hoạt động doanh nghiệp có thể nằm ngay trong luồng xử lý tài sản. Khi đó, quyền riêng tư ngăn các cơ chế này biến thành giám sát công khai vĩnh viễn.

Những phát triển gần đây quan trọng ở chỗ chúng báo hiệu điều gì, chứ không phải ở tiêu đề. Dusk đang siết chặt giao thức với PLONK V3 và củng cố cơ chế đồng thuận, trong khi lộ trình EVM và bộ công cụ phát triển làm giảm rào cản cho nhà xây dựng. Công việc zk-tooling vào tháng 8/2026 và định hướng vào các thị trường riêng tư được token hóa cho thấy một chuyển dịch lớn hơn: từ “blockchain riêng tư” sang cơ sở hạ tầng tài chính.

Điểm mạnh của Dusk không chỉ nằm ở sự kín đáo. Nó làm cho tài sản được quản lý trở nên riêng tư mà không làm chúng không thể đối soát. Nếu tài chính tokenized đòi hỏi tính bảo mật, khả năng kiểm toán và quyết toán tất định cùng lúc, thì sự đánh đổi này chính là sản phẩm.

#dusk $DUSK @Dusk
Điều tôi thấy thú vị ở mô hình tuân thủ của Dusk là nó coi danh tính ít giống như thứ bạn lưu trữ và hơn như thứ bạn chứng minh.

Citadel 2 tách bạch vai trò một cách rõ ràng. Nhà cung cấp giấy phép xác minh người dùng ở ngoài chuỗi và ký các thuộc tính liên quan. Thông tin chứng thực được đăng ký mà không tiết lộ nội dung, sau đó người dùng có thể tạo một bằng chứng không kiến thức để chứng minh rằng họ sở hữu một chứng thực hợp lệ mà không tiết lộ chứng thực nào, danh tính của họ, hay các thuộc tính nền tảng. Bên cung cấp dịch vụ vẫn là người quyết định tiêu chí nào là đạt và liệu quyền truy cập có được cấp hay không.

Đó là một khác biệt tinh tế nhưng quan trọng so với việc đưa dữ liệu KYC lên chuỗi rồi gọi là tuân thủ. Chuỗi nên xác minh một khẳng định như “người tham gia này được công nhận” hoặc “người nắm giữ đáp ứng quy tắc thuộc thẩm quyền,” chứ không nên phơi bày vĩnh viễn hộ chiếu, địa chỉ hoặc ngày sinh phía sau khẳng định đó.

Hướng phát triển mật mã rộng hơn cũng hỗ trợ kiến trúc này. Công việc Digital Credentials của W3C vào năm 2026 coi việc tiết lộ chọn lọc và các bản trình bày không thể liên kết (unlinkable presentations) là các thuộc tính riêng tư cốt lõi, trong khi bộ mã mật BBS của W3C formal hóa các bằng chứng suy dẫn, nơi người nắm giữ có thể tiết lộ các yêu cầu đã chọn mà không làm cho các bản trình bày riêng lẻ trở nên dễ dàng liên kết.

Quan điểm của tôi là bài toán khó của Dusk không còn nằm ở việc liệu zero-knowledge có thể che giấu dữ liệu KYC hay không. Mà là thiết kế lớp chính sách xoay quanh nó: niềm tin của tổ chức phát hành, thời hạn, thu hồi, thay đổi thẩm quyền, ràng buộc với ví và chống đối tương quan (anti-correlation).

Đó là nơi tuân thủ trên chuỗi trở nên thú vị: không phải tiết lộ danh tính, mà là chứng minh năng lực đủ điều kiện theo kiểu lập trình.

#termmax @TermMax
Điều tôi thấy thú vị nhất ở TermMax là việc vay lãi suất cố định không làm biến mất rủi ro tài sản thế chấp. Nó chỉ chuyển rủi ro sang một nơi khác.

Tôi đã tìm hiểu kỹ hơn logic của Gearing Token, và phần quan trọng là các vị thế vẫn tồn tại trong một khung LTV. Khi tài sản thế chấp giảm đủ sâu, cơ chế thanh lý sẽ được dùng để kiềm chế nợ xấu. Gần thời điểm đáo hạn, rủi ro đó còn trở nên thú vị hơn vì giao thức phải dung hòa một vị thế có thời hạn cố định với một thị trường có thể biến động dữ dội.

Điều đó khiến lớp oracle là phần mà tôi không hoàn toàn tin tưởng mặc định.

Kiến trúc của TermMax hỗ trợ nhiều tuyến định giá và bộ chuyển đổi (adapter) thay vì chỉ dựa vào một nguồn cấp dữ liệu phổ quát. Điều này quan trọng khi tài sản thế chấp là thứ có tính thanh khoản cao như ETH, nhưng các giả định lại khó đánh giá hơn rất nhiều đối với cổ phiếu được token hóa hoặc các tài sản RWA khác. Một mức giá có thể về mặt kỹ thuật là “trên chuỗi” nhưng vẫn bị cũ, mỏng thanh khoản, bị trễ, hoặc tách rời khỏi thanh khoản có thể giao dịch.

Một tình huống stress đơn giản cho thấy vì sao. Giả sử $100 tài sản thế chấp hỗ trợ $85 nợ. Chỉ cần mức giảm 10% là vị thế tiến sát LTV 94%. Một biến động mạnh hơn có thể khiến giao thức phải chạy đua với việc thanh lý trong khi thị trường đang định giá lại nhanh hơn cả oracle.

Vì vậy, tôi ít quan tâm đến việc hỏi liệu TermMax có thanh lý hay không.

Câu hỏi đúng hơn là: liệu việc thanh lý có thể xảy ra ở mức giá phù hợp, đủ nhanh, trong khi tất cả những người khác cũng đang cố gắng thoát ra không?

Theo tôi, đó là nơi mô hình rủi ro thực sự tồn tại.

#dusk $DUSK @Dusk
Tôi đã thấy các nhóm blockchain coi việc “kết nối mạng” như kiểu làm ống nước. Miễn là các khối cứ đến thì kiến trúc hiếm khi được chú ý nhiều.

Kadcast lại khiến tôi nhìn vào lớp đó theo một cách khác.

Dusk không chỉ dựa vào mô hình “nhận, lan truyền, lặp lại” theo cách thông thường. Kadcast tổ chức các peer thông qua một lớp phủ (overlay) có cấu trúc kiểu Kademlia, nhờ đó việc lan truyền tin nhắn có ý thức hơn về vị trí của các nút trong mạng. Nghe có vẻ như một chi tiết cài đặt nhỏ, nhưng nó thay đổi bài toán. Thay vì hy vọng đủ nhiều peer ngẫu nhiên sẽ lan đi một thông điệp nhanh chóng, giao thức đang cố gắng làm cho quá trình lan truyền trở nên có chủ đích hơn.

Điểm tôi thấy thú vị nhất là cách nó xử lý các mạng không hoàn hảo. Kadcast dùng UDP, vốn hi sinh một số đảm bảo về phân phối, rồi bổ sung dự phòng và sửa lỗi chuyển tiếp (forward error correction) để chịu được việc mất gói. Nói cách khác, nó không cố gắng làm cho mạng trở nên hoàn toàn đáng tin cậy. Nó thiết kế dựa trên giả định rằng mạng sẽ lộn xộn.

Cách nhìn đó với tôi còn hữu ích hơn nhiều.

Tin đồn (gossip) truyền thống có được phần lớn độ bền vững từ tính dư thừa. Có vẻ như Kadcast đẩy nhiều “trí tuệ” đó sang việc chọn peer và định tuyến tin nhắn. Đánh đổi là độ phức tạp. Một lớp phủ có cấu trúc giờ đây phải tự bảo vệ các bảng định tuyến, quá trình khám phá peer và giai đoạn bootstrap trước các tác nhân xấu (bad actors) và topology bất lợi.

Vì vậy, tôi ít quan tâm đến các chỉ số benchmark lan truyền thô.

Thử nghiệm thực sự là liệu Kadcast có thể giữ độ trễ ở mức có thể dự đoán khi các nút biến mất, các gói bị rơi, các peer cư xử tệ, và khi mạng ngày càng lớn hay không.

Lan truyền nhanh là hữu ích.

Lan truyền có thể dự đoán trong điều kiện chịu áp lực mới là thứ tôi thực sự muốn đo.

#dusk $DUSK @Dusk
Điều tôi thấy thú vị trong thiết kế quyền riêng tư của Dusk không chỉ là các ghi chú bị ẩn. Mà nằm ở chỗ việc ẩn xảy ra như thế nào, và cần có bao nhiêu giả định đồng thời phải đúng.

Phoenix sử dụng cam kết (commitments) và cây Merkle, trong khi cam kết giá trị (value commitments) thêm một yếu tố làm mù (blinding factor). Các bộ xác thực (validators) có thể kiểm tra tính nhất quán mà không cần học ra giá trị. Các địa chỉ tàng hình (stealth addresses) cũng khiến việc liên kết người nhận khó hơn.

Tầng mã hóa là nơi tôi nhìn kỹ hơn. Phoenix hiện tại dùng AES làm thuật toán mã đối xứng, trong khi ngăn xếp (stack) cũng bao gồm JubJub ElGamal và Poseidon. Thư viện Poseidon của Dusk có chức năng mã hóa, nhưng nói “Poseidon cung cấp tính bảo mật” là quá đơn giản. Cách hiện thực (implementation) đã phát triển, và điều đó quan trọng khi đánh giá an toàn ngữ nghĩa (semantic security).

Câu hỏi thực sự của tôi là liệu phép ghép (composition) đã được chứng minh như một hệ thống duy nhất chưa. Một cam kết có thể che giấu một giá trị và mã hóa có thể che giấu bản rõ (plaintext), nhưng quyền riêng tư vẫn có thể thất bại thông qua siêu dữ liệu (metadata), cách xử lý khóa (key handling), lạm dụng nonce (nonce misuse), tương quan địa chỉ (address correlation), hoặc quan hệ chứng minh (proof relation) bị lỗi. Tôi đã từng thấy điều này: các nguyên thủy mạnh không tự động tạo nên một giao thức mạnh.

Poseidon được xây dựng cho tính toán thân thiện với ZK, còn AES thì đã trưởng thành cho mã hóa nói chung. Điều này có thể giúp hiệu năng, nhưng nó khiến ranh giới giữa mã hóa (encrypt), cam kết (commit) và chứng minh (prove) trở nên quan trọng.

Tôi chưa sẵn sàng để tin vào bản thiết kế vì các thành phần được tôn trọng. Tôi muốn có một lập luận hình thức chứng minh rằng mã hóa ghi chú che giấu giá trị và danh tính. Đó là nơi tuyên bố về quyền riêng tư của Dusk trở thành thứ mà tôi có thể đánh giá.

#termmax @TermMax
Thứ tôi đang xem trên TermMax không phải là TVL. Mà là nơi thanh khoản thực sự được đưa vào sử dụng.

Hiện tại, DefiLlama ước tính TermMax ở khoảng 32,7 triệu USD TVL, với chừng 22,1 triệu USD nằm trong các khoản vay đang hoạt động. Điều đó cho thấy khoảng 67% TVL được báo cáo gắn với hoạt động đi vay, và điều này với tôi còn thú vị hơn con số TVL ở tiêu đề. Ethereum cũng chiếm khoảng 94% TVL, nên câu chuyện “đa chuỗi” vẫn đang tập trung rất mạnh vào một nơi.

Nhưng có một lớp khác mà tôi chưa hoàn toàn tin tưởng: năng lực/công suất. Trên chính giao diện earn của TermMax, vault USDC chính hiển thị khoảng 5,7 triệu USD đã gửi so với công suất 49,1 triệu USD, trong khi một vault WETH có khoảng 241K USD so với 80,9 triệu USD. Đây là một lượng thanh khoản lý thuyết rất lớn nhưng thực tế không ai đang sử dụng.

Chính ở đây tôi liên tục nhận thấy một khác biệt tinh tế giữa “khả năng sẵn có của thanh khoản” và “nhu cầu thanh khoản”. Một thị trường có thể quảng cáo công suất dồi dào nhưng dòng lệnh hoạt động lại mỏng. Với các sản phẩm lãi suất cố định, điều này quan trọng hơn vì thanh khoản nhàn rỗi ở kỳ hạn hoặc mức giá thực hiện (strike) không phù hợp thì không tương đương với thanh khoản có thể sử dụng.

Tôi đã từng thấy điều này trong DeFi: TVL tăng trước, rồi mọi người giả định rằng việc áp dụng đã theo sau. Tín hiệu tốt hơn là mức độ sử dụng theo từng thị trường, kỳ hạn và tài sản. Việc vay stablecoin, tài sản thế chấp ETH và các thị trường gắn với RWA không nên bị gộp chung.

Cơ cấu thị trường hiện tại của TermMax cũng đã hé lộ sự chuyển dịch đó. Giao diện liệt kê USDC, USDT, RLUSD, WETH, WBTC, wstETH và một tập hợp ngày càng mở rộng các tài sản thế chấp RWA, bao gồm cả XAUt.

Câu hỏi thực sự của tôi thật đơn giản: bao nhiêu thanh khoản của TermMax được ghép khớp lặp đi lặp lại, chứ không chỉ được “đỗ” lại? Tỷ lệ đó sẽ nói với tôi nhiều hơn hẳn so với TVL đơn thuần.

#termmax @TermMax
Trò chơi do TermMax tạo ra không phải là để chạy theo APR cao nhất. Mà là để quyết định nơi thanh khoản nên trở nên đắt đỏ.

OrderV2 cho phép các nhà làm thị trường định hình lệnh bằng các đường cong, trong khi dự trữ ảo ảnh hưởng đến giá khi thanh khoản được tiêu thụ. Kho lưu trữ V2 đã được cập nhật vào tháng 7 năm 2026, củng cố rằng kiến trúc lệnh này vẫn đang được phát triển tích cực.

Quan điểm của tôi là các nhà làm thị trường mạnh nên nghĩ theo vùng. Bắt đầu với thanh khoản cạnh tranh, rồi làm đường cong dốc hơn khi mức sử dụng tăng. Đoạn cuối có thể đóng vai trò là giá dự phòng, nơi vốn chỉ sẵn sàng khi mức bù đắp đủ để biện minh cho rủi ro.

Hai nhà làm thị trường có thể cam kết cùng một lượng vốn nhưng vẫn tạo ra kết quả thực thi, mức sử dụng và lợi suất thực nhận khác nhau. Lợi thế nằm ở thiết kế đường cong: biết nơi cần linh hoạt, nơi cần phòng thủ, và nơi nên dừng việc định giá quá rẻ. Điều này đặc biệt quan trọng khi nhu cầu đến không đồng đều giữa các kỳ hạn và trong các điều kiện thị trường khác nhau. Trên TermMax, đường cong chính là góc nhìn về thị trường của nhà làm thị trường.

#dusk $DUSK @Dusk
Hệ thống chứng minh không tri thức: Điều khiến tôi quan tâm đến Dusk không phải là việc nó sử dụng các bằng chứng ZK. Mà là ở chỗ các hệ thống chứng minh khác nhau có thể giải quyết các “nút thắt” khác nhau trong một blockchain tài chính.

Các bằng chứng khoảng dạng Bulletproof rất phù hợp cho các giá trị được giữ bí mật. Chúng có thể chứng minh rằng một khoản tiền ẩn nằm trong một phạm vi được cho phép mà không tiết lộ chính con số đó, và chúng làm điều này mà không cần một thiết lập tin cậy. Đổi lại, chi phí tạo và xác minh bằng chứng sẽ tăng theo độ phức tạp của mệnh đề cần chứng minh.

Hướng phát triển mới hơn của Dusk chuyển nhiều gánh nặng thực thi sang việc chứng minh theo phong cách PLONK. Đây là một điểm khác biệt quan trọng hơn nhiều so với mô tả quen thuộc “Dusk là riêng tư”. Khi các giao dịch bí mật trở thành các hợp đồng lập trình được, vấn đề không còn chỉ là che giấu các con số; mà là chứng minh rằng toàn bộ chuỗi chuyển đổi trạng thái đã tuân theo đúng các quy tắc.

Chính lúc này, thiết kế mạch bắt đầu quan trọng hơn kích thước bằng chứng thuần túy. Một bằng chứng nhỏ nhưng tốn kém để tạo, khó kiểm toán hoặc diễn đạt không mượt mà có thể kém hữu ích hơn một bằng chứng lớn hơn một chút nhưng được hỗ trợ bởi một hệ thống thực thi linh hoạt.

Những phát triển gần đây của Dusk liên quan đến các phiên bản PLONK mới hơn cũng khiến khía cạnh kỹ thuật bảo mật không thể bị bỏ qua. Các hệ thống ZK không trở nên an toàn chỉ vì toán học là đúng. Logic của bộ xác minh, ràng buộc cam kết, các ràng buộc của mạch và các chi tiết triển khai có thể trở thành bề mặt tấn công thực sự.

Vì vậy, tôi sẽ đánh giá Dusk theo cách khác: thời gian của bên tạo chứng minh, thời gian của bên xác minh, kích thước bằng chứng, độ phức tạp của mạch và khả năng chống chịu khi kiểm toán — tất cả cùng nhau.

Câu hỏi thú vị không phải liệu Dusk có ZK hay không.

Mà là liệu kiến trúc bằng chứng của nó có thể vẫn hiệu quả, có thể lập trình và đáng tin cậy khi logic tài chính bí mật ngày càng trở nên phức tạp hơn hay không.

#termmax @TermMax
Tôi đã xem TermMax ít như một giao thức cho vay khác và nhiều hơn như một canh bạc về việc liệu DeFi có thể biến “thời gian” thành một thứ có thể giao dịch được hay không.

Điều đó nghe có vẻ trừu tượng, nhưng nó thay đổi cách tôi nghĩ về sản phẩm.

Phần lớn DeFi cho vay được xây dựng xoay quanh lãi suất biến động. Lãi suất thay đổi thì vị thế của bạn cũng thay đổi, và thị trường liên tục định giá lại chi phí vốn. TermMax đi theo một hướng khác: tách phần gốc khỏi thành phần lãi suất, đồng thời cung cấp cho người dùng một cách để thể hiện kỳ hạn cố định. Trên thực tế, điều đó làm cho câu hỏi bớt đi vào “Tỷ suất sinh lời (yield) là gì?” và chuyển sang “Dòng tiền này có giá trị bao nhiêu cho đến một ngày cụ thể?”

Tôi cứ nhận thấy đây là nơi phần thú vị bắt đầu.

Một thị trường lãi suất cố định cần nhiều hơn thanh khoản. Nó cần thanh khoản ở đúng mức giá, cho đúng kỳ hạn, dựa trên đúng loại tài sản thế chấp. Đó là một bài toán hẹp hơn rất nhiều so với việc một AMM thông thường cố gắng định giá một tài sản so với một tài sản khác.

Cấu trúc range-order của TermMax khiến tôi thấy hứng thú, bởi vì các nhà tạo lập thị trường có thể xác định nơi họ thực sự muốn cung cấp thanh khoản thay vì cứ ngồi mù trong một đường cong định giá duy nhất. Nghe có vẻ nhỏ, nhưng nó có thể quan trọng rất lớn khi lãi suất và điều kiện tài sản thế chấp thay đổi nhanh chóng.

Rồi đến lớp tùy chọn (options).

Tôi không hoàn toàn tin bất kỳ thị trường options nào chỉ vì nó có các mức phí bảo hiểm (premiums) hấp dẫn. Luôn có ai đó gánh phía còn lại của rủi ro. Với tôi, câu hỏi thực sự là liệu TermMax có thể làm cho rủi ro đó đủ minh bạch để các nhà cung cấp thanh khoản có thể định giá một cách hợp lý hay không.

Đó là lý do tôi đang theo dõi giao thức với một góc nhìn khác: không phải APY theo tiêu đề, không phải đòn bẩy, không phải số lượng sản phẩm, mà là liệu kỳ hạn cố định và rủi ro có thể trở thành những “primitive” thực sự có tính thanh khoản trong DeFi hay không.

Phần đó vẫn chưa được chứng minh. Và thành thật mà nói, chính điều đó khiến TermMax đáng để tiếp tục theo dõi.

#dusk $DUSK @Dusk
Tôi đã bắt đầu xem Dusk từ một góc nhìn khác: không phải như một “blockchain về quyền riêng tư”, mà như một hệ thống trong đó môi trường thực thi quyết định mức độ quyền riêng tư thực sự trở nên hữu dụng.

Vì vậy, Rusk VM đã thu hút sự chú ý của tôi. Nó dùng WASM để thực thi hợp đồng, nhưng không dừng lại ở đó. Dusk cung cấp các thao tác mật mã thông qua lớp host của VM, bao gồm băm (hashing), các phép toán trên đường cong elliptic và xác minh zero-knowledge. Trên thực tế, hợp đồng không nhất thiết phải tự triển khai mọi nguyên thủ đắt đỏ một cách trực tiếp.

Tôi nghĩ lựa chọn thiết kế này quan trọng hơn vẻ bề ngoài ban đầu. Một hợp đồng bí mật chỉ thực sự hữu ích khi các nhà phát triển có thể suy luận về chi phí, đầu vào và các đường đi thất bại của nó. ABI của Rusk và bộ công cụ Rust tạo ra một giao diện được xác định rõ giữa mã hợp đồng và các năng lực gốc (native) đó.

Tôi đã từng thấy điều này trong các hệ thống smart contract: phần thú vị hiếm khi nằm ở bản thân ngôn ngữ. Nó nằm ở ranh giới giữa mã ứng dụng và các nguyên thủ cấp thấp nằm bên dưới.

Điều tôi sẽ theo dõi sát với Rusk không phải là một tiêu đề benchmark khác. Tôi muốn hiểu mức độ các lệnh gọi host (host calls) có còn mang tính dự đoán hay không, cách giá gas thay đổi theo thời gian, việc xử lý các thay đổi ABI được tiến hành ra sao, và các nhà phát triển sẽ debug hợp đồng như thế nào khi chính trạng thái (state) được chủ ý che giấu.

Đó là phần tôi thấy thực sự thú vị. Quyền riêng tư ở cấp độ giao thức là một chuyện. Biến quyền riêng tư thành thứ có thể lập trình mà vẫn không biến quá trình phát triển thành một dự án nghiên cứu mật mã lại là một bài toán khó hơn nhiều.

#dusk $DUSK @Dusk
PoBB: Trò chơi ẩn giấu đằng sau bầu cử người dẫn dắt trong Dusk

Tôi thấy PoBB thú vị vì một lý do thường bị bỏ sót khi mọi người gọi nó là “lựa chọn người dẫn dắt riêng tư”.

Ý tưởng sâu hơn là một trình xác thực có thể cạnh tranh để tạo khối mà không cần công khai thông tin khiến họ trở thành mục tiêu hiển nhiên. Trong thiết kế của Dusk, các lượt đấu giá được cam kết và người thắng cuộc cuối cùng có thể chứng minh tính hợp lệ của lượt đấu giá bằng kiến thức bằng không, thay vì chỉ đơn giản là phơi bày toàn bộ bối cảnh đấu giá.

Điều đó thay đổi cuộc chơi.

Trong một hệ PoS minh bạch hơn, việc biết ai có khả năng tạo khối tiếp theo có thể trở thành thông tin hữu ích. Bạn có thể theo dõi số vốn (stake), quan sát các trình xác thực, và xây dựng chiến lược dựa trên sự lãnh đạo có thể đoán trước. PoBB cố gắng loại bỏ một phần khả năng hiển thị đó.

Nhưng tôi không thuyết phục rằng sự riêng tư tự động làm hệ thống an toàn hơn.

Những câu hỏi tôi quan tâm mang tính thực tiễn hơn: điều gì xảy ra khi một người đấu giá thắng cuộc biến mất? Việc kiểm duyệt lặp lại các bằng chứng lượt đấu giá có thể ảnh hưởng đến tính sống động (liveness) không? Các nhà vận hành lớn có được lợi thế nhờ phối hợp không? Và cơ chế chấm điểm có thể chống lại sự thao túng mà không khiến việc tham gia trung thực trở nên quá tốn kém không?

Tôi đã thấy các thiết kế giao thức giải quyết một vấn đề động lực chỉ để chuyển nó sang một nơi ít hiển nhiên hơn.

Chính điều đó khiến PoBB đáng để nghiên cứu. Thí nghiệm thực sự của nó không phải là liệu Dusk có thể che giấu lượt đấu giá của một trình xác thực hay không. Mà là liệu một blockchain có thể duy trì cạnh tranh công bằng khi các đối thủ không thể dễ dàng nhìn thấy nhau hay không.

#dusk $DUSK @Dusk
SMST của Zedger: Có lẽ quyền riêng tư cho chứng khoán cần một hệ thống kế toán trước

Tôi đã xem Zedger từ một góc nhìn hơi khác. Hầu hết các mô hình quyền riêng tư đều hỏi cách ẩn một tài khoản hoặc giao dịch. Chứng khoán lại có một vấn đề khác: quyền sở hữu không chỉ là một con số. Nó thay đổi theo thời gian, quyền chuyển nhượng, quyền biểu quyết, cổ tức và trạng thái phê duyệt.

Vì vậy, tôi chú ý đến Sparse Merkle-Segment Trie (SMST). SMST kết hợp Sparse Merkle Tree với Segment Tree, cho phép Zedger cam kết với trạng thái tài khoản trong khi vẫn giữ các nhóm số dư khác nhau bên trong cấu trúc. Thiết kế này có thể theo dõi các số dư tối đa, có thể chuyển nhượng, đủ điều kiện biểu quyết và đủ điều kiện nhận cổ tức mà không đưa toàn bộ lịch sử tài khoản ra công khai.

Tôi đã thấy các mô hình tài khoản quyền riêng tư khác, chẳng hạn như BlockMaze, tập trung mạnh vào việc ẩn số dư và quan hệ người gửi–người nhận bằng zk-SNARKs. Điều này hữu ích cho thanh toán riêng tư, nhưng chứng khoán doanh nghiệp lại tạo ra một bài toán dữ liệu khác. Thường bạn cần chứng minh rằng một giao dịch chuyển nhượng là được phép, chứ không chỉ đơn thuần chứng minh giá trị đã chuyển.

Đó là lúc Zedger khiến tôi cảm thấy có chủ đích hơn. Cây danh sách trắng (whitelist tree) và cấu trúc bộ nhớ tài khoản gắn với state machine, vì vậy việc tuân thủ không phải là một bảng điều khiển bên ngoài chỉ kiểm tra giao dịch sau khi sự kiện đã xảy ra.

Tôi vẫn thận trọng trước độ phức tạp. Mỗi trường trạng thái bổ sung và mỗi quy tắc chứng minh lại làm tăng chi phí kỹ thuật và xác minh.

Nhưng câu hỏi thú vị không phải là liệu SMST có ẩn số dư hay không. Mà là liệu một mô hình tài khoản mật mã có thể lưu giữ những thực tế lộn xộn của quyền sở hữu chứng khoán mà không biến sổ cái thành một cơ sở dữ liệu cổ đông công khai.

#dusk $DUSK @Dusk
Phoenix khiến tôi nhìn Dusk theo một cách khác.

Tôi nghĩ các hệ thống quyền riêng tư thường bị đánh giá một cách ngược lại. Mọi người hỏi liệu một giao dịch có thể che giấu người gửi, số tiền và điểm đến hay không. Tôi thà hỏi hệ thống đang làm gì bên dưới lớp quyền riêng tư đó, và điều gì xảy ra khi việc sử dụng thực tế bắt đầu chồng chất.

Phoenix dùng một mô hình kiểu UTXO, trong đó DUSK tồn tại dưới dạng các ghi chú riêng tư. Việc chi tiêu sẽ công bố một nullifier để chứng minh rằng ghi chú đã được tiêu thụ rồi mà không tiết lộ chính xác ghi chú nào đã bị chi tiêu. Sự tách biệt này rất quan trọng vì tập quyền riêng tư có thể mở rộng từ lịch sử của các ghi chú, thay vì phụ thuộc vào một vài kẻ mạo danh được chọn tại thời điểm chi tiêu.

Đây là lúc tôi thấy thiết kế thú vị hơn so với cách quảng cáo thông thường “Dusk là riêng tư”.

Câu hỏi khó hơn là hiệu quả.

Phoenix sử dụng các bằng chứng không kiến thức để gắn kết mọi thứ với nhau, và điều đó tạo ra một cấu hình kỹ thuật rất khác so với các hệ thống như Monero (dùng chữ ký vòng cộng Bulletproofs+), hoặc Zcash (thiết kế Orchard mới dùng Halo 2).

Tôi chưa thật sự tin rằng người thắng cuộc là bên có mật mã mạnh nhất trên giấy.

Tôi muốn biết cái giá phải trả cho quyền riêng tư đó: kích thước bằng chứng, thời gian tạo bằng chứng, thời gian xác minh, và các chỉ số đó thay đổi thế nào khi tập ghi chú ngày càng lớn.

Vì quyền riêng tư hoạt động thật tuyệt trong một nguyên mẫu là một chuyện. Quyền riêng tư vẫn giữ được khả năng sử dụng khi chuỗi dữ liệu phải gánh nhiều năm giao dịch lại là một phép thử thú vị hơn rất nhiều.

#dusk $DUSK @Dusk
XSC Standard và sự đánh đổi giữa quyền riêng tư/tuân thủ

Tôi cứ quay lại một câu hỏi khó chịu về XSC: liệu bạn có thể làm cho một giao dịch tài chính được riêng tư mà không khiến logic tuân thủ nền tảng trở nên quá cứng nhắc không?

Điểm thú vị trong thiết kế của Dusk không chỉ là việc các bằng chứng không tri thức có thể che giấu chi tiết giao dịch. XSC được xây dựng dựa trên việc chứng minh rằng một số điều kiện được thỏa mãn mà không phải phơi bày mọi thứ nằm sau bằng chứng. Đặc tả của nó mô tả các loại bằng chứng cho các vấn đề như bao hàm tập hợp, tri thức, đẳng thức, kiểm tra trong một khoảng và ủy quyền, trong khi chính hợp đồng định nghĩa các quy tắc mà một ví phải thực thi.

Nghe có vẻ gọn gàng cho đến khi bạn nhìn sang khía cạnh pháp lý. Quy định hiếm khi là một phát biểu Boolean “đúng/sai” gọn ghẽ. “Nhà đầu tư này có đủ điều kiện không?” có thể biến thành những câu hỏi về thẩm quyền, tình trạng thay đổi, các trường hợp được miễn, nghĩa vụ báo cáo và ai được phép xác minh điều gì.

Tôi đã thấy các hệ thống quyền riêng tư được đối xử như thể mật mã tự nó giải quyết bài toán tuân thủ. Không phải vậy. ZK có thể chứng minh một mệnh đề; nó không thể quyết định liệu mệnh đề đó có phản ánh đúng ý định của cơ quan quản lý hay không. Nghiên cứu về tuân thủ trên blockchain cũng đưa ra cùng một phân biệt: các bằng chứng bảo toàn quyền riêng tư có thể giảm tiết lộ không cần thiết, nhưng các quy tắc về quản trị, ủy quyền và công bố vẫn còn quan trọng.

Vì vậy, tôi thấy XSC thú vị hơn như một bài toán thiết kế hơn là một câu chuyện sản phẩm. Thử thách thực sự là liệu tài chính được quản lý có thể được diễn đạt thành những mệnh đề chính xác, có thể thực thi hay không — mà không âm thầm biến quyền riêng tư thành một lớp “xin phép” khác.

Chính sự đánh đổi đó là nơi công việc nghiêm túc bắt đầu.

Vàng tăng lên trên $4.400, đạt mức cao trong hai tháng

Vàng đã vượt mốc 4.400 USD mỗi ounce, đạt mức cao nhất trong hơn hai tháng, khi giá giao ngay trong thời gian ngắn chạm khoảng 4.435.

Diễn biến này diễn ra khi các nhà giao dịch đánh giá lại triển vọng lãi suất của Mỹ sau dữ liệu việc làm yếu hơn, trong khi hiện sự chú ý đang chuyển sang các số liệu lạm phát quan trọng của Mỹ để tìm manh mối cho bước đi tiếp theo của Fed.

Đối với vàng, câu hỏi quan trọng là liệu người mua có thể duy trì đà tăng trên 4.400 USD hay không—hay việc giá dầu tăng, lợi suất và kỳ vọng tăng lãi suất trở lại sẽ kích hoạt một đợt điều chỉnh khác.
$RAD $BANANAS31 $MITO