Hầu hết các zkVM trông rất tuyệt trên giấy. SP1 được xây dựng cho thế giới thực. Succinct không sử dụng Risc0, zkSync, hay zkVM của Polygon và có lý do chính đáng. SP1 không phải là một bản sao. Đó là một zkVM được xây dựng từ đầu để cung cấp năng lượng cho thế hệ hạ tầng không cần tin cậy tiếp theo. Dưới đây là lý do tại sao điều đó quan trọng: Tại sao lại xây dựng một zkVM mới? @SuccinctLabs có thể đã chọn các zkVM hiện có. Risc0, Cairo, hoặc thậm chí zkEVMs. Nhưng họ đã không làm vậy và đây là lý do: Hầu hết các zkVM không đủ đa năng Nhiều cái không hỗ trợ đệ quy ngay từ đầu Một số bị ràng buộc chặt chẽ với các DSL tùy chỉnh (ví dụ: Cairo) Những cái khác thiếu tính minh bạch hoặc bị nhúng sâu trong các ngăn xếp rollup lớn hơn Succinct cần một cái gì đó nhiều hơn: → Một zkVM có thể chạy bất kỳ chương trình nào, ở bất kỳ đâu, và chứng minh điều đó một cách hiệu quả. Đó là SP1. SP1 là gì? SP1 là một zkVM hiệu suất cao, mô-đun được xây dựng bằng Rust hỗ trợ: - Tính toán đa năng - Đệ quy hiệu quả - Tính di động của chứng minh đến các chuỗi khác Và quan trọng là tính linh hoạt mã nguồn mở Nó được thiết kế từ những nguyên tắc cơ bản xung quanh một vài ý tưởng cốt lõi: • ZK cần phải dễ tiếp cận. • Việc tạo chứng minh phải có thể kết hợp và xác minh trên các chuỗi. • Các nhà phát triển không nên phải học mật mã để sử dụng ZK. SP1 được xây dựng trên một ISA tùy chỉnh (kiến trúc tập lệnh) không phải là bản sao của EVM, làm cho nó hiệu suất cao hơn và có thể mở rộng hơn. Và nó đã được sử dụng để cung cấp năng lượng cho các khách hàng nhẹ đa chuỗi, EigenLayer AVSs, và nhiều hơn nữa. Điều gì làm cho SP1 khác biệt? So với các zkVM khác, SP1 nổi bật ở một vài điểm lớn: Được thiết kế cho việc chứng minh trong thế giới thực Không được tối ưu hóa cho các trò chơi không biết hoặc cạnh tranh rollup, mà được tối ưu hóa cho xác minh đa chuỗi. Cực kỳ mô-đun Bạn có thể sửa đổi SP1, thay thế các thành phần, và kết nối vào các đường cong chứng minh hoặc chiến lược đệ quy khác nhau. Trải nghiệm phát triển gốc Rust Viết các chương trình ZK bằng Rust an toàn, hiệu quả, không phải các DSL kỳ lạ. Hỗ trợ tích hợp cho các chứng minh đệ quy Điều này rất quan trọng cho khả năng mở rộng và khả năng kết hợp trong việc xác minh nhiều sự kiện ngoài chuỗi trên chuỗi. Tại sao điều này quan trọng ngay bây giờ Tương lai của Crypto là đa chuỗi. Điều đó có nghĩa là nhiều khách hàng nhẹ hơn, nhiều cầu nối hơn, và nhiều hệ thống chứng minh chia sẻ hơn. Nhưng việc chứng minh trạng thái của một chuỗi trên một chuỗi khác một cách an toàn đòi hỏi các zkVM được tối ưu hóa không chỉ cho thông lượng, mà còn cho tính linh hoạt và tính di động. SP1 làm được điều đó. → Nó không chỉ là một nguyên tố ZK — nó là động cơ chứng minh đứng sau sự tương tác không cần tin cậy. Trong bài viết tiếp theo, chúng tôi sẽ phân tích Mạng Chứng minh Succinct: cách nó chạy tính toán ZK ngoài chuỗi, và điều này mở ra điều gì cho các nhà phát triển và các chuỗi. Gắn thẻ những Gigachads có thể quan tâm đến điều này 👇 - @SamuelXeus - @TheDeFISaint - @hmalviya9 - @poopmandefi - @ayyeandy - @DigiTektrades - @zerokn0wledge_ - @LadyofCrypto1 - @milesdeutscher - @1CryptoMama - @Deebs_DeFi - @RubiksWeb3hub - @stacy_muur - @TheDeFinvestor - @splinter0n - @izu_crypt - @belizardd - @eli5_defi - @the_smart_ape - @ViktorDefi - @cryppinfluence - @CryptoGirlNova - @Haylesdefi - @DeRonin_ - @0xAndrewMoh - @defiinfant - @DeFiMinty - @Louround_ - @0xSalazar - @crypthoem - @CryptoShiro_