#dusk $DUSK @Dusk 盯着 tài liệu của Dusk suốt gần bốn mươi phút, tôi cứ lặp đi lặp lại một câu hỏi: Moonlight và Phoenix rốt cuộc giải quyết vấn đề này theo cách nào?
Moonlight đi theo lộ trình tài khoản công khai. Số dư, người gửi, người nhận và cả số tiền đều được ghi thẳng lên chuỗi—ai cũng xem được. Thứ này phù hợp cho các kịch bản như nạp tiền ở sàn giao dịch hoặc đối soát giữa các tổ chức, nơi mọi thứ phải minh bạch. Phoenix lại hoàn toàn là logic khác: tài sản được chuyển thành một note được mã hoá, ẩn trong cây Merkle. Khi bạn chi một khoản tiền, bạn không lộ rõ cụ thể mình đang tiêu tờ note nào; thay vào đó, bạn chỉ ném vào một nullifier kèm một bằng chứng ZKP. Mạng có thể xác minh rằng bạn có tiền và không bị chi hai lần (double spend), nhưng không thấy được số tiền hay người gửi. Khi cần kiểm toán thì có thể dùng viewing key để tiết lộ chọn lọc.
Đầu tháng tôi từng vướng một vấn đề tương tự khi viết ghi chú về chuyển khoản SEPA: giữa hai hệ thống ngân hàng, đối soát mà trạng thái không khớp thì đau đầu thế nào—hồi đó tôi bị quần đến tận hai giờ sáng.
Nếu blockchain cũng đem làm hai sổ cái tách biệt cô lập như vậy, thì thà làm theo tài chính truyền thống còn hơn.
Lúc ấy tôi hơi bực, cảm thấy tài liệu giải thích cho vấn đề này chưa đủ rõ ràng. Tôi lật đến phần kiến trúc hợp đồng của module Rusk, hai đoạn đầu đọc xong không thấy gì đặc biệt—chỉ là mô tả cấu trúc dữ liệu của Moonlight và Phoenix. Cho đến khi lật sang đoạn thứ tư, thấy trong phần định nghĩa interface của Transfer Contract có dùng kiểu enum cho payload, tôi mới nhận ra ý đồ thiết kế của nó.
Transfer Contract chính là một cổng điều phối. Nó nhận payload với nhiều định dạng khác nhau—có định dạng của Moonlight, có định dạng của Phoenix. Hợp đồng không quan tâm bạn đến từ đâu; nó chỉ quan tâm payload mang những trường dữ liệu gì, rồi chuyển tiếp (route) sang logic xác thực tương ứng. Xác thực của Moonlight thì đọc trực tiếp trạng thái tài khoản công khai, còn xác thực của Phoenix thì chạy ZK proof. Khi cả hai phía xác thực đều thành công, thì kết quả được ghi vào cùng một cây trạng thái toàn cục. Tôi phải ngẫm khá lâu mới hiểu được điểm mấu chốt ở bước này: nếu bạn gộp hai cây trạng thái lại thành một cây, thì việc chuyển một khoản tiền từ tài khoản công khai sang một note riêng tư về bản chất chỉ là một lần chuyển đổi payload—không cần cầu nối liên chuỗi (cross-chain bridge), cũng không cần giao thức đồng bộ phức tạp. Cập nhật trạng thái mang tính nguyên tử: hoặc tất cả đều thành công, hoặc tất cả đều quay lại (rollback).
#dusk $DUSK @Dusk Hôm qua tôi đọc được một tin nhắn: NPEX đã ra mắt một giải pháp lưu ký (custody) do Dusk cung cấp. Tôi lướt tiếp xuống và càng xem càng thấy thú vị. Nó khác hoàn toàn với mọi giải pháp lưu ký ngoài thị trường—tài sản nằm trên chuỗi, khóa cá nhân nằm trong tay bạn, và cơ quan quản lý vẫn có thể kiểm tra được.
Trước đây tôi chưa từng thấy kiểu này.
Ai đã tìm hiểu về ngành lưu ký đều biết rằng lâu nay chỉ có hai hướng. Hoặc bạn giao khóa cá nhân cho bên thứ ba để đáp ứng yêu cầu quản lý, nhưng về bản chất tài sản không còn nằm trong tay bạn nữa. Hoặc bạn tự quản lý khóa cá nhân—an toàn thì an toàn, nhưng khi cơ quan quản lý hỏi về tính tuân thủ, bạn lại không chứng minh được. Luôn phải chọn một trong hai, không có lựa chọn thứ ba.
Dusk cùng với giải pháp lưu ký zero-trust mà Cordial đề xuất đã mở ra đúng “hướng thứ ba” đó. Đây không phải lưu ký bởi bên thứ ba, mà là một bộ công nghệ ví tự lưu ký mang tên Cordial Treasury: tổ chức tự triển khai, tự quản lý, và khóa cá nhân luôn nằm trong ví phần cứng của chính tổ chức. Khi một sàn giao dịch được cấp phép như NPEX triển khai bộ giải pháp này, cơ quan quản lý có thể xác minh vị thế của tổ chức có tuân thủ hay không thông qua chứng minh không kiến thức (zero-knowledge proof). Xác minh xong là họ rời đi ngay—không chạm tới khóa cá nhân.
Bạn không cần phải giao khóa đi, cũng không cần đưa tài sản cho mọi người xem. Bạn có thể chứng minh mình tuân thủ quy tắc, nhưng không phải bày hết “gia tài” ra. Hai nút thắt đã quấn nhau suốt mười năm—“tự lưu ký” và “tuân thủ”—lần đầu tiên được tháo gỡ.
Trước đây tôi luôn nghĩ rằng chứng minh không kiến thức còn rất xa thực tiễn, kiểu như thứ của giới học thuật. Nhưng lần này Dusk lại nhét nó vào một kịch bản lưu ký thực sự, và còn chạy trên một nền tảng được quản lý. Không phải thử nghiệm khái niệm, không phải testnet—mà là thứ đang được dùng thật.
Chuyện này khiến tôi có cái nhìn khác về Dusk. Trước đó, khi xem các cơ chế đồng thuận, kiến trúc và mô hình kinh tế của nó, tôi thấy đó đều là các vấn đề mang tính kỹ thuật. Nhưng giải pháp lưu ký này cho tôi thấy nó đang giải quyết một vấn đề cụ thể và kéo dài—niềm tin rốt cuộc nên được tái thiết lập trên blockchain như thế nào?
Câu trả lời của Dusk là: niềm tin không được tạo ra bằng cách từ bỏ quyền kiểm soát, mà bằng khả năng xác minh. Bạn không cần giao khóa đi, nhưng vẫn có thể khiến người khác tin bạn.
#dusk $DUSK @Dusk Nửa đêm không ngủ được lại lật “sách trắng”, lật tới trang phần cơ chế xác minh KYC, tôi ngớ người luôn. Không phải vì nội dung làm tôi chấn động—mà là vì bỗng dưng tôi nghĩ ra một câu hỏi: liệu tôi có dám để tiền của mình trên một chuỗi hoàn toàn ẩn danh không? Nghĩ mười giây, câu trả lời là không. Rồi tôi nhận ra: những tổ chức nắm mấy trăm tỷ kia, có lẽ cũng giống tôi, không dám.
Trong đầu tôi thoáng qua một cảnh tượng: nếu tôi thật sự gửi tiền lên một chuỗi ẩn danh, ngày hôm sau cái “hồ” bị rút sạch, tôi đứng trước địa chỉ ví đó mà gào “Trả tiền lại cho tôi”. Đối phương dù có thể trả lời “Tôi là ẩn danh”, thì tôi cũng coi như họ biết điều đôi chút. Rồi sao nữa? Không có gì nữa. Ngân hàng truyền thống mất ít tiền của bạn thì bạn gọi điện được, ra quầy đập bàn được, kiện được. Trên chuỗi thì bạn chỉ có thể nhìn chằm chằm trình duyệt blockchain, nhìn cái địa chỉ đó phát đi phát lại mà thôi.
Dusk yêu cầu người xác minh phải định danh thực. Nhìn thì giống như “phi tập trung” bị thụt lùi. Nhưng nếu đứng trong đôi giày của một tổ chức mà nghĩ thì, họ căn bản không cần thứ “ẩn danh tự do”. Thứ họ cần là khi có sự cố thì có thể tìm ra người thật.
Sau đó tôi thông suốt: Dusk không phải chỉ muốn ẩn danh tuyệt đối hay công khai tuyệt đối. Nó muốn một trạng thái trung gian—bạn có thể chứng minh mình là ai, nhưng không phải dán giấy tờ căn cước thẳng lên mặt. Hệ thống nhận dạng của Citadel phối hợp với bằng chứng không kiến thức để làm điều này. Cũng giống như vào một câu lạc bộ cao cấp: bảo vệ ở cửa biết bạn là ai, còn khách bên trong thì không cần moi hết “cả nhà” ra lộ mặt nhau. Kết hợp với khung quản lý kiểu MiCA và MiFID II, giải pháp này còn phức tạp hơn nhiều so với thứ tôi vừa mới hình dung ban đầu, nhưng lại cũng thực tế và vững vàng hơn.
Ngày 7/1/2026, mainnet chính thức được đưa vào vận hành. Chu kỳ phát triển sáu năm cuối cùng cũng đã được triển khai xong. DuskEVM chạy đồng bộ lên, các nhà phát triển Solidity có thể trực tiếp xây dựng trên nền tảng đó. Các thành phần cốt lõi như DEX và cầu nối liên chuỗi cũng đã được nâng cấp hoàn tất. Mạng yêu cầu hơn một phần ba số người đặt cược phải tuân thủ quy định; kẻ làm loạn hoặc cắm mặt đi lâu ngày sẽ bị phạt bằng cách cắt đặt cược. Thời gian khối 10 giây—với tài sản được token hóa thì tốc độ này là đủ.
Trước đây khi đọc sách trắng, tôi lướt qua kiểu “chương cơ chế xác minh” nhắm mắt cho qua, vì tôi nghĩ chẳng liên quan gì tới mình. Trang của Dusk thì tôi lật đi lật lại vài lần. Không phải vì nó viết hay lắm, mà vì nó làm tôi hiểu ra một điều: đánh giá một dự án có tốt hay không, không phải nhìn khẩu hiệu nó hô to cỡ nào, mà là xem nó có dám thay người dùng giải quyết trước điều mà họ “không dám” hay không.
#termmax @TermMax Bản thảo trắng Mục 6 có một chi tiết: khi so sánh khớp lệnh lãi suất cố định và AMM lãi suất thả nổi, họ muốn chứng minh “an toàn hơn”. Nhưng đọc kỹ sẽ thấy rằng tính an toàn của việc thanh toán theo từng kỳ hạn lại bị trói chặt với hiệu quả thanh lý.
Ta có thể thấy LTV đạt ngưỡng được Chainlink tự động kích hoạt: đặt cửa sổ mở 2 giờ, bất kỳ người thanh lý nào tham gia đều được thưởng 5%. Sau khi thanh lý một phần, tài sản thế chấp còn lại sẽ được hoàn trả cho bên vay; chỉ khi trong cửa sổ 2 giờ mà không được thanh lý hoàn toàn, thì mới kích hoạt giao dịch vật chất—người nắm giữ FT sẽ nhận tài sản thế chấp theo tỷ lệ. Vấn đề nằm ở 2 giờ: trong biến động cực đoan, giá có thể lại rơi thêm một lớp nữa; nếu người thanh lý đứng ngoài quan sát, cuối cùng nợ xấu sẽ do toàn bộ người dùng trong pool gánh. Bản thảo trắng nói “giao dịch vật chất” đóng vai trò bảo hiểm, nhưng bản chất là dùng lợi nhuận của lenders để bù cho tài sản thế chấp, chứ không phải “không tổn thất”.
Giống như cửa sổ giảm giá hàng tươi sắp hết hạn 2 giờ: lúc thị trường ổn định thì ổn, nhưng khi lao dốc mạnh thì hoặc là không đủ thời gian, hoặc là lãng phí. TermMax đúng là “dẫm” vào thế lưỡng nan này: cửa sổ quá ngắn thì thanh lý chưa đủ; quá dài thì nợ xấu tích lũy—không có lựa chọn hoàn hảo.
Bản thảo trắng nói quyền hạn bị giới hạn ở các tham số như đường cong lãi suất, tỷ lệ phí,... còn việc thanh lý do oracles và người thực thi quyết định. Nhưng tham số chính là lợi ích—phạt thanh lý 10%, trong đó 5% cho người thanh lý và 5% vào kho dự trữ của giao thức. Công dụng của kho do quản trị TMX quyết định, đây mới là điểm cần soi.
May là giao thức có cơ chế kiềm chế: thay đổi các tham số quan trọng phải qua thời gian chờ khóa timelock (tối thiểu 1 ngày, tối đa 30 ngày); trong thời gian đó, người giám sát có thể rà soát và hủy bỏ. Nhưng khi quyền lực—đặt cược—tập trung, hướng quản trị vẫn có thể nghiêng về phía “cá mập”; cơ chế kiềm chế chỉ có thể trì hoãn, không thể đảo ngược.
Nếu bạn hỏi quan điểm của tôi, tôi nghĩ đừng bị “công thức toán học của lãi suất cố định” dọa—mỗi thiết lập tham số đều là sự phân phối lợi ích. Khi phân tán quyền lực, cơ chế có thể tiệm cận “gần như không rủi ro”; khi quyền lực tập trung, thì đó là một “pool tiền ẩn” được mạ vàng. DYOR, hãy xem tham số do ai đặt và cách điều chỉnh thế nào. Cửa sổ thanh lý là để người dùng có thêm sự an toàn, hay để dành khoảng trống vận hành cho người nắm quyền lớn? Hẹn gặp bạn ở phần bình luận.
#dusk $DUSK Những năm gần đây nhìn “privacy chain” (chuỗi quyền riêng tư) gặp sự cố, tôi dần hình thành một thói quen: không quá quan tâm liệu các thuật toán mã hóa có bị bẻ khóa hay không, mà ngược lại, trước hết xem người giữ lại “cửa sau hợp规” rốt cuộc có bị ràng buộc ở mức nào. Đã thấy quá nhiều dự án về quyền riêng tư “nổ”/bể kèo, gốc rễ không phải là bằng chứng không tri thức (zero-knowledge) bị tấn công phá hỏng, mà là thiết kế quyền ngay từ đầu đã mặc định rằng “đội dự án sẽ không bừa bãi đụng vào dữ liệu người dùng”. Chỉ cần một lần mặc định ấy không còn đúng, tài sản của người dùng và dữ liệu giao dịch sẽ bị lộ trần trụi chỉ là sớm hay muộn. Việc tôi dừng lại đến từ quy trình thực thi ZkKYC của phiên bản RC trên mainnet của <a>@dusk_foundation</a>. Nó không phải là thêm một “khối hợp规” cho privacy chain, mà là biến thẳng “ai có thể xem dữ liệu của tôi” thành những quy tắc cứng mà mạch (circuit) điện toán không tri thức có thể tự kiểm chứng. Trước khi người dùng bật quyền kiểm toán (audit), các quy tắc đã phải vượt qua phán đoán mạch của mô-đun Citadel nguyên sinh: thông tin/giấy tờ danh tính tự người dùng giữ cục bộ, còn trạng thái giao dịch được mã hóa bằng cam kết Pedersen; logic kiểm chứng thì được công khai trên toàn bộ chuỗi. Dù là phía dự án cũng không thể lách mạch để tự ý trích xuất dữ liệu người dùng. Chứng minh không tri thức đảm bảo chính bản thân quá trình kiểm tra quyền không bị can thiệp; ngoài phạm vi ủy quyền mà người dùng đã thiết lập, mọi yêu cầu kiểm toán đều không thể truy xuất dữ liệu dạng văn bản rõ (plaintext). #dusk Cách nghĩ này giống như đi ngân hàng để xin “giấy xác nhận tài sản”: nhân viên quầy không thể lật xem toàn bộ lịch sử giao dịch của bạn, mà chỉ có thể cấp chứng từ tương ứng theo số tiền và mục đích bạn yêu cầu, nhiều hơn thì không lấy được. Trên chuỗi trước đây vẫn thiếu “cửa ải xác quyền về quyền riêng tư” này; Dusk muốn bổ sung không phải là tính ẩn danh mạnh đến đâu, mà là kẻ ranh giới cho việc sử dụng quyền riêng tư phải được người dùng kiểm soát. Tôi cũng sẽ không “thần thánh hóa” nó. Nếu người dùng làm mất chứng chỉ/giấy tờ KYC lưu cục bộ thì sẽ không thể mở được chứng từ kiểm toán hợp规 nữa; còn nếu mạch không tri thức có bug logic, việc kiểm tra quyền vẫn có thể để lọt lỗ hổng. Thứ cần xác thực không phải là câu chuyện đẹp hay không, mà là sau khi tài sản RWA thật sự được đưa lên chạy trên nền tảng này, các ràng buộc quyền riêng tư đó có chịu được hay không. Sau này tài sản hợp规 trên chuỗi sẽ ngày càng nhiều. Điều tôi quan tâm không phải liệu nó có làm được giao dịch ẩn danh hay không, mà là: người nào có thể chứng minh được rằng quyền riêng tư của bạn chỉ do chính bạn quyết định. @Dusk
#dusk $DUSK Tối qua hai giờ, tôi nằm gọn trong căn phòng thuê trước bàn làm việc, lật “whitepaper” số @Dusk . Góc bàn mở hé đúng nửa tiếng đồng hồ, nước ngọt cola đá chảy ra cả máy, cạn sạch. Những giọt nước đọng trên thành cốc nhỏ xuống tấm lót chuột, loang thành một vệt đậm màu nhỏ.
Dusk tập trung vào bối cảnh tài chính với lớp quyền riêng tư Layer1. Cơ chế đồng thuận Succinct Attestation do họ tự nghiên cứu; nói thẳng ra là chuyên “chữa” PoS khỏi ba thứ tôi từng vấp vô số lần: gã cá mập nắm độc quyền cướp khối, nguồn ngẫu nhiên dễ bị thao túng, và thời gian xác nhận khối chậm. Nói chung là: họ cam kết “tính tất định trong 3 giây”, chịu được tấn công 51% và sẽ không để vài đại gia giữ quyền phát khối quyết định mọi thứ.
Nghe thì thật sự chẳng có gì sai.
Phi tập trung, an toàn, hiệu năng cao—ba nỗi đau ngành đã cãi nhau bao nhiêu năm qua, nó nói mình gom hết? Nhưng khi lật tới phần tạo hạt giống theo bốc thăm ngẫu nhiên, “whitepaper” lại viết đặc biệt mơ hồ: chỉ ném một câu “tạo ra bằng cách tổng hợp dựa trên băm của các khối trước”. Tôi đẩy chuột qua một bên, nhìn màn hình đờ ra hai giây không nhúc nhích. Nếu hiệu năng ngẫu nhiên của cơ chế rút thăm ở các node phát khối bị một vài đại node sờ trước ra được quy luật—thậm chí thông đồng thao túng—thì cái gọi là “ngẫu nhiên công bằng chọn validator” chẳng qua chỉ là màn kịch. Thuộc tính phi tập trung của các node cốt lõi trong chuỗi riêng tư bị bẻ đôi ngay. Câu hỏi “nguồn hạt giống ngẫu nhiên có bị thông đồng sửa đổi được không” thì người làm đồng thuận phân tán đều hiểu—nó còn khó hơn nhiều so với việc chỉ tăng tốc độ phát khối. Chỉ cần thiết kế nguồn ngẫu nhiên có lỗ hổng, thì những khẩu hiệu về hiệu năng cao và khả năng chống tấn công sẽ mâu thuẫn với nhau, chẳng thể đứng vững trong thực tế. @Dusk
Ở đây có một xung đột cốt lõi: một giao thức được cho là nhằm phục vụ thanh toán tài sản cấp tổ chức. Nếu logic rút thăm chọn ngẫu nhiên và phần có thể kiểm chứng không được giải thích trọn vẹn, thì độ tin cậy của đồng thuận SA thực chất vẫn phải được kiểm chứng bằng dữ liệu chạy dài hạn trên mainnet, chứ không thể dựa vào những tuyên bố chữ nghĩa trong whitepaper.
Giá trị lâu dài của $DUSK , ở một mức độ nào đó, cũng đang được “buộc” vào việc cơ chế đồng thuận này có thực sự vận hành trơn tru hay không.
Khi nghiên cứu một dự án, phần nào trong whitepaper là thứ bạn sợ nhất viết quá mơ hồ? Hãy cùng trò chuyện ở phần bình luận.
#dusk $DUSK Ông bạn cũ nói chuyện từ nửa đêm ném tới hai đoạn ghi âm 60 giây, giọng gấp như hồi xưa hô tôi lao vào nuôi chó đất: Mainnet Dusk ra mắt rồi, node staking chạy được, còn đường đua quyền riêng tư thì đầu tư mỏ—đua kiếm sớm.
Tôi nghĩ chắc cũng giống như thời Sui và Aptos thôi, cứ nhúng nhị phân là chạy. Ai ngờ ba ngày thức trắng mới gặm hiểu ra.
Ngày đầu đã kẹt. Chạy ./dusk-node, từ khâu tạo chứng minh ZK tới 87% là vỡ luôn, terminal phun một câu "witness construction failed", bộ nhớ từ 4G vọt lên 12G, quạt chạy ồn như cái máy hút dầu ở quán ăn đêm dưới lầu. Cài lại chương trình năm lần, tải lại snapshot ba lần, vẫn không được. Cuối cùng lật GitHub ví dụ, một dòng chú thích nhỏ xíu suýt nữa thì bỏ qua: "key expects BigInt, string will break witness construction." Xong đổi cách truyền tham số, khởi động lại—chứng minh chạy được trong 8 giây.
Tĩnh tâm lật mã nguồn mới hiểu. Phương án quyền riêng tư của Dusk không phải bọc EVM bằng một lớp vỏ, mà là máy ảo nguyên thủy Rusk: nhét sẵn các thành phần mật mã như mạch chứng minh ZK PLONK, hàm băm Poseidon, chữ ký BLS vào bên trong. Khi viết hợp đồng, dev không phải tự xử lý logic mã hóa thủ công; biên dịch xong sẽ ra bytecode WASM thân thiện với zero-knowledge. Mã hợp đồng tự động chuyển thành mạch ràng buộc; nhiều giao dịch có thể được gom đệ quy thành một chứng minh theo lô. Node chỉ cần xác thực hash của chứng minh; địa chỉ và số tiền suốt quá trình không lên on-chain, nhưng tính tuân thủ của từng giao dịch vẫn được toán học chứng minh kiểm tra được.
Lớp đồng thuận là SBA (giao thức Byzantine cô lập). Bên xác thực tối thiểu phải khóa 1000 DUSK; mỗi vòng tạo khối không chỉ đóng gói giao dịch mà còn phải đính kèm một chứng minh ZK cho hành vi tạo khối là hợp lệ. Việc phạt của Dusk có hai loại: phạt mềm không nhắm vào việc bỏ sót khối—sẽ tạm thời bị trục xuất khỏi đồng thuận và giảm mức staking hiệu dụng; phạt cứng không nhắm vào hành vi xấu—tạo khối vô hiệu bị phạt 10%, double-sign hoặc double-block bị phạt 20%, và trực tiếp bị hủy (tiêu hủy). Về phần cứng, khuyến nghị chính thức bắt đầu từ CPU 4 nhân, RAM 8GB.
Chạy ba tuần rồi, lợi nhuận không phóng đại như mấy trang marketing thổi. Nhưng đêm chạy thông xong, quạt trong case yên ắng lại; nhìn về ba ngày đó—đáng, không phải vì kiếm được bao nhiêu, mà vì đã gặm từ đầu nền tảng của một chain mới. @Dusk
#baby $BABY Đêm hôm trước tôi đã làm một việc: đem UTXO mà chính mình đã dùng để stake trên testnet ra thử nghiệm script staking của Babylon.
Tôi muốn xem rốt cuộc ba cách “thoát/exit” đó chạy như thế nào.
Trước hết thử cách đơn giản nhất — sau khi kết thúc thời hạn stake, chỉ dùng chữ ký của chính tôi để mở khóa UTXO đó, rồi phát (broadcast) lên testnet Bitcoin. Nút xác thực thành công, giao dịch được đóng gói. Không cần Finality Provider gật đầu, không cần Babylon chain online; chỉ chữ ký của tôi là đủ. Lúc đó tôi nghĩ: đây chính là cảm giác an toàn “nguyên thủy” — miễn là mạng Bitcoin còn chạy, người stake vẫn có thể lấy lại tiền của mình.
Sau đó thử cách thứ hai: mô phỏng việc không muốn chờ trọn vòng đời stake, muốn thoát sớm. Lần này cần chữ ký của chính tôi, cộng thêm chữ ký của ủy ban Covenant. Phần chữ ký bên tôi thì dễ; còn phía ủy ban, tôi cũng mô phỏng quy trình ký. Phát lên rồi, nút xác thực thông qua, UTXO được mở khóa thành công. Tôi hiểu ra: ủy ban chỉ có nhiệm vụ xác nhận “yêu cầu thoát sớm này có đúng quy tắc không”, chứ không tiếp quản tài sản, cũng không nắm quyền kiểm soát.
Đến khi thử cách thứ ba, tôi bị kẹt. Đường dẫn phạt (slash) cần tới ba chìa khóa: chữ ký của tôi, chữ ký EOTS của Finality Provider, và chữ ký của ủy ban Covenant. Lúc đó tôi nghĩ: tại sao phạt lại còn cần chữ ký của chính tôi nữa? Chẳng phải là buộc tôi tham gia việc phạt chính mình sao?
Sau đó tôi xem lại báo cáo kiểm toán mới biết lý do. Chữ ký của ủy ban Covenant là chữ ký adapter — sau khi mã hóa thì nó trỏ tới Finality Provider. Tôi đã ký trước cho đường dẫn phạt, nhưng chữ ký này trong tình huống bình thường sẽ bị “khóa”. Chỉ khi FP dùng **cùng một số ngẫu nhiên (random nonce)** để ký hai chữ ký cho **hai block khác nhau tại cùng một độ cao**, khiến lộ khóa bí mật, thì chữ ký adapter mới được giải mã và trở nên có hiệu lực.
Điều đó có nghĩa là tôi không cần tin bất kỳ ai sẽ không làm điều xấu. FP làm điều xấu → lộ khóa bí mật về mặt toán học → chữ ký adapter tự động được giải mã → đường dẫn phạt được mở khóa. Tôi không cần người quản trị phải phán “có nên phạt hay không”, cũng không cần bất kỳ sự chấp thuận nào từ ai.
Tôi đã thử cả ba cách thoát. Việc đi theo đường nào không do con người quyết định; tất cả phụ thuộc vào việc các điều kiện đã “đóng cứng” trong script có được thỏa mãn hay không.