# Tính toán có thể xác minh - Phỏng vấn CEO RiscZero trên podcast Sự phát triển nhanh chóng của AI nâng cao năng suất, nhưng cũng làm giảm chi phí làm giả/ lừa đảo. Nhiều RWA được đưa lên chuỗi, nhưng liệu tài sản trên chuỗi có được xác minh và kiểm toán bằng chương trình hay không, nếu không có sự đảm bảo xác minh, những tài sản RWA này sẽ phải đối mặt với rủi ro lớn. Tôi nhớ rằng trong năm 23-24 có một làn sóng kiểm toán zk tài sản CEX, nhưng trong tương lai, khi nhiều RWA được đưa lên chuỗi, cần phải có sự xác minh và theo dõi kiểm toán tài sản nhiều hơn. Trong tương lai, tính khả thi và tính minh bạch của internet sẽ trở thành những đặc điểm quan trọng. Sự kết hợp giữa blockchain và AI/RWA có tiềm năng lớn, trong đó tính toán có thể xác minh là một trong những cơ sở hạ tầng cốt lõi. Trong tính toán có thể xác minh, các dự án zk @RiscZero và @boundless_xyz thực hiện tính toán có thể xác minh thông qua RISC-V và ZK VM. Từ năm 2003, RiscZero đã chú ý đến zkvm và phát triển đến zk L1 cụ thể. Dưới đây là một cuộc phỏng vấn trước đây của người sáng lập họ @zeroknowledgefm, để hiểu sâu hơn về lựa chọn công nghệ, ý tưởng kinh doanh của đội ngũ và dự án này. Cuộc phỏng vấn này được thực hiện trước khi @boundless_xyz được phát hành, nhưng cuộc phỏng vấn trước đó đã tiết lộ kế hoạch L1. Nếu bạn có khả năng nghe tiếng Anh tốt? Nghe bản gốc trực tiếp: Tóm tắt phỏng vấn: Công nghệ cốt lõi ZK VM của Risc0 và RISC-V: Risc0 đã xây dựng một ZK VM chạy mã RISC-V, hỗ trợ các chương trình biên dịch từ C, C++, Rust, giống như một vi điều khiển ảo, có thuộc tính zero-knowledge (giấu đầu vào và chương trình). Lựa chọn RISC-V: Do tính mã nguồn mở, không có hạn chế về quyền sở hữu trí tuệ, đơn giản và hiệu quả, và có hỗ trợ kiểm tra tuân thủ và mô hình chính thức, phù hợp để thực hiện trong mạch ZK. Quyền riêng tư và khả năng mở rộng: Hỗ trợ chứng minh zero-knowledge cho việc thực thi chương trình và chính chương trình, ban đầu tập trung vào khả năng mở rộng để hỗ trợ hệ sinh thái ứng dụng phức tạp, quyền riêng tư (như danh tính ZK) là hướng đi trong tương lai. Bộ nhớ và tính không xác định: Bộ nhớ được biểu diễn bằng số 32 bit, mã hóa trạng thái ban đầu thông qua cấu trúc Merkle; hỗ trợ yêu cầu dữ liệu không xác định, guest (ZK VM) yêu cầu dữ liệu từ host và xác minh, giữ quyền riêng tư. Thực hiện công nghệ và tăng tốc ứng dụng STARKs: Sử dụng chứng minh STARKs cho cấu trúc lặp lại (như bước thời gian của bộ xử lý), phù hợp với mô hình thực thi thời gian của VM. Hỗ trợ đệ quy: Đang phát triển, hỗ trợ chạy trình xác minh Rust trong ZK VM, xác minh chứng minh, thực hiện chứng minh gia tăng (như từ khối khởi đầu đến khối N+1). Tăng tốc phần cứng: Hiện tại trên M1 Pro đạt 30.000 chu kỳ/giây, tăng tốc GPU (Metal/CUDA) dự kiến đạt 1 triệu chu kỳ/giây, GPU 3090 khoảng 10 triệu chu kỳ/giây. Hỗ trợ các mạch tăng tốc như SHA-256, trong tương lai dự kiến thêm các mạch tăng tốc cho trường hữu hạn và phép nhân số nguyên lớn. Tính song song: Quá trình chứng minh có thể song song, phù hợp với tăng tốc GPU, giảm độ trễ, hỗ trợ tính toán quy mô lớn (như chạy trình biên dịch). Tầm nhìn và ứng dụng Cloud 2.0: Mục tiêu xây dựng đám mây công cộng phi tập trung, hỗ trợ DeFi, trò chơi, NFT và các ứng dụng phức tạp (như cơ sở dữ liệu SQL, mạng xã hội), đạt được "chi phí giao dịch thấp đến mức không cần đo lường". Blockchain L1: Phát triển L1, sử dụng cơ chế đồng thuận tối ưu hóa ZK ("chứng minh giao dịch"), sử dụng khối lượng tính toán thay vì số lượng giao dịch để xác định chuỗi dài nhất, hỗ trợ hàng tỷ giao dịch mỗi giây. Trường hợp sử dụng: Bao gồm an ninh chuỗi cung ứng (chứng minh nhị phân đến từ mã nguồn đã được kiểm tra), theo dõi tài sản vật lý, v.v. Hệ sinh thái và kết nối tương lai: Kế hoạch tích hợp với các blockchain khác (như Ethereum) thông qua cầu nối hoặc trình xác minh, hỗ trợ xác minh chứng minh Risc0 trên Ethereum hoặc chạy EVM. Lộ trình: Phiên bản hiện tại mã nguồn mở, phiên bản tiếp theo (bao gồm hỗ trợ đệ quy và tăng tốc GPU) sắp được mã nguồn mở. Dự kiến ra mắt DevNet vào cuối năm 2022 hoặc đầu năm 2023, thông qua Twitter và các kênh khác để phát hành đăng ký thử nghiệm. Risc0 tồn tại như L1, nó sẽ kết nối với các mạng hoặc cụm mạng khác không? Như @VitalikButerin của eth, @gavinwood của @Polkadot, Cosmos, v.v.? Brian cho biết gần như chắc chắn sẽ kết nối. Xem công nghệ Risc0 như một công cụ có thể áp dụng rộng rãi. Mặc dù có tầm nhìn L1 riêng, nhưng cũng hy vọng công nghệ này phục vụ cho các hệ sinh thái khác. Thách thức và suy nghĩ về tính dễ sử dụng của lập trình: Giảm ngưỡng cho các nhà phát triển thông qua ngôn ngữ và chuỗi công cụ hiện có, không cần học ngôn ngữ mới hoặc mạch số học. Triển vọng tăng tốc phần cứng: Trong ngắn hạn, GPU chiếm ưu thế, do toán học chưa trưởng thành, chu kỳ phát triển ASIC dài; FPGA và ASIC có thể được áp dụng trong các mạch SNARK cụ thể. Cạnh tranh và định vị: Khác với các dự án ZK VM/EVM khác, Risc0 nhấn mạnh tính tổng quát và khả năng mở rộng cấp đám mây, đồng thời cân nhắc hệ sinh thái Ethereum và các mạng khác. Risc0 sử dụng RISC-V và STARKs để xây dựng ZK VM, giải quyết vấn đề khả năng mở rộng của hệ thống phân tán, mục tiêu là đám mây công cộng phi tập trung, hỗ trợ tính toán quy mô lớn và bảo vệ quyền riêng tư. Phiên bản mã nguồn mở hiện tại đã có sẵn, hỗ trợ tăng tốc GPU và hỗ trợ đệ quy sắp ra mắt, kế hoạch xây dựng L1 và tích hợp với các hệ sinh thái khác, phù hợp cho các trường hợp như DeFi, an ninh chuỗi cung ứng, v.v. Nội dung phỏng vấn đầy đủ: Hình ảnh dài.