-
Notifications
You must be signed in to change notification settings - Fork 324
Pull requests: a16z/jolt
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
perf(akita): size setup from Jolt schedules
implementation
PR contains implementation of a spec
spec
Tracking issue for a feature spec
refactor(jolt-field): Land Solinas field from PR has no spec file
akita-field in jolt-field
no-spec
#1684
opened Jul 17, 2026 by
Acentelles
Loading…
9 tasks done
Refactor jolt-witness
implementation
PR contains implementation of a spec
spec
Tracking issue for a feature spec
#1677
opened Jul 15, 2026 by
moodlezoup
Collaborator
Loading…
5 tasks done
feat: Akita lattice PCS integration — jolt-prover-legacy packed prover
implementation
PR contains implementation of a spec
spec
Tracking issue for a feature spec
#1676
opened Jul 15, 2026 by
markosg04
Collaborator
Loading…
feat: Akita lattice PCS integration — verifier path and shared semantics
claude-review-request
Request a review from Claude Code
implementation
PR contains implementation of a spec
spec
Tracking issue for a feature spec
#1675
opened Jul 15, 2026 by
markosg04
Collaborator
Loading…
docs: specify modular verifier panic-freedom remediation
spec
Tracking issue for a feature spec
#1674
opened Jul 15, 2026 by
quangvdao
Contributor
Loading…
Rust to lean bytecode expansiosn
claude-review-request
Request a review from Claude Code
no-spec
PR has no spec file
#1666
opened Jul 8, 2026 by
abiswas3
Contributor
Loading…
2 tasks done
chore(deps): bump addr2line from 0.26.1 to 0.27.0
dependencies
Pull requests that update a dependency file
no-spec
PR has no spec file
rust
Pull requests that update rust code
#1659
opened Jul 2, 2026 by
dependabot
Bot
Loading…
Migrate Jolt core transcripts to Spongefish
implementation
PR contains implementation of a spec
spec
Tracking issue for a feature spec
#1657
opened Jul 1, 2026 by
Vishalkulkarni45
Contributor
Loading…
Spec: Streaming Prover
implementation
PR contains implementation of a spec
spec
Tracking issue for a feature spec
#1629
opened Jun 18, 2026 by
sashafrolov
Contributor
•
Draft
Mitigate proof-deserialization DOS vector
no-spec
PR has no spec file
#1609
opened Jun 9, 2026 by
moodlezoup
Collaborator
•
Draft
docs: add akita lattice specs
claude-review-request
Request a review from Claude Code
spec
Tracking issue for a feature spec
#1606
opened Jun 9, 2026 by
markosg04
Collaborator
Loading…
feat: add wrapper verifier
claude-review-request
Request a review from Claude Code
implementation
PR contains implementation of a spec
spec
Tracking issue for a feature spec
#1603
opened Jun 9, 2026 by
markosg04
Collaborator
Loading…
feat: add Dory assist verifier
claude-review-request
Request a review from Claude Code
no-spec
PR has no spec file
#1602
opened Jun 9, 2026 by
markosg04
Collaborator
Loading…
feat: add PCS assist Dory opening formulas
claude-review-request
Request a review from Claude Code
implementation
PR contains implementation of a spec
spec
Tracking issue for a feature spec
#1601
opened Jun 9, 2026 by
markosg04
Collaborator
Loading…
feat: add HyperKZG zero-knowledge openings
claude-review-request
Request a review from Claude Code
implementation
PR contains implementation of a spec
spec
Tracking issue for a feature spec
#1600
opened Jun 9, 2026 by
markosg04
Collaborator
Loading…
feat: add Hyrax row commitments
claude-review-request
Request a review from Claude Code
no-spec
PR has no spec file
#1599
opened Jun 9, 2026 by
markosg04
Collaborator
Loading…
feat: add R1CS extension foundations
claude-review-request
Request a review from Claude Code
no-spec
PR has no spec file
#1598
opened Jun 9, 2026 by
markosg04
Collaborator
Loading…
spec: jolt-core transcript migration to spongefish split-trait surface
claude-review-request
Request a review from Claude Code
claude-spec-approved
Claude spec analysis found no ambiguities
implementation
PR contains implementation of a spec
spec
Tracking issue for a feature spec
#1586
opened Jun 3, 2026 by
shreyas-londhe
Contributor
Loading…
Add Poseidon2 Goldilocks inline
implementation
PR contains implementation of a spec
spec
Tracking issue for a feature spec
#1570
opened May 24, 2026 by
jay-clarke
•
Draft
feat(fr): BN254 Fr native-field coprocessor on the modular stack
implementation
PR contains implementation of a spec
spec
Tracking issue for a feature spec
#1538
opened May 18, 2026 by
sagar-a16z
Contributor
Loading…
12 tasks done
feat(sdk): #[jolt::provable(backend = "modular")] + modular prove/verify entry points
no-spec
PR has no spec file
#1535
opened May 15, 2026 by
sagar-a16z
Contributor
Loading…
3 of 5 tasks
jolt-openings crate API cutover
claude-review-request
Request a review from Claude Code
claude-spec-approved
Claude spec analysis found no ambiguities
implementation
PR contains implementation of a spec
spec
Tracking issue for a feature spec
#1521
opened May 12, 2026 by
quangvdao
Contributor
Loading…
bench(jolt-sumcheck): add criterion benchmarks for verifier paths
no-spec
PR has no spec file
#1520
opened May 11, 2026 by
wstran
Contributor
Loading…
8 tasks done
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.