Hầu hết các zkVM trông tuyệt vời trên giấy. SP1 được xây dựng cho thế giới thực. Succinct đã không sử dụng Risc0, zkSync hoặc zkVM của Polygon và vì lý do chính đáng. SP1 không phải là một kẻ bắt chước. Đó là một zkVM được xây dựng để cung cấp năng lượng cho thế hệ tiếp theo của cơ sở hạ tầng không đáng tin cậy. Đây là lý do tại sao điều đó quan trọng: Tại sao nên xây dựng một zkVM mới? @SuccinctLabs có thể chọn zkVM hiện có. Risc0, Cairo hoặc thậm chí là zkEVMs. Nhưng họ đã không làm vậy và đây là lý do tại sao: Hầu hết các zkVM không đủ mục đích chung Nhiều người không hỗ trợ đệ quy ngay lập tức Một số được kết hợp chặt chẽ với DSL tùy chỉnh (ví dụ: Cairo) Những người khác thiếu tính minh bạch hoặc được nhúng sâu vào các ngăn xếp tổng hợp 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 cứ đâu và chứng minh nó một cách hiệu quả. Đó là SP1. SP1 là gì? SP1 là một zkVM mô-đun, hiệu suất được tích hợp trong Rust hỗ trợ: - Tính toán mục đích chung - đệ quy hiệu quả - Khả năng di động bằng chứng cho các chuỗi khác Và tính linh hoạt của mã nguồn mở quan trọng Nó được thiết kế từ các nguyên tắc đầu tiên xung quanh một vài ý tưởng cốt lõi: • ZK cần có thể truy cập được. • Tạo bằng chứng phải có thể kết hợp và xác minh được trên các chuỗi. • Các nhà phát triển không cần phải học mật mã để sử dụng ZK. SP1 được xây dựng trên ISA (kiến trúc tập lệnh) tùy chỉnh không phải là bản sao của EVM, làm cho nó có hiệu suất cao hơn và có thể mở rộng hơn nhiều. Và nó đã được sử dụng để cung cấp năng lượng cho các máy khách nhẹ chuỗi chéo, AVS EigenLayer và hơn thế 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 số khía cạnh lớn: Được thiết kế để 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 kiến thức hoặc cạnh tranh rollup, đượ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, hoán đổi các thành phần và cắm vào các đường cong chứng minh hoặc chiến lược đệ quy khác nhau. Trải nghiệm nhà phát triển gốc Rust Viết các chương trình ZK trong Rust an toàn, hiệu quả, không phải DSL kỳ lạ. Hỗ trợ tích hợp cho các bằng chứng đệ quy Rất quan trọng đối với 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 lại quan trọng bây giờ Tương lai của tiền điện tử 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 được chia sẻ hơn. Nhưng việc chứng minh trạng thái của chuỗi này trên chuỗi khác một cách an toàn đòi hỏi 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 ZK nguyên thủy - nó là công cụ chứng minh đằng sau khả năng tương tác không đáng tin cậy. Trong bài viết tiếp theo, chúng tôi phân tích Succinct Prover Network: cách nó chạy tính toán ZK ngoài chuỗi và điều này mở ra những gì cho các nhà phát triển và chuỗi. Gắn thẻ Gigachads có thể quan tâm đến việc 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_