Periodic air builder

.github/workflows/release-plz.yml

@@ -0,0 +1,39 @@
+name: Release-plz
+
+on:
+  pull_request:
+    types: [closed]
+    branches:
+      - main
+  # Allow manual re-runs if publish fails (e.g., crates.io outage)
+  workflow_dispatch:
+
+jobs:
+  release-plz-release:
+    name: Release-plz release
+    runs-on: ubuntu-latest
+    if: >-
+      ${{
+        github.repository_owner == 'Plonky3' &&
+        (
+          github.event_name == 'workflow_dispatch' ||
+          (github.event.pull_request.merged == true && contains(github.event.pull_request.labels.*.name, 'release'))
+        )
+      }}
+    permissions:
+      contents: write
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+          token: ${{ secrets.RELEASE_PLZ_TOKEN }}
+      - name: Install Rust toolchain
+        uses: dtolnay/rust-toolchain@stable
+      - name: Run release-plz
+        uses: release-plz/[email protected]
+        with:
+          command: release
+        env:
+          GITHUB_TOKEN: ${{ secrets.RELEASE_PLZ_TOKEN }}
+          CARGO_REGISTRY_TOKEN: ${{ secrets.CARGO_REGISTRY_TOKEN }}

Cargo.toml

@@ -62,11 +62,10 @@ transmute_undefined_repr = "allow"
 cognitive_complexity = "allow"
 
 [workspace.dependencies]
-bincode = { version = "2.0.0", default-features = false }
 blake3 = { version = "1.5", default-features = false }
 clap = { version = "4.5.23", features = ["derive"] }
 clap_derive = "4.5.18"
-criterion = "0.7"
+criterion = "0.8"
 hashbrown = "0.16.0"
 hex-literal = "1.0.0"
 itertools = { version = "0.14.0", default-features = false, features = [
@@ -84,6 +83,7 @@ serde_json = "1.0.113"
 sha2 = { version = "0.10.8", default-features = false }
 sha3 = { version = "0.10.8", default-features = false }
 spin = "0.10.0"
+thiserror = { version = "2.0", default-features = false }
 tiny-keccak = "2.0.2"
 tracing = { version = "0.1.37", default-features = false, features = [
     "attributes",
@@ -95,45 +95,45 @@ tracing-subscriber = { version = "0.3.17", default-features = false, features =
 transpose = "0.2.3"
 
 # Local dependencies
-p3-air = { path = "air", version = "0.3.0" }
-p3-baby-bear = { path = "baby-bear", version = "0.3.0" }
-p3-blake3 = { path = "blake3", version = "0.3.0" }
-p3-blake3-air = { path = "blake3-air", version = "0.3.0" }
-p3-bn254 = { path = "bn254", version = "0.3.0" }
-p3-challenger = { path = "challenger", version = "0.3.0" }
-p3-circle = { path = "circle", version = "0.3.0" }
-p3-commit = { path = "commit", version = "0.3.0" }
-p3-dft = { path = "dft", version = "0.3.0" }
+p3-air = { path = "air", version = "0.4.2" }
+p3-baby-bear = { path = "baby-bear", version = "0.4.2" }
+p3-blake3 = { path = "blake3", version = "0.4.2" }
+p3-blake3-air = { path = "blake3-air", version = "0.4.2" }
+p3-bn254 = { path = "bn254", version = "0.4.2" }
+p3-challenger = { path = "challenger", version = "0.4.2" }
+p3-circle = { path = "circle", version = "0.4.2" }
+p3-commit = { path = "commit", version = "0.4.2" }
+p3-dft = { path = "dft", version = "0.4.2" }
 p3-examples = { path = "examples", version = "0.3.0" }
-p3-field = { path = "field", version = "0.3.0" }
-p3-field-testing = { path = "field-testing", version = "0.3.0" }
-p3-fri = { path = "fri", version = "0.3.0" }
-p3-goldilocks = { path = "goldilocks", version = "0.3.0" }
-p3-interpolation = { path = "interpolation", version = "0.3.0" }
-p3-keccak = { path = "keccak", version = "0.3.0" }
-p3-keccak-air = { path = "keccak-air", version = "0.3.0" }
-p3-koala-bear = { path = "koala-bear", version = "0.3.0" }
-p3-lookup = { path = "lookup", version = "0.3.0" }
-p3-matrix = { path = "matrix", version = "0.3.0" }
-p3-maybe-rayon = { path = "maybe-rayon", version = "0.3.0" }
-p3-mds = { path = "mds", version = "0.3.0" }
-p3-merkle-tree = { path = "merkle-tree", version = "0.3.0" }
-p3-mersenne-31 = { path = "mersenne-31", version = "0.3.0" }
-p3-monty-31 = { path = "monty-31", version = "0.3.0" }
-p3-multilinear-util = { path = "multilinear-util", version = "0.3.0" }
-p3-poseidon = { path = "poseidon", version = "0.3.0" }
-p3-poseidon2 = { path = "poseidon2", version = "0.3.0" }
-p3-poseidon2-air = { path = "poseidon2-air", version = "0.3.0" }
-p3-rescue = { path = "rescue", version = "0.3.0" }
-p3-sha256 = { path = "sha256", version = "0.3.0" }
-p3-symmetric = { path = "symmetric", version = "0.3.0" }
-p3-uni-stark = { path = "uni-stark", version = "0.3.0" }
-p3-util = { path = "util", version = "0.3.0" }
+p3-field = { path = "field", version = "0.4.2" }
+p3-field-testing = { path = "field-testing", version = "0.4.2" }
+p3-fri = { path = "fri", version = "0.4.2" }
+p3-goldilocks = { path = "goldilocks", version = "0.4.2" }
+p3-interpolation = { path = "interpolation", version = "0.4.2" }
+p3-keccak = { path = "keccak", version = "0.4.2" }
+p3-keccak-air = { path = "keccak-air", version = "0.4.2" }
+p3-koala-bear = { path = "koala-bear", version = "0.4.2" }
+p3-lookup = { path = "lookup", version = "0.4.2" }
+p3-matrix = { path = "matrix", version = "0.4.2" }
+p3-maybe-rayon = { path = "maybe-rayon", version = "0.4.2" }
+p3-mds = { path = "mds", version = "0.4.2" }
+p3-merkle-tree = { path = "merkle-tree", version = "0.4.2" }
+p3-mersenne-31 = { path = "mersenne-31", version = "0.4.2" }
+p3-monty-31 = { path = "monty-31", version = "0.4.2" }
+p3-multilinear-util = { path = "multilinear-util", version = "0.4.2" }
+p3-poseidon = { path = "poseidon", version = "0.4.2" }
+p3-poseidon2 = { path = "poseidon2", version = "0.4.2" }
+p3-poseidon2-air = { path = "poseidon2-air", version = "0.4.2" }
+p3-rescue = { path = "rescue", version = "0.4.2" }
+p3-sha256 = { path = "sha256", version = "0.4.2" }
+p3-symmetric = { path = "symmetric", version = "0.4.2" }
+p3-uni-stark = { path = "uni-stark", version = "0.4.2" }
+p3-util = { path = "util", version = "0.4.2" }
 
 [workspace.package]
 # General description field used for the sub-crates that are currently missing a description.
 description = "Plonky3 is a toolkit for implementing polynomial IOPs (PIOPs), such as PLONK and STARKs."
-version = "0.3.0"
+version = "0.4.2"
 edition = "2024"
 license = "MIT OR Apache-2.0"
 repository = "https://github.com/Plonky3/Plonky3"

README.md

@@ -57,6 +57,7 @@ Hashes
 - [x] BLAKE3
   - [ ] modifications to tune BLAKE3 for hashing small leaves
 - [x] Keccak-256
+- [x] SHA-256
 - [x] Monolith
 
 

RELEASING.md

@@ -0,0 +1,50 @@
+# Releasing Plonky3
+
+This document describes how to create a new release of Plonky3.
+
+## Prerequisites
+
+- Install [release-plz](https://release-plz.dev/docs/usage/installation)
+- Set the `GIT_TOKEN` environment variable with a GitHub token that has permission to create PRs
+
+## Creating a Release
+
+1. Ensure your local `main` branch is up-to-date with the remote:
+   ```bash
+   git checkout main
+   git pull origin main
+   ```
+
+2. Run the release script:
+   ```bash
+   ./create_release.sh
+   ```
+
+3. This creates a PR with:
+   - Version bumps for all crates (in lock-step)
+   - Updated changelogs based on conventional commits
+
+4. Review and merge the PR. Once merged, CI automatically publishes all crates to crates.io.
+
+## How It Works
+
+- **Version grouping**: All crates share the same version via `version_group = "plonky3"` in `release-plz.toml`
+- **Changelog generation**: Uses [git-cliff](https://git-cliff.org/) configured in `cliff.toml`
+- **Version bump detection**: `release-plz` uses [cargo-semver-checks](https://github.com/obi1kenobi/cargo-semver-checks) to automatically detect the appropriate version bump:
+  - Breaking API changes (removed/changed public items) → major bump
+  - New public API additions → minor bump
+  - Bug fixes, internal changes, docs → patch bump
+- **Conventional commits** (optional): If used, commit prefixes like `feat!:` can also signal breaking changes
+
+## Troubleshooting
+
+### CI publish failed
+
+If the publish step fails (e.g., crates.io outage), you can manually re-run the workflow:
+
+1. Go to Actions → Release-plz
+2. Click "Run workflow" on the main branch
+
+### release-plz says "no changes to release"
+
+This means there are no conventional commits since the last release tag. Ensure your commits follow the [conventional commits](https://www.conventionalcommits.org/) format.

air/CHANGELOG.md

@@ -0,0 +1,35 @@
+# Changelog
+
+All notable changes to this project will be documented in this file.
+
+The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
+and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
+
+## [Unreleased]
+## [0.4.2] - 2026-01-05
+### Authors
+
+## [0.4.1] - 2025-12-18
+### Authors
+
+## [0.4.0] - 2025-12-12
+### Merged PRs
+- Chore: add descriptions to all sub-crate manifests (#906) (Himess)
+- Air: more unit tests for air utils (#936) (Thomas Coratger)
+- Replace `Copy` with `Clone` in `AirBuilder`'s `Var` (#930) (Linda Guiga)
+- Air: better doc for traits (#935) (Thomas Coratger)
+- Chore: various small changes (#944) (Thomas Coratger)
+- Weaken the trait bound of AirBuilder to allow `F` to be merely a Ring. (#977) (AngusG)
+- Doc: add better doc in air and fix TODO (#1061) (Thomas Coratger)
+- Clippy: small step (#1102) (Thomas Coratger)
+- Clippy: add semicolon_if_nothing_returned (#1107) (Thomas Coratger)
+- Add preprocessed/transparent columns to uni-stark (#1114) (o-k-d)
+- Integrate lookups to prover and verifier (#1165) (Linda Guiga)
+
+### Authors
+- AngusG
+- Himess
+- Linda Guiga
+- Thomas Coratger
+- o-k-d
+

air/Cargo.toml

@@ -12,9 +12,11 @@ categories.workspace = true
 [dependencies]
 p3-field.workspace = true
 p3-matrix.workspace = true
+serde = { workspace = true, features = ["derive", "alloc"] }
+tracing.workspace = true
 
 [dev-dependencies]
-p3-baby-bear.workspace = true
+p3-baby-bear = { path = "../baby-bear" }
 
 [lints]
 workspace = true