Succinct Labs gần đây đã gây xôn xao trong lĩnh vực chứng minh không kiến thức (ZKP). Nhóm này có nền tảng khá vững chắc, các thành viên cốt lõi đến từ MIT và Google Brain, họ không thực hiện những nghiên cứu thuần lý thuyết, mà là cơ sở hạ tầng thực tế - một zkVM mã nguồn mở gọi là SP1, cùng với một mạng chứng minh phi tập trung có tên ProverNet.

Trước tiên nhìn vào khía cạnh kỹ thuật. Đặc điểm lớn nhất của SP1 zkVM chính là thân thiện với lập trình viên. Nó cho phép bạn viết chương trình bằng ngôn ngữ chính Rust, sau đó tự động tạo ra chứng minh không kiến thức, không cần phải học về mật mã học hay thiết kế mạch chuyên dụng. Điều này làm giảm rất nhiều rào cản cho các lập trình viên. Về hiệu suất cũng khá tốt, trong bài kiểm tra chuẩn của Celestia nhanh hơn RISC Zero khoảng 26 lần, còn hỗ trợ tăng tốc phần cứng, và có hợp tác với các nhà sản xuất như ZAN, Cysic để thúc đẩy việc triển khai FPGA/GPU.
Mạng chứng minh của nó, ProverNet, cũng rất đáng chú ý. Đây là một thị trường phi tập trung, kết nối bên có nhu cầu chứng minh và bên cung cấp sức mạnh tính toán. Người chứng minh cần đặt cọc token $PROVE để tham gia, thông qua cơ chế đấu giá để nhận nhiệm vụ, và sau khi hoàn thành chứng minh sẽ nhận được phần thưởng. Thiết kế này không chỉ đảm bảo an ninh cho mạng lưới mà còn giảm chi phí chứng minh thông qua cạnh tranh thị trường. Hiện tại, mạng chính vừa được ra mắt không lâu, đã xử lý hơn 5 triệu lần chứng minh, tổng giá trị tài sản được bảo vệ đã vượt quá 4 tỷ đô la.
Từ góc độ đầu tư, Succinct đã nhận được 55 triệu vào tháng 3 năm 2024.