Các kho mã nguồn mở đang theo dõi của succinctlabs, sắp xếp theo số sao.
SP1 là một máy ảo không-kiến-thức (zero-knowledge) chứng minh việc thực thi chính xác các chương trình được biên dịch cho kiến trúc RISC-V.
