Gần đây, chúng tôi đã hợp tác với @SuccinctLabs để xác minh tính xác định của các mạch SP1 bằng Picus—công cụ xác minh chính thức của Veridise cho các mạch zero-knowledge.

Đây là bước đầu tiên hướng tới việc xác minh chính thức toàn bộ SP1 zkVM 🧵

1/6 https://t.co/tVvSR8GPNn