🎥 Cuộc trò chuyện bên lửa mới: Bên trong SP1 với @tamirhemo, Trưởng bộ phận Mật mã tại @SuccinctLabs. Chúng tôi đi sâu vào kiến trúc của SP1, những đột phá về hiệu suất, và những gì cần thiết để bảo mật các ZK-VM đạt tiêu chuẩn sản xuất. Thời gian: 0:00 SP1 là gì và sứ mệnh của Succinct 2:31 Tại sao ZK-VMs tổng quát hơn các mạch ZK tùy chỉnh 3:30 Hypercube & chứng minh thời gian thực trong EthProofs 4:30 Quyết định thiết kế đằng sau những cải tiến hiệu suất của SP1 7:36 Lý thuyết so với các thỏa hiệp về số học 10:19 Bề mặt tấn công của SP1 & các biện pháp giảm thiểu 14:04 Các trình chứng minh tương tác so với công cụ SMT (Picus) 15:36 Tích hợp công cụ & những gì vẫn còn thiếu 18:18 Precompiles: khi nào nên thêm chúng & tác động đến bảo mật 20:24 Liệu "biên dịch thành mạch" có phải là một sự đối lập hữu ích với ZK-VMs? 21:12 Đảm bảo của trình chứng minh, triển khai, và rủi ro về quyền riêng tư 24:04 Chứng minh gia tăng: chứng minh cục bộ + máy chủ 26:14 Chứng minh so với giả thuyết & ưu tiên mật mã 29:23 Mật mã mới & điều gì làm Tamir phấn khích nhất 32:01 Các ứng dụng xây dựng trên SP1 34:45 Mạng trình chứng minh so với dịch vụ chứng minh riêng tư 36:55 Thời gian cho việc chứng minh tại nhà cho 99% các khối 39:34 1% khó nhất: các nút thắt 12 giây 42:08 Các khối đối kháng & mã op "kẻ giết trình chứng minh" 43:18 Vượt ra ngoài Ethereum: các khối lượng công việc SP1 khác 45:16 Điều gì tiếp theo cho SP1 47:15 Nhận xét kết thúc Được tổ chức bởi @bensepanski từ @VeridiseInc, được quay tại Buenos Aires, ngày 17 tháng 11 năm 2025 🇦🇷 Tóm tắt video bên dưới 🧵 1/5

Tamir giải thích lý do tại sao Succinct chuyển từ các mạch ZK tùy chỉnh sang ZK-VM đa năng, và tại sao SP1 tập trung vào tiền biên: các mạch tối ưu hóa ở những nơi quan trọng, các chương trình linh hoạt ở mọi nơi khác. Mục tiêu không phải là chứng minh mỗi chu kỳ — SP1 chứng minh hành vi đã hứa hẹn của chương trình. 2/5

🚀 Những điểm nổi bật về hiệu suất SP1 Hypercube hiện chứng minh ~99.7% các khối Ethereum trong vòng 12 giây với ~16 GPU — đạt ngưỡng cho phần cứng tiêu dùng. Các điểm mở khóa chính: đa thức đa tuyến, tự do toán học tốt hơn và loại bỏ các nút thắt đệ quy. 3/5

An ninh là ưu tiên hàng đầu. Tamir giải thích cách giảm thiểu các bề mặt tấn công, các mã lệnh prover-killer, và tại sao việc xác minh chính thức là cần thiết cho ZK-VMs. @SuccinctLabs hợp tác với @VeridiseInc để xác minh chính thức các mạch SP1 bằng cách sử dụng Picus nhằm loại bỏ lỗi trước khi chúng được phát hành. 4/5