starky

Crates.iostarky
lib.rsstarky
version
sourcesrc
created_at2023-01-30 20:42:25.655417
updated_at2024-11-25 18:05:37.018343
descriptionImplementation of STARKs
homepagehttps://github.com/0xPolygonZero/plonky2
repositoryhttps://github.com/0xPolygonZero/plonky2
max_upload_size
id772082
Cargo.toml error:TOML parse error at line 21, column 1 | 21 | 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
Plonky2 - release (github:0xpolygonzero:plonky2-release)

documentation

README

Starky

Starky is a FRI-based STARK implementation.

It is built for speed, features highly efficient recursive verification through plonky2 circuits and gadgets, and is being used as backend proving system for the Polygon Zero Type-1 zkEVM.

Note on Zero-Knowledgeness

While STARKs can be made Zero-Knowledge, the primary purpose of starky is to provide fast STARK proof generation. As such, ZK is disabled by default on starky. Applications requiring their proof to be zero-knowledge would need to apply a recursive wrapper on top of their STARK proof with the zero_knowledge parameter activated in their CircuitConfig. See plonky2 documentation for more info.

License

Licensed under either of

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

Commit count: 4946

cargo fmt