Skip to content

Pull requests: a16z/jolt

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
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
#1685 opened Jul 17, 2026 by quangvdao Contributor Draft
refactor(jolt-field): Land Solinas field from akita-field in jolt-field no-spec PR has no spec file
#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
Draft: CUDA kernels no-spec PR has no spec file
#1618 opened Jun 15, 2026 by protoben Contributor Draft
2 tasks
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
ProTip! Mix and match filters to narrow down what you’re looking for.