SP1 Hypercube, máy ảo zero-knowledge của Succinct, đã chính thức ra mắt trên mainnet
Foresight News đưa tin, phần mềm bằng chứng ZK Succinct thông báo rằng zkVM (máy ảo zero-knowledge) SP1 Hypercube hiện đã chính thức ra mắt trên mainnet. SP1 Hypercube là zkVM đầu tiên hoàn thành xác minh hình thức cho toàn bộ 62 opcode của RISC-V. Với SP1, các nhà phát triển có thể sử dụng các ngôn ngữ như Rust để viết mã thông thường và tạo ra các chương trình có thể chứng minh được.
Tuyên bố miễn trừ trách nhiệm: Mọi thông tin trong bài viết đều thể hiện quan điểm của tác giả và không liên quan đến nền tảng. Bài viết này không nhằm mục đích tham khảo để đưa ra quyết định đầu tư.
Bạn cũng có thể thích
Oman trở thành "lớp giữa"! Trump đe dọa sẽ tấn công quân sự nếu Oman cản trở xung đột Mỹ-Iran
Theo báo cáo, Tổng thống Mỹ Donald Trump đã đưa ra cảnh báo nghiêm khắc trong một cuộc phỏng vấn qua điện thoại, cho biết nếu Oman cản trở quân đội Mỹ phong tỏa các tàu thuyền Iran tại eo biển Hormuz, phía Mỹ sẽ tiến hành hành động quân sự đối với Oman.
Thuốc mới loại 1 của Eli Lilly (LLY.US) bắt đầu thử nghiệm lâm sàng giai đoạn III mới tại Trung Quốc
Cơ sở dữ liệu Insight cho thấy Brenipatide là sản phẩm đầu tiên thuộc nhóm GLP-1 trên thế giới bắt đầu thử nghiệm lâm sàng giai đoạn III cho bệnh trầm cảm.
Kỷ lục mới! Chiếc xe điện đầu tiên của Ferrari (RACE.US), Luce, được bán với giá 40 triệu USD, giá trị hiếm có lại được thị trường xác nhận
Chiếc xe điện đầu tiên do Ferrari (RACE.US) sản xuất đã được bán đấu giá tại Sotheby's với mức giá 40 triệu USD, lập kỷ lục về giá bán đấu giá xe mới.
Cổ phiếu SKHY tăng do nhu cầu bộ nhớ AI tăng trưởng
Giá tiền điện tử
Thêm
