winter-air

library0.13.1rscratesunverified

Provides AIR (Algebraic Intermediate Representation) components for the Winterfell STARK prover/verifier.

# Cargo.toml
[dependencies]
winter-air = "0.13.1"

INSTALL

IMPORT

SIG · WINTER-AIR

winter-air

cryptorustv0.13.1

harness data pending

Install & Compatibility

Where this runs

No compatibility data collected yet for this library.

Code

Verified usage

Verified import paths — ran on the pinned version, not inferred.

Air

✓ use winter_air::Air;

Imports the Air trait for defining STARK AIR constraints.

use winter_air::Air; fn main() { // Example usage placeholder println!("Winter AIR module loaded"); }

Debug

Known issues

No known issues recorded.

Upgrade

Version history

0.13.1latest on crates.io

Audit

Dependencies

No dependency data recorded yet.

Agent activity

27 hits · last 30 days

node

Resources