ADITYAA-56

Sáng nay, tôi nhận thấy điều gì đó bất thường trên bảng điều khiển danh sách chờ của Dusk Trade. Một vài tài sản hiển thị trạng thái "đã đăng ký" nhưng không hề xuất hiện để giao dịch. Các kiểm tra tuân thủ đã vượt qua, kết nối ví hoạt động bình thường—nhưng các tài sản cứ lặng lẽ nằm đó.

Tôi nghĩ đó là do lỗi cache giao diện người dùng. Có lẽ frontend chưa kịp làm mới. Nghe cũng hợp lý.

Nhưng quá dễ.

Hóa ra đăng ký không đồng nghĩa với sẵn sàng để giao dịch. Các tài sản đó đã được token hóa—phiên bản bọc của các công cụ ngoài chuỗi (off-chain), vẫn tồn tại trong cơ sở dữ liệu truyền thống với chu kỳ thanh toán theo kiểu cũ. Chúng chỉ "onchain" trên danh nghĩa. Nút thắt thực sự không phải là hợp đồng token; mà là toàn bộ quy trình vận hành trên thị trường: các quy tắc đủ điều kiện, yêu cầu công bố thông tin, sự phối hợp giữa thanh toán và thanh toán tài sản.

Dusk Trade nằm phía trên giao thức nền, biến các khối hạ tầng thành các luồng công việc dành cho người dùng. Nhưng phát hành gốc—nơi tài sản được sinh ra trực tiếp trên blockchain kèm theo logic tuân thủ và thanh toán được tích hợp sẵn ở cấp giao thức—lại là một câu chuyện hoàn toàn khác. Muốn làm được điều đó, phải đi qua luật chứng khoán, nhúng tuân thủ MiFID II và MiCA, đồng thời tích hợp với các nền tảng/địa điểm giao dịch được quản lý.

Điều tôi không thể lý giải là: NPEX dự định đưa hơn 300 triệu euro tài sản lên onchain thông qua Dusk. Đây là một luận điểm RWA rất cụ thể. Nhưng nếu phần lớn là token hóa thay vì phát hành gốc, thì liệu chúng ta có đang thực sự tạo ra chuyển biến không? Hay chỉ đang khoác một lớp "da" số lên một hệ thống đã vốn bị hỏng?

Việc sử dụng bền vững rồi sẽ phơi bày sự thật. 👍

Chuyện gì xảy ra khi 300 triệu euro đó thực sự cần được thanh toán?

#dusk $DUSK @Dusk

Hôm nay đã thử một công cụ Dusk được mã nguồn mở, và một kết quả khiến tôi bất ngờ.

Pituitary được xây dựng để bắt khi tài liệu, thông số kỹ thuật và mã nguồn không còn khớp với nhau. Chỉ vào một kho mã, nó lập chỉ mục các spec và các bản ghi quyết định, rồi gắn cờ các điểm khác biệt mâu thuẫn với điều gì đó đã được chấp nhận trước đó. Mình chạy nó với một bản diff thử nghiệm rõ ràng đã làm hỏng một spec hiện có.

Không fail kiểm tra. Nghĩ rằng đó là bug.

Không phải. Công cụ này tìm một bình luận nêu lý do gần chỗ thay đổi—cái kiểu WHY, HACK, hay các dấu hiệu tương tự. Nếu ai đó đã ghi chú rằng sự lệch đó là cố ý (deliberate), nó sẽ đi theo một luồng khác so với việc lệch chỉ do vô tình (plain accidental drift).

Đó chính là điểm tách thực sự. Ở đây, mâu thuẫn và vi phạm không phải là cùng một thứ. Spec nói một điều, code lại nói một điều khác—nhưng vẫn được ghi log thay vì fail nếu con người đã giải thích khoảng trống đó rồi.

Spec được viết và lập chỉ mục, code phân kỳ, bản diff chạy qua check-doc-drift, phát hiện mâu thuẫn. Công cụ tìm các dòng lân cận để lấy dấu đánh dấu đó; những thay đổi cố ý đi theo một đường, còn những cái không được giải thích thì làm build thất bại.

Nhưng không ai kiểm tra liệu dấu đánh dấu đó có còn ý nghĩa hay không. Không gì ngăn người ta viết WHY chỉ để dập tắt cảnh báo, và cũng không có gì kiểm tra liệu lý do ban đầu đứng đằng sau dấu đó của một lần trước có còn đúng hay không.

Điều gì sẽ xảy ra với quy ước đó trên hàng trăm PR mỗi tuần—khi nó đang nằm giữa một lần hồi quy và một lượt vượt qua âm thầm? 👍

#dusk $DUSK @Dusk

Hôm nay tôi đã xem cùng một phương trình được kiểm tra hai lần và suýt lướt qua luôn cả lý do vì sao.

Đọc một bản ghi chú về bảo mật của Dusk, công thức tính phí: giới hạn gas nhân với giá gas bằng phí tối đa. Việc này được thực thi hai lần: một lần khi vào mempool, lần nữa bên trong quá trình thực thi VM.

Lần đọc đầu tiên, tôi nghĩ đó chỉ là sự dư thừa. Thắt dây an toàn, chẳng có gì để đào sâu.

Nhưng không sống sót qua đoạn tiếp theo. Việc chỉ thực thi ở mempool là chưa đủ; một proposer độc hại không bắt buộc phải chỉ chèn phiên bản “đúng mempool” của các trường trong tx.

Đó mới là khoảng trống thực sự. Một giá trị được chứng minh hoặc được ký ở một phần của giao dịch không ràng buộc mọi lớp sau đó sẽ tiêu thụ nó. Ai đó có thể cam kết một khoản phí hợp lệ ngay từ đầu nhưng vẫn đưa một khoản phí khác cho phần thực thi, trừ khi bản thực thi độc lập từ chối việc tin vào lần kiểm tra trước đó đã xảy ra.

Ký và chứng minh phí tối đa, kiểm tra ở mempool, proposer tạo block mà không có nghĩa vụ phải giữ nguyên điều đó; VM sẽ thực thi logic hoàn phí dựa trên thứ thực sự đã đến.

Nó cứ quay lại vấn đề này: phần lớn sự tin cậy nằm ở việc proposer phải trung thực giữa các mốc kiểm tra—và chính giả định đó là lý do tồn tại lần kiểm tra thứ hai, bởi vì không thể dựa vào nó.

Không biết còn bao nhiêu trường khác trong chuỗi xử lý đó chỉ được kiểm tra ở một lớp.

Chuyện gì xảy ra với lần kiểm tra đó dưới tình trạng tắc nghẽn thực sự, khi các proposer bị áp lực phải dựng nhanh? 👍
#dusk $DUSK @Dusk

Cảnh báo đầu tiên xuất hiện từ một dòng dưới sơ đồ vòng đời, dễ bỏ qua.

Một người giải thích cho cộng đồng về DuskEVM nói thẳng: không có cửa sổ lỗi 7 ngày, thời gian hoàn tất rút khoảng ~15 phút, và MIPS pre-verifier loại bỏ độ trễ của bằng chứng gian lận. Con số gọn gàng, tôi nghĩ mình sẽ lên kế hoạch rút tiền dựa theo đó.

Giả định: tài liệu chính thức sẽ xác nhận con số này.

Nhưng không phải những gì tôi tìm thấy. Tài liệu riêng của Dusk mô tả vòng đời DuskEVM trong bốn bước: giao dịch tới sequencer, được đưa vào một khối L2, batcher công bố lên DuskDS, sau đó các cam kết trạng thái và các bằng chứng lỗi liên kết trạng thái đó với việc thanh toán (settlement). Bằng chứng lỗi vẫn được nêu rõ ràng. Không có bất cứ chỗ nào nói 15 phút.

Thay vào đó là một dòng nhắc bạn đừng suy ra tính cuối cùng từ thời gian đã trôi qua, mà hãy kiểm tra trạng thái của giao thức hoặc trạng thái ví.

Khoảng trống thực sự nằm ở đó. Việc đưa vào (inclusion) diễn ra nhanh, tài liệu cũng tự nói như vậy. Còn việc thanh toán là một phần riêng, bị kiểm soát bởi một thứ mà chẳng ai đặt đồng hồ đo.

Vậy bước bằng chứng lỗi không hề biến mất; nó chỉ không được ghi lại theo cách hệ thống thách thức permissionless của Optimism, nơi bất kỳ ai cũng có thể chạy prover và theo dõi việc tranh chấp diễn ra.

Không biết điều đó có được nén lại và giải quyết riêng tư, hay đơn giản là chưa công khai.

May là tôi kiểm tra trước khi định rút tiền dựa vào con số của người khác.

Con số 15 phút đó sẽ ra sao trong lần đầu tiên một bằng chứng lỗi cần được tranh chấp giữa lúc đang cao điểm thanh toán? 👍

#dusk $DUSK @Dusk

Hôm nay tôi đã đóng một vị thế đòn bẩy trên TermMax thông qua bảng điều khiển. Chỉ một lần bấm, ký, xong.

Tôi nghĩ con số đó chỉ đơn giản là “đóng” theo nghĩa đó. Bán tài sản thế chấp, tất toán nợ, phần chênh lệch được hoàn lại.

Hóa ra có một cách cụ thể như vậy để đóng, chứ không phải cách duy nhất.

Blog chính thức của TermMax có một hướng dẫn riêng để đóng thủ công: mua lại FT mà bạn đã bán ban đầu để mở vị thế, dùng nó để hủy nợ trực tiếp, và toàn bộ tài sản thế chấp của bạn được hoàn nguyên nguyên vẹn. Không có bán cưỡng bức khi đến hạn đóng.

Đường đi trên bảng điều khiển thì bán tài sản thế chấp ngay lúc đó, theo mức giá mà thị trường đưa ra. Còn cách thủ công thì bỏ qua bước đó; bạn sẽ là người quyết định khi nào và cách nào để bán sau.

Trong ví dụ họ tự tính sẵn, mở với lãi suất vay khoảng 7%, rồi đóng khi lãi suất cho vay gần 15%, và việc hoàn trả thủ công trả về thêm 1,89%. Với một vị thế 1 triệu USD, tức là còn hơn 18k USD bị bỏ lỡ chỉ từ một lần bấm.

Tôi vẫn chưa biết khoảng chênh đó thường rộng đến mức nào, hoặc liệu nó có được “gộp” vào giao diện sau khi V2 ra mắt hay không.

Vẫn tự hỏi điều gì sẽ xảy ra khi một loạt vị thế đóng cùng lúc—ai cũng bấm vào đúng thao tác bán mặc định trên cùng một tài sản thế chấp có tương quan.

@TermMax đã ghi lại đầy đủ chi tiết 👍 #TermMax
Có ai ở đây đã đóng thủ công thay vì chỉ bấm nút không?

#termmax @TermMax

Tôi đang đọc các thông báo sau mainnet của Dusk vào một đêm nọ thì tình cờ bắt gặp một điều mà tôi nghĩ xứng đáng được chú ý nhiều hơn so với mức hiện tại. Nằm ẩn dưới câu chuyện chung về hạ tầng là Dusk Pay — một mạch thanh toán tuân thủ MiCA, được thiết kế riêng cho các tình huống sử dụng trong doanh nghiệp, nơi cần stablecoin đi kèm mức độ chịu trách nhiệm pháp lý cao. Điều khiến tôi ấn tượng là quan hệ hợp tác Quantoz nằm ngay bên dưới nó — một tổ chức tiền điện tử của Hà Lan đã phát hành EURQ, một đồng euro kỹ thuật số được phân loại là Electronic Money Token (Token tiền điện tử) theo MiCA, khiến nó về mặt pháp lý phù hợp như một phương tiện thanh toán. Tôi đôi khi tự hỏi liệu sự khác biệt giữa stablecoin và EMT thực sự có quan trọng về mặt vận hành như nó có ý nghĩa về mặt pháp lý hay không, và liệu các tổ chức thậm chí đã hiểu rõ khác biệt đó chưa.

Điều đáng chú ý là sự kết hợp này vừa hẹp vừa có chủ đích. Việc EURQ trên Dusk đồng nghĩa với việc một sàn giao dịch chứng khoán hoàn toàn on-chain trở nên khả thi về mặt cấu trúc — các chứng khoán được phát hành, giao dịch và thanh toán bằng một đơn vị tiền tệ tương đương được công nhận hợp pháp, tất cả trong một môi trường tuân thủ duy nhất. Câu hỏi nảy ra là liệu kiểu “khép kín” đầu-cuối như vậy có thực sự giảm ma sát cho các tổ chức hay không, hay nó lại tạo ra một sự phụ thuộc mới vào việc tư cách pháp lý của chính Quantoz tiếp tục được duy trì nguyên vẹn trong tương lai vô thời hạn.

Tôi không hoàn toàn chắc thỏa thuận đó sẽ bền vững đến mức nào nếu tình trạng pháp lý hoặc vận hành của bất kỳ một đối tác nào trong chuỗi thay đổi bất ngờ. Nhìn từ bên ngoài, kiến trúc này trông có vẻ tinh tế chính xác vì nó liên kết các thực thể được cấp phép với nhau, nhưng sự phụ thuộc lẫn nhau đó cũng có hai mặt — mạnh lên nhờ phối hợp, và dễ tổn thương cũng vì cùng một điểm ấy.

Điều đó khiến tôi nghĩ rằng mô hình tuân thủ của Dusk chỉ bền vững ở mức độ của mắt xích được cấp phép yếu nhất mà nó phụ thuộc, và đây thực sự là một câu hỏi còn bỏ ngỏ. Dù sao thì thời gian sẽ trả lời thôi 👍

#dusk $DUSK @Dusk

$BTC vừa bứt phá khỏi một falling wedge (mô hình nêm giảm) trên khung thời gian theo tuần, và đây là một cấu trúc mà tôi chắc chắn muốn theo dõi kỹ. 📈

Vụ bứt phá là tăng giá, nhưng với tôi phần quan trọng bây giờ là liệu Bitcoin có thể giữ vững trên vùng bứt phá hay không.

Nếu bên mua duy trì quyền kiểm soát, tôi nghĩ $84K có thể là một mục tiêu thực tế trong vài tuần tới.

Tuy nhiên, điều đó không có nghĩa là chúng ta sẽ đi thẳng lên. Một nhịp điều chỉnh về $65K-$66K vẫn hoàn toàn có thể xảy ra, và thật lòng thì tôi thà thấy một lần retest (kiểm tra lại) lành mạnh hơn là BTC lao thẳng lên mà không hề “nghỉ”.

Tôi đã học được bài học là đừng đuổi theo những vụ bứt phá kiểu này sau khi từng bị mắc kẹt trong việc mua quá sớm ở những thiết lập tương tự. 😅

Tạm thời, giữ được vùng bứt phá = xu hướng tiếp diễn tăng giá.
$BTC

#BTC #Bitcoin #Crypto #Trading #DYOR

Điều đầu tiên tôi nhận thấy hôm nay là vị thế FT-USDC của tôi trên TermMax đang ở trạng thái "active" đã trôi qua vài giờ so với mốc thời gian đáo hạn. Ví trống. Đã làm mới hai lần.

Đổ lỗi cho bảng điều khiển. Nghĩ rằng nó bị trễ so với chuỗi.

Không phải thế.

Đáo hạn chỉ có nghĩa là đồng hồ đã hết, không phải là bạn đã được thanh toán. Nếu bên vay không hoàn trả, khoản vay sẽ bị gắn cờ và người thanh lý sẽ có một cửa sổ 2 giờ để đổi tài sản thế chấp đó thành USDC.

Có vẻ không ai lấy của tôi. Cửa sổ đóng lại, cơ chế giao hàng vật lý được kích hoạt, và cuối cùng tôi lại phải giữ tài sản thế chấp thô thay vì đồng stablecoin mà tôi đã cho vay.

Điều tôi cứ quay lại suy nghĩ: người thanh lý chỉ bận tâm nếu phần thưởng 5% đủ để trang trải gas và trượt giá trên DEX. Thị trường sâu thì dễ kiếm tiền. Thị trường mỏng thì có thể chẳng ai di chuyển.

Không chắc cửa sổ của tôi bị đóng khi trống là do lý do đó, hay do thanh khoản ở phía tài sản thế chấp. Tài liệu không nói rõ là vì cái nào, cũng không có dữ liệu theo hướng nào.

Khiến tôi tự hỏi chuyện gì sẽ xảy ra nếu một loạt GT vi phạm LLTV vào đúng cùng một ngày đỏ, tất cả cùng tranh nhau thanh khoản mỏng trong các cửa sổ 2 giờ chồng lấp. Cơ chế dự phòng có hoạt động vững không, hay "bảo vệ" chỉ đơn giản là việc nắm giữ tài sản thế chấp đang sụp đổ ngay tại thời điểm bạn muốn được an toàn.

@TermMax đã tài liệu hóa tất cả điều này khá rõ ràng 👍 #TermMax

Có ai ở đây từng gặp trường hợp giao hàng vật lý kích hoạt trên một vị thế đang hoạt động không?

#termmax @TermMax

Tôi đã nhận ra một điều trong năm qua khi theo dõi sổ lệnh của cái gọi là các tài sản “riêng tư”: thị trường tưởng thưởng tính minh bạch nhiều hơn người ta thừa nhận. Mỗi lần tôi giao dịch một token được quảng bá là riêng tư, thanh khoản lại mỏng hơn và chênh lệch (spread) rộng hơn, vì những nhà tạo lập thị trường ghét việc không biết họ đang định giá cái gì. Niềm tin rằng “riêng tư giết chết thanh khoản” là một giả định tôi đã mang theo suốt nhiều năm.

Rồi tôi bắt đầu chú ý đến Dusk. Điều khiến tôi dừng lại không phải là lời chào mời về riêng tư, mà là mô hình giao dịch hai lớp (dual transaction), cho phép người dùng và các tổ chức chọn giữa luồng minh bạch dựa trên tài khoản và một luồng được che chắn (shielded) ngay trong cùng một lớp nền tảng (base layer). Nó không phải là “gắn riêng tư lên trên”, mà là một lựa chọn mang tính cấu trúc được tích hợp vào cơ chế quyết toán.

Đây là chỗ tôi nghĩ phần lớn mọi người bỏ lỡ hiệu ứng bậc hai. Tết lộ có chọn lọc không chỉ bảo vệ người dùng; nó còn cho phép các tổ chức chứng minh tuân thủ mà không phải rò rỉ quy mô vị thế (position size) cho đối thủ cạnh tranh. Đây không phải là tính năng riêng tư, mà là một công cụ tạo bất cân xứng thông tin. Nếu điều này hoạt động, nó có thể âm thầm định hình lại cách thanh khoản được quản lý theo quy định vận hành trên chuỗi.

Điều tôi lo nhất là rủi ro thực thi. Tài chính được quản lý di chuyển chậm, và tính hữu dụng của DUSK gắn với các quan hệ đối tác như NPEX—thực sự chuyển hóa thành khối lượng quyết toán (settlement volume) chứ không chỉ dừng ở tiêu đề. Ngoài ra, các khoản phát hành phần thưởng (staking emissions) cũng cần được hấp thụ bởi nhu cầu thật, chứ không chỉ được “tái chế” bởi các trình xác thực (validators) chờ đến lần mở khóa tiếp theo.

Thứ tôi thực sự đang theo dõi là tỷ lệ giữa khối lượng giao dịch minh bạch và giao dịch được che chắn theo thời gian, mức độ tham gia staking so với tổng cung lưu hành, và liệu hoạt động của nhà phát triển trên DuskEVM có biến thành việc sử dụng thường xuyên thay vì một làn sóng di chuyển một lần.

Việc “riêng tư theo quy định” trở thành một cấu trúc thị trường thực sự hay vẫn chỉ là một thí nghiệm hẹp là một câu hỏi còn bỏ ngỏ, và tôi không nghĩ chính bản thân chuỗi sẽ trả lời điều đó—mà là các tổ chức lựa chọn xây dựng trên đó.

#dusk $DUSK @Dusk

Hôm nay tôi thử ứng dụng V2 mới của @TermMax, cho vay USDC vào một thị trường cố định trên Arbitrum.

V1 chia thanh khoản theo nguồn: lệnh giới hạn theo dải của curator ở một tab, lệnh giới hạn cho bên cho vay và bên đi vay ở tab khác. V2 cho bạn một báo giá duy nhất, ký một lần là xong.

Tôi nghĩ điều đó có nghĩa là chỉ có một bên đối tác đứng đằng sau.

Không chịu nổi năm phút bấm bới. Báo giá là thống nhất, nhưng thanh khoản thì không. Phần khớp của tôi được ghép từ một lệnh theo dải của curator cộng thêm vài lệnh giới hạn riêng lẻ, theo những gì tôi có thể nhận ra.

Một báo giá không phải là một bên cho vay. Đó là quyết định định tuyến được khoác lên một con số duy nhất.

Để con số đó có ý nghĩa, yêu cầu của tôi được lấy nguồn trên nhiều chuỗi, đối chiếu với bất cứ thứ gì đang nằm sẵn ngay lúc đó, gói lại, ký một lần, rồi được thanh toán trên chuỗi. Mọi lớp đều phải phối hợp trước khi “một báo giá” trở thành một vị thế.

Thứ tôi cứ quay lại: những maker đó để thanh khoản của họ nằm đó vì lúc này đó là việc đáng để họ làm, không có gì ràng buộc họ phải ở lại. V2 chỉ che giấu bạn đang dựa vào cái nào. Tôi đã đo kích thước khoản nạp trước khi kiểm tra điều đó—đúng kiểu người mới, nhìn lại thì thấy sai.

Vẫn chưa tìm được bảng phân rã phần khớp theo nguồn. Có thể nó tồn tại và tôi đã bỏ lỡ.

“ký một lần” sẽ xảy ra thế nào khi một kỳ hạn phổ biến kéo một làn sóng tiền gửi vào cùng lúc, trên mọi chuỗi, đồng thời chạm vào chính những nguồn thanh khoản đang mỏng đi đó? 👍

#TermMax

#termmax @TermMax

Mình đang lướt qua các ghi chú TermMax V2 trước đó và thấy mình cứ dừng lại ở phần thiết kế kho lưu trữ (curator vault). Ý tưởng rằng các nhà quản lý chuyên nghiệp có thể rút vốn từ người gửi tiền, rồi phân bổ nó sang nhiều thị trường kỳ hạn khác nhau, đồng thời chọn một nguồn lợi suất cơ sở như một vault ERC-4626, trông giống như một nỗ lực âm thầm nhằm giải quyết vốn nhàn rỗi mà không bắt buộc mọi người dùng đều phải trở thành nhà tạo lập thị trường.

Điều đáng chú ý là tính năng lệnh “atomic” cho phép cùng một thanh khoản có vẻ như sẵn có trên nhiều thị trường cùng lúc, nhưng chỉ được lấy đi đúng một lần. Nó khiến mình suy nghĩ rằng liệu tính đồng thời này thực sự có cải thiện mức sử dụng hay chỉ tạo ra một ảo giác về độ sâu, thứ sẽ biến mất ngay khi một người vay lớn bước vào. Nhìn từ bên ngoài, lớp lợi suất cơ sở có thể kết hợp (composable) trông có vẻ tinh gọn trên giấy, nhưng đôi khi mình lại tự hỏi liệu các curator sẽ cuối cùng cạnh tranh nhiều hơn dựa trên các nguồn lợi suất lãi suất thả nổi bên dưới của họ, thay vì dựa vào kỹ năng định giá lãi suất cố định thực sự.

Câu hỏi xuất hiện trong đầu là liệu người gửi tiền có hiểu đầy đủ các rủi ro “tầng lớp” mà họ phải gánh chịu hay không, khi một vault nằm một phần ở Morpho hoặc Aave, đồng thời cũng đăng các lệnh theo dải (range orders). Mình không chắc các cơ chế timelock và guardian đã đủ hay chưa, khi dòng vốn bắt đầu di chuyển nhanh hơn giữa các chuỗi. Hệ thống vẫn đang tiến hóa hướng tới hiệu quả sử dụng vốn thực sự, hay độ phức tạp trong việc phối hợp các lệnh này cuối cùng sẽ vượt quá khả năng quản lý sạch sẽ của curator trung bình?

Cấu trúc hôm nay có vẻ được cân nhắc kỹ lưỡng, nhưng việc nó sẽ vận hành ra sao khi quy mô thực sự và áp lực thị trường ập đến vẫn là một câu hỏi bỏ ngỏ — dù sao thì thời gian sẽ trả lời🚀

@TermMax #TermMax