petravm-verifier

Crates.iopetravm-verifier
lib.rspetravm-verifier
version
sourcesrc
created_at2025-05-07 20:02:23.604147+00
updated_at2025-05-07 20:02:23.604147+00
descriptionPetraVM's verifier
homepagehttps://github.com/PetraProver/PetraVM
repositoryhttps://github.com/PetraProver/PetraVM
max_upload_size
id1664404
Cargo.toml error:TOML parse error at line 18, column 1 | 18 | autolib = false | ^^^^^^^ unknown field `autolib`, expected one of `name`, `version`, `edition`, `authors`, `description`, `readme`, `license`, `repository`, `homepage`, `documentation`, `build`, `resolver`, `links`, `default-run`, `default_dash_run`, `rust-version`, `rust_dash_version`, `rust_version`, `license-file`, `license_dash_file`, `license_file`, `licenseFile`, `license_capital_file`, `forced-target`, `forced_dash_target`, `autobins`, `autotests`, `autoexamples`, `autobenches`, `publish`, `metadata`, `keywords`, `categories`, `exclude`, `include`
size0
Jim Posen (jimpo)

documentation

https://docs.rs/petravm-verifier

README

PetraVM Verifier

Placeholder for the PetraVM Verifier crate.

License

Licensed under Apache 2.0. See LICENSE.

Commit count: 0

cargo fmt