Gần đây, nhiều người bàn về cách đưa các AI agent vào hoạt động kinh doanh thực tế và làm sao để tiền ra vào an toàn. Tình cờ thấy bài đăng của GOAT Network, chuyên nói về Ziren, cỗ máy tạo bằng chứng đứng sau cây cầu Bitcoin.
@GOATNetwork muốn xây dựng cơ sở hạ tầng thanh toán và kinh doanh cho các AI agent. Tính bảo mật cuối cùng được bảo đảm bởi chính Bitcoin, chứ không phải chỉ tùy tiện gắn cái tên “Bitcoin L2”, mà là để Bitcoin thực sự trở thành lớp thanh toán.
Bản thân Bitcoin không thể xử lý các giao dịch phức tạp, nên cần có cầu nối. Tiền được khóa trên chuỗi Bitcoin, còn tài sản tương ứng được sử dụng trên một chuỗi khác.
Điều mấu chốt là ai quyết định “khoản tiền này có thể được rút”. GOAT Network sử dụng BitVM3. Sau khi có yêu cầu rút tiền, sẽ có một khoảng thời gian ít nhất một tuần để bất kỳ ai cũng có thể đưa ra thử thách. Nếu có tranh chấp, vấn đề sẽ được giải quyết trên chuỗi Bitcoin, thay vì phải tin tưởng một ví đa chữ ký hay một ủy ban nào đó.
Đằng sau mỗi lần rút tiền đều có một bằng chứng xác nhận thao tác được thực hiện đúng quy tắc. Bằng chứng này do Ziren tạo ra.
Ziren là zkVM do chính họ xây dựng, có thể hình dung đơn giản như một cỗ máy công chứng. Sau khi bạn chạy xong chương trình, nó sẽ tạo ra một bằng chứng rất ngắn. Người khác không cần chạy lại toàn bộ chương trình mà vẫn có thể nhanh chóng xác nhận rằng chương trình đã chạy đúng.
Tại sao phải tự xây dựng, thay vì dùng giải pháp có sẵn?
Bởi tính bảo mật của cây cầu gắn trực tiếp với bằng chứng này. Nếu bằng chứng gặp vấn đề, Bitcoin trên cầu có thể gặp rủi ro. Vì vậy, GOAT Network coi trọng độ tin cậy của bằng chứng hơn tốc độ tạo bằng chứng.
Bộ lệnh cũng được cố định, không tùy tiện thay đổi, nhằm tránh việc các cuộc kiểm toán và thử nghiệm trước mỗi lần nâng cấp trở nên vô ích.
GOAT Network còn tiến hành nhiều hoạt động kiểm tra công khai: công bố bài nghiên cứu, công khai các bằng chứng xác minh khối Ethereum trên Ethproofs, thực hiện kiểm toán độc lập, thử nghiệm đối kháng và chương trình săn lỗi; thậm chí còn dùng Lean để tạo ra các bằng chứng có thể được máy kiểm tra. Ziren 2.0 cũng đang phát triển theo hướng kháng lượng tử.
Với @GOATNetwork, điều này có nghĩa là những gì diễn ra trên chuỗi, bao gồm cả các khoản thanh toán giữa các AI agent, cuối cùng có thể thừa hưởng tính bảo mật của Bitcoin. Cây cầu không chỉ chuyển tiền mà còn giúp Bitcoin thực sự trở thành lớp thanh toán.
Tính bảo mật của cây cầu không chỉ dựa vào cơ chế thử thách, mà còn phụ thuộc vào độ tin cậy của chính cỗ máy tạo bằng chứng này. GOAT Network tự xây dựng, tự chịu trách nhiệm và liên tục công khai kiểm tra, nhằm kiểm soát tốt nhất có thể khâu này. Nếu quan tâm, bạn có thể tìm hiểu thêm trên trang web chính thức và các bài nghiên cứu liên quan của họ.
@GOATNetwork muốn xây dựng cơ sở hạ tầng thanh toán và kinh doanh cho các AI agent. Tính bảo mật cuối cùng được bảo đảm bởi chính Bitcoin, chứ không phải chỉ tùy tiện gắn cái tên “Bitcoin L2”, mà là để Bitcoin thực sự trở thành lớp thanh toán.
Bản thân Bitcoin không thể xử lý các giao dịch phức tạp, nên cần có cầu nối. Tiền được khóa trên chuỗi Bitcoin, còn tài sản tương ứng được sử dụng trên một chuỗi khác.
Điều mấu chốt là ai quyết định “khoản tiền này có thể được rút”. GOAT Network sử dụng BitVM3. Sau khi có yêu cầu rút tiền, sẽ có một khoảng thời gian ít nhất một tuần để bất kỳ ai cũng có thể đưa ra thử thách. Nếu có tranh chấp, vấn đề sẽ được giải quyết trên chuỗi Bitcoin, thay vì phải tin tưởng một ví đa chữ ký hay một ủy ban nào đó.
Đằng sau mỗi lần rút tiền đều có một bằng chứng xác nhận thao tác được thực hiện đúng quy tắc. Bằng chứng này do Ziren tạo ra.
Ziren là zkVM do chính họ xây dựng, có thể hình dung đơn giản như một cỗ máy công chứng. Sau khi bạn chạy xong chương trình, nó sẽ tạo ra một bằng chứng rất ngắn. Người khác không cần chạy lại toàn bộ chương trình mà vẫn có thể nhanh chóng xác nhận rằng chương trình đã chạy đúng.
Tại sao phải tự xây dựng, thay vì dùng giải pháp có sẵn?
Bởi tính bảo mật của cây cầu gắn trực tiếp với bằng chứng này. Nếu bằng chứng gặp vấn đề, Bitcoin trên cầu có thể gặp rủi ro. Vì vậy, GOAT Network coi trọng độ tin cậy của bằng chứng hơn tốc độ tạo bằng chứng.
Bộ lệnh cũng được cố định, không tùy tiện thay đổi, nhằm tránh việc các cuộc kiểm toán và thử nghiệm trước mỗi lần nâng cấp trở nên vô ích.
GOAT Network còn tiến hành nhiều hoạt động kiểm tra công khai: công bố bài nghiên cứu, công khai các bằng chứng xác minh khối Ethereum trên Ethproofs, thực hiện kiểm toán độc lập, thử nghiệm đối kháng và chương trình săn lỗi; thậm chí còn dùng Lean để tạo ra các bằng chứng có thể được máy kiểm tra. Ziren 2.0 cũng đang phát triển theo hướng kháng lượng tử.
Với @GOATNetwork, điều này có nghĩa là những gì diễn ra trên chuỗi, bao gồm cả các khoản thanh toán giữa các AI agent, cuối cùng có thể thừa hưởng tính bảo mật của Bitcoin. Cây cầu không chỉ chuyển tiền mà còn giúp Bitcoin thực sự trở thành lớp thanh toán.
Tính bảo mật của cây cầu không chỉ dựa vào cơ chế thử thách, mà còn phụ thuộc vào độ tin cậy của chính cỗ máy tạo bằng chứng này. GOAT Network tự xây dựng, tự chịu trách nhiệm và liên tục công khai kiểm tra, nhằm kiểm soát tốt nhất có thể khâu này. Nếu quan tâm, bạn có thể tìm hiểu thêm trên trang web chính thức và các bài nghiên cứu liên quan của họ.
