Chủ đề thịnh hành
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Giới thiệu R0VM 2.0.
zkVM được xây dựng cho kỷ nguyên thời gian thực.
7/ Tốc độ không có ý nghĩa gì nếu không có bảo mật.
Với @veridiseInc, chúng tôi đang biến việc xác minh chính thức trở thành một phần cốt lõi của R0VM.
Cho đến nay, chúng tôi đã chứng minh được 122 trong số 123 thành phần của chức năng cốt lõi RISC-V trong mạch v2 của chúng tôi là có tính xác định.
22 thg 3, 2025
RISC Zero đang xây dựng zkVM RISC-V đầu tiên được xác minh chính thức.
Sử dụng công cụ Picus của @VeridiseInc, chúng tôi đang chứng minh tính xác định trong các mạch của mình bằng toán học.
Mục tiêu của chúng tôi: Một zkVM vừa cực kỳ nhanh vừa được chứng minh là an toàn, để các nhà phát triển không bao giờ phải thỏa hiệp.
437,17K
Hàng đầu
Thứ hạng
Yêu thích