Skip to content

docs: add sherlock audit report for pico v1.2.1, and update shape config #89

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
succinctli merged 2 commits into from
Dec 22, 2025
Merged

docs: add sherlock audit report for pico v1.2.1, and update shape config #89

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
9a92a42
docs: add sherlock audit report for pico v1.2.1, and update shape config
kaiwei-0 Dec 22, 2025
d7d3806
fix: update gnark cmd
kaiwei-0 Dec 22, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
185 changes: 93 additions & 92 deletions Cargo.lock
View file
Open in desktop

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ members = ["derive", "vm", "sdk/*", "scripts", "gnark/field-ffi", "perf"]
resolver = "2"

[workspace.package]
version = "1.1.8"
version = "1.2.1"
edition = "2021"
license = "MIT OR Apache-2.0"
keywords = ["zkvm", "plonky3", "stark", "FRI"]
Expand Down
6 changes: 1 addition & 5 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ For CircleSTARK on Mersenne31, Pico currently supports the RISCV-Phase, with REC
- [ ] EVM-Phase

## Security
As of February 2025, Pico has not been audited and is not recommended for production use.
Pico has undergone a security review from [Sherlock](https://sherlock.xyz/) and is recommended for production use. The audit report is available [here](./audits).

## For Contributors

Expand All @@ -57,7 +57,3 @@ Pico draws inspiration from the following projects, each representing cutting-ed
- [SP1](https://github.com/succinctlabs/sp1): Pico derives significant inspiration from SP1's chip design and their constraints. Its recursion compiler and precompiles originate from SP1.
- [Valida](https://github.com/valida-xyz/valida): Pico's implementation of cross-table lookups is inspired by Valida's pioneering work in this area.
- [RISC0](https://github.com/risc0/risc0): Pico's Rust toolchain is based on the one originally developed by RISC0.

## Audit

This branch is for auditing.
Binary file added audits/Security Review for Pico - Sherlock.pdf
View file
Open in desktop
Binary file not shown.
Loading
Loading