o1-labs / proof-systems
This project contains:
arrabbiata
No external dependencies! 🙌
mina-book
(3 total, 1 outdated)
Crate | Required | Latest | Status |
---|---|---|---|
 cargo-spec | ^0.5.0 | 0.5.0 | up to date |
 time | ~0.3.31 | 0.3.37 | up to date |
 plist | ~1.5.0 | 1.7.0 | out of date |
turshi
No external dependencies! 🙌
mina-curves
No external dependencies! 🙌
groupmap
No external dependencies! 🙌
mina-hasher
No external dependencies! 🙌
kimchi
No external dependencies! 🙌
kimchi-msm
No external dependencies! 🙌
o1vm
(1 total, all up-to-date)
Crate | Required | Latest | Status |
---|---|---|---|
 stacker | ^0.1 | 0.1.17 | up to date |
mina-poseidon
(1 total, 1 outdated)
Crate | Required | Latest | Status |
---|---|---|---|
 criterion | ^0.3 | 0.5.1 | out of date |
export_test_vectors
No external dependencies! 🙌
poly-commitment
No external dependencies! 🙌
mina-signer
No external dependencies! 🙌
mvpoly
(1 total, all up-to-date)
Crate | Required | Latest | Status |
---|---|---|---|
 criterion | ^0.5.1 | 0.5.1 | up to date |
kimchi-visu
No external dependencies! 🙌
o1-utils
No external dependencies! 🙌
internal-tracing
No external dependencies! 🙌
ivc
No external dependencies! 🙌
folding
(1 total, all up-to-date)
Crate | Required | Latest | Status |
---|---|---|---|
 derivative | ^2 | 2.2.0 | up to date |