#dusk $DUSK @Dusk PoBB: The Hidden Game Behind Dusk’s Leader Election
I find PoBB interesting for a reason that gets missed when people call it “private leader selection.”
The deeper idea is that a validator can compete for block production without advertising the information that makes them an obvious target. In Dusk’s design, bids are committed and the eventual winner can prove the validity of the bid in zero knowledge, rather than simply exposing the whole bidding landscape.
That changes the game.
In a more transparent PoS system, knowing who is likely to produce the next block can become useful information. You can watch stake, track validators, and build strategies around predictable leadership. PoBB tries to remove some of that visibility.
But I’m not convinced privacy automatically makes the system safer.
The questions I care about are more practical: what happens when a winning bidder disappears? Can repeated censorship of bid proofs affect liveness? Do large operators gain an advantage through coordination? And can the scoring mechanism resist manipulation without making honest participation too expensive?
I’ve seen protocol designs solve one incentive problem only to move it somewhere less obvious.
That is what makes PoBB worth studying. Its real experiment is not whether Dusk can hide a validator’s bid. It is whether a blockchain can preserve fair competition when the competitors cannot easily see each other.
#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
SpaceX vừa đăng tải báo cáo thu nhập công khai đầu tiên và các con số rất khả quan: doanh thu tăng 92% lên 7,8B USD và vượt dự báo. Giờ đây, thị trường đang theo dõi sát hai vấn đề — thời gian bị hạn chế giao dịch cổ phiếu và chi phí AI đang gia tăng. $HEI $BICO $BANK
#baby $BABY @BabylonLabs_io Tôi đã suy nghĩ về Babylon từ góc nhìn trải nghiệm người dùng, và tôi cứ quay lại với một ý tưởng: Bitcoin không khó vì mật mã. Nó khó vì mỗi bước ký bổ sung lại khiến mọi người tự hỏi liệu mình có sắp thực hiện một sai lầm không thể đảo ngược hay không.
Babylon yêu cầu người dùng giữ quyền kiểm soát BTC của mình khi tương tác với các cơ chế timelock (khóa theo thời gian), các giao dịch staking, bước đăng ký và khả năng tương thích ví. Không mục nào trong số đó là lỗi theo nghĩa riêng lẻ, nhưng khi kết hợp lại, chúng làm tăng “chi phí tinh thần” để tham gia.
Điều khiến tôi hứng thú nhất không phải là mô hình staking. Mà là phần giao diện giữa giao thức và người đang nắm giữ các khóa.
Những dự án chiến thắng không nhất thiết sẽ là những dự án có script thông minh nhất. Họ sẽ là những dự án ẩn đi sự phức tạp mà không che giấu quyền sở hữu.
Với tôi, đó mới là chuẩn mực thực sự. Nếu tôi cần phải hiểu các thành phần nội tại của Bitcoin trước khi cảm thấy thoải mái khi staking, thì UX vẫn còn nhiều việc phải làm. Tự quản lý (self-custody) nên tạo thêm sự tự tin, chứ không phải sự do dự.
🎙️ 3 lời khuyên quan trọng cho người mới về CZ: học trước, bắt đầu với số tiền nhỏ, coi trọng quản lý rủi ro; câu chữ dễ hiểu trong phòng phát trực tiếp đang được giải thích🎤
#baby $BABY @BabylonLabs_io Một điều tôi cứ quay lại với Babylon là quyền riêng tư không phải là một câu trả lời đơn giản có hoặc không.
BTC của bạn không bao giờ rời khỏi sự kiểm soát của bạn, và Taproot làm tốt việc che giấu kịch bản (staking script). Nhưng dấu vết trên chuỗi vẫn còn đó. Theo thời gian, thời điểm stake, các mẫu UTXO và hoạt động đăng ký có thể tiết lộ nhiều hơn so với những gì nhiều người nghĩ—bao gồm cả manh mối về nhà cung cấp tính cuối cùng (finality provider) đứng sau một lần stake.
#baby $BABY @BabylonLabs_io Tôi cứ thấy rằng mọi người đối xử với khả năng tương tác của Babylon như thể nó giải quyết cùng một vấn đề trên mọi chuỗi.
Tôi không nghĩ vậy.
Trong hệ sinh thái Cosmos, thiết kế lại rất gọn gàng. Một IBC relayer (bộ chuyển tiếp) chuyển các checkpoint vào Babylon, và các validator của Babylon sẽ xác minh và bỏ phiếu cho chúng. Mô hình bảo mật vẫn tương đối nhất quán vì các chuỗi đã nói cùng một “ngôn ngữ” tương tự.
Ngoài Cosmos thì bức tranh thay đổi.
Tôi đã từng thấy điều này với hạ tầng liên chuỗi. Ngay khi bạn bước sang các môi trường thực thi khác nhau, “tương tác” trở thành một bài toán kỹ thuật xác minh. Mỗi hệ sinh thái mới cần cách riêng của mình để xác minh tính bảo mật được hỗ trợ bởi Bitcoin, thay vì cắm vào một chuẩn chung phổ quát.
Vì vậy, tôi nghĩ thử thách lớn nhất của Babylon không phải là thêm nhiều chuỗi hơn.
Mà là làm sao để mô hình bảo mật trông cũng “tự nhiên” ở mọi nơi mà không tạo ra một câu chuyện về niềm tin khác nhau cho từng lần tích hợp.
#baby $BABY @BabylonLabs_io Điều khiến tôi thấy thú vị nhất về Babylon là nó không cố gắng biến hành vi xấu trở nên không thể xảy ra. Nó cố gắng biến việc che giấu nó trở nên không thể.
Đó là một khác biệt lớn. Nếu một nhà cung cấp cuối cùng ký hai thông điệp mâu thuẫn bằng cùng một khóa EOTS, thì chính sai lầm sẽ lộ ra khóa đó. Vì vậy, “bằng chứng” không phải là thứ được thêm vào sau này. Bằng chứng chính là lỗi.
Tôi đã thấy rất nhiều cuộc trò chuyện về bảo mật trong lĩnh vực crypto nói về trừng phạt, nhưng cảm giác này trực tiếp hơn. Nó gần giống như hệ thống nói: “Nếu bạn gian lận, bạn sẽ tự lộ ra.” Cách đó đối với tôi gọn gàng hơn so với một cơ chế đòi hỏi phải tranh luận dài dòng sau sự việc.
Thiết kế 3f+1 cũng kể một câu chuyện rõ ràng. Babylon kỳ vọng một số trình xác thực sẽ thất bại. Nó chỉ không muốn những người nắm giữ BTC trung thực phải trả giá cho sự thất bại đó. Phần này rất quan trọng với tôi, bởi nhiều hệ thống nói rằng họ bảo vệ người dùng, nhưng vẫn để chỗ cho người vô tội bị tổn hại khi mọi thứ đi sai.
Vì vậy, kết luận của tôi thật đơn giản. Mô hình slashing của Babylon không thực sự nhằm tạo kịch tính hay sợ hãi. Nó nhằm khiến cho sự bất trung thực để lại một dấu vết không thể bị bỏ qua.
#baby $BABY @BabylonLabs_io Tôi nhận thấy rằng hầu hết các cuộc thảo luận xung quanh Babylon tập trung vào việc unbonding nhanh. Theo tôi, câu hỏi thú vị hơn là điều gì khiến “nhanh” trở nên đáng tin ngay từ đầu.
Câu trả lời không phải là tốc độ. Đó là kỷ luật về mốc thời gian (timestamp).
Mỗi checkpoint của Bitcoin về cơ bản là một biên nhận công khai nói rằng: “đây là lịch sử mà chúng ta cam kết.” Nếu các biên nhận này đủ thường xuyên, các validator không cần phải ngồi chờ các giai đoạn rút tiền dài, vì lịch sử đã được neo sẵn. Nếu chúng quá thưa, thời gian chờ thêm sẽ lặng lẽ quay trở lại thông qua một “cánh cửa” khác.
Vì vậy, tôi không xem tần suất timestamp như một tham số vận hành. Tôi xem đó là một ngân sách bảo mật. Đăng quá thường xuyên thì phí Bitcoin sẽ trở thành một phần chi phí bảo mật của bạn. Đăng quá hiếm thì các bảo đảm về tính tất yếu (finality) của bạn bắt đầu dựa vào những giả định nằm ngoài Bitcoin.
Với tôi, Babylon không cố gắng loại bỏ các đánh đổi. Nó đang chuyển các đánh đổi đó vào một nơi duy nhất, nơi mọi người có thể đo lường chúng: lịch trình checkpoint.
nLIGHT (NASDAQ: LASR) đã tăng khoảng 5,8%, nổi bật trong bối cảnh thị trường chứng khoán công nghệ nói chung đang bị bán tháo.
Diễn biến này diễn ra sau tin tức về một hợp đồng quốc phòng lớn của Mỹ cho một hệ thống laser năng lượng cao. Phần thưởng ban đầu có giá trị 44 triệu USD, và tổng quy mô chương trình có thể lên tới 627 triệu USD.
Trong khi cổ phiếu bán dẫn và trí tuệ nhân tạo chịu áp lực, nhà đầu tư dường như tập trung nhiều hơn vào vai trò ngày càng mở rộng của nLIGHT trong công nghệ quốc phòng và các hệ thống năng lượng định hướng.
Kế hoạch ngừng hoạt động của cơ chế ủy quyền của Newton Protocol: Điều gì xảy ra khi không thể nhận được phê duyệt?
Newton Protocol được xây dựng để quyết định liệu các giao dịch blockchain nhất định có nên được cho phép trước khi chúng được thực hiện hay không. Điều đó khiến lớp ủy quyền của nó không chỉ là một công cụ giám sát hoặc một hệ thống cảnh báo an ninh. Nó trở thành một phần của chính giao dịch. Nếu Newton không thể hoàn tất một yêu cầu ủy quyền, thì một hành động được bảo vệ có thể sẽ không được thực hiện tiếp, ngay cả khi hành động đó là khẩn cấp. Điều này đặt ra một câu hỏi mà các báo cáo thời gian hoạt động (uptime) thông thường không thể trả lời. Điều gì xảy ra khi lớp ủy quyền của Newton Protocol ngừng phản hồi?
Tôi nghĩ thách thức quản trị lớn nhất của Newton không phải là chọn tác nhân AI thông minh nhất. Mà là quyết định khi nào chính tác nhân đó đã thay đổi đủ nhiều để không còn là “một người” mà tất cả mọi người ban đầu từng tin tưởng nữa.
Thị trường thay đổi, mô hình được cập nhật, và ngay cả những thay đổi nhỏ cũng có thể định hình lại hoàn toàn cách tác nhân vận hành. Nếu mọi bản cập nhật đều cần một phiếu bầu của DAO, thì đổi mới sẽ chậm lại, gần như bò lê. Nếu các nhà phát triển có thể thay đổi mọi thứ mà không có giám sát, thì quản trị sẽ chỉ còn là một thủ tục xác nhận.
Cách tiếp cận tốt hơn là quản trị mức độ rủi ro, chứ không phải quản trị mọi thay đổi mã. Những cải tiến nhỏ có thể tiến nhanh, nhưng mọi thứ mở rộng quyền hạn của một tác nhân, mức phơi nhiễm vốn, hoặc phạm vi thực thi của nó đều nên tự động phải trải qua việc cộng đồng xem xét, mô phỏng và một cơ chế timelock trước khi đưa vào vận hành.
Với tôi, đó là nơi mà sự phi tập trung thực sự bắt đầu—không phải bằng cách kiểm soát mọi quyết định của AI, mà bằng cách đảm bảo cộng đồng luôn có tiếng nói mỗi khi tiềm năng tác động ngày càng lớn.