Succinct vá lỗi SP1 khiến bằng chứng không hợp lệ vượt qua trình xác minh Rust

TREE NEWS thông tin: Succinct đã vá một lỗ hổng trong hệ thống chứng minh không tri thức SP1 của mình, lỗ hổng này có thể cho phép các bằng chứng không hợp lệ vượt qua quá trình xác minh trong các phiên bản Rust gốc từ 6.0.0 đến 6.8.0. Công ty cho biết việc xác minh Groth16 và Plonk onchain thông qua các trình xác minh Solidity không bị ảnh hưởng. Bản vá khắc phục lỗi trong các bản phát hành Rust bị ảnh hưởng.