Skip to content

PCS abstraction: crate-owned traits + BLS12-381 KZG backend #73

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
gabriel-barrett wants to merge 13 commits into
base: main
Choose a base branch
from
Draft

PCS abstraction: crate-owned traits + BLS12-381 KZG backend #73

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
fd6ac71
pcs abstraction: design doc + proof-bytes pin (Phase 0 gate)
gabriel-barrett Aug 16, 2026
90e3e0a
traits: crate-owned Transcript; core transcript decoupled from p3
gabriel-barrett Aug 16, 2026
de3958b
traits: crate-owned EvaluationDomain; core domain surface decoupled f…
gabriel-barrett Aug 16, 2026
8c068ac
traits: crate-owned Pcs; core commitment surface decoupled from p3
gabriel-barrett Aug 16, 2026
75fce34
docs: sync pcs-abstraction with the landed slices
gabriel-barrett Aug 16, 2026
4c14e49
traits: crate-owned field layer; core arithmetic decoupled from p3
gabriel-barrett Aug 16, 2026
99883b4
docs: Phase 0 complete
gabriel-barrett Aug 16, 2026
c8ae7a2
ark adapter: BLS12-381 KZG backend (feature "kzg")
gabriel-barrett Aug 16, 2026
b271020
srs: user-supplied parameters, checkable
gabriel-barrett Aug 16, 2026
d3627b0
ci: run tests with the kzg feature
gabriel-barrett Aug 16, 2026
4aec5a4
scalar: Display + canonical_low_u64 (Aiur field-surface needs)
gabriel-barrett Aug 17, 2026
3cd5316
fri pcs: retain and expose the construction parameters
gabriel-barrett Aug 17, 2026
d536a22
rename StarkGenericConfig -> ProofConfig
gabriel-barrett Aug 17, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ jobs:
- uses: Swatinem/rust-cache@v2
- name: Linux Tests
run: |
cargo nextest run --profile ci --cargo-profile dev-ci --workspace --features parallel
cargo nextest run --profile ci --cargo-profile dev-ci --workspace --features parallel,kzg

lints:
runs-on: ubuntu-latest
Expand Down
Loading