{"library":"winter-air","type":"library","category":null,"description":"Provides AIR (Algebraic Intermediate Representation) components for the Winterfell STARK prover/verifier.","language":"rust","status":"active","version":"0.13.1","tags":["stark","prover","verifier","air","cryptography"],"last_verified":"Wed Jun 17","install":[{"cmd":"# Cargo.toml\n[dependencies]\nwinter-air = \"0.13.1\"","imports":["use winter_air::Air;"]},{"cmd":"cargo add winter-air","imports":[]}],"homepage":"https://github.com/novifinancial/winterfell","github":"https://github.com/novifinancial/winterfell","docs":"https://docs.rs/winter-air/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}