Skip to content

Pull requests: a16z/jolt

New pull request New
25 Open 1,601 Closed
25 Open 1,601 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

fix(z3-verifier): model the W-form right-shift virtual instructions no-spec PR has no spec file
#1819 opened Aug 28, 2026 by pucedoteth Loading…
2 tasks done
1
refactor: remove jolt-prover-legacy no-spec PR has no spec file
#1818 opened Aug 27, 2026 by markosg04 Collaborator Loading…
2 tasks done
3
feat(akita): batch direct committed program objects implementation PR contains implementation of a spec spec Tracking issue for a feature spec
#1817 opened Aug 27, 2026 by omibo Contributor • Draft
feat: field-inline — native field arithmetic on the modular stack implementation PR contains implementation of a spec spec Tracking issue for a feature spec
#1808 opened Aug 26, 2026 by markosg04 Collaborator • Draft
2 tasks done
5
feat(field-fv): prove scalar Fp64 kernels no-spec PR has no spec file
#1799 opened Aug 22, 2026 by quangvdao Collaborator • Draft
2
refactor(akita)!: complete the shared field cutover implementation PR contains implementation of a spec spec Tracking issue for a feature spec
#1796 opened Aug 22, 2026 by quangvdao Collaborator • Draft
2
spec(sdk): define aligned borrowed byte inputs spec Tracking issue for a feature spec
#1793 opened Aug 21, 2026 by quangvdao Collaborator • Draft
3 of 4 tasks
test: z3 forall-proofs and checkpoint pinning for the byte-addressable stack no-spec PR has no spec file
#1783 opened Aug 19, 2026 by Acentelles Collaborator Loading…
7
feat: fused read-modify-write for narrow stores (SB/SH/SW) no-spec PR has no spec file
#1768 opened Aug 11, 2026 by Acentelles Collaborator • 4/4 Loading…
12
feat(prover): implicit-carry proving via committed carry column (spec #1710) no-spec PR has no spec file
#1764 opened Aug 11, 2026 by Acentelles Collaborator Loading…
16
feat(lookup-extraction): certify shared lookup graphs implementation PR contains implementation of a spec spec Tracking issue for a feature spec
#1759 opened Aug 9, 2026 by quangvdao Collaborator Loading…
perf(inlines): Keccak theta-D, in-place scheduling, and fused absorb (3,260 -> 3,087 rows) implementation PR contains implementation of a spec no-spec PR has no spec file pika-keep-healed Pika auto-heals this PR: merges main on conflict, fixes failing CI (never force-pushes)
#1749 opened Aug 7, 2026 by 0xAndoroid Collaborator • Draft
5
perf(prover): ~2x lower peak prover memory at 2^25-2^26, byte-identical proofs no-spec PR has no spec file pika-keep-healed Pika auto-heals this PR: merges main on conflict, fixes failing CI (never force-pushes)
#1734 opened Aug 3, 2026 by 0xAndoroid Collaborator • Draft
3
feat: Metal GPU backend (Apple Silicon) — experimental implementation PR contains implementation of a spec no-spec PR has no spec file
#1733 opened Aug 3, 2026 by 0xAndoroid Collaborator • Draft
4
perf(akita): optimize packed proving with implicit-zero commitments implementation PR contains implementation of a spec spec Tracking issue for a feature spec
#1715 opened Jul 29, 2026 by quangvdao Collaborator • Draft
3
perf(inline): implicit carry handling and ADDC and MULC instructions. spec Tracking issue for a feature spec
#1710 opened Jul 28, 2026 by mathmasterzach Contributor • Draft
4
docs(specs): add agent-dx spec spec Tracking issue for a feature spec
#1707 opened Jul 27, 2026 by markosg04 Collaborator Loading…
test(claims): claim-graph analysis over the symbolic protocol layer implementation PR contains implementation of a spec spec Tracking issue for a feature spec
#1705 opened Jul 27, 2026 by markosg04 Collaborator • Draft
1
ci: better coverage, better testing, and cargo mutants implementation PR contains implementation of a spec no-spec PR has no spec file
#1697 opened Jul 24, 2026 by markosg04 Collaborator Loading…
21
test(fuzz): harden verifier dependency coverage implementation PR contains implementation of a spec spec Tracking issue for a feature spec
#1696 opened Jul 23, 2026 by markosg04 Collaborator Loading…
18
chore: consolidate workspace into uniform crates/ no-spec PR has no spec file
#1689 opened Jul 22, 2026 by markosg04 Collaborator • Draft
2
docs: specify modular verifier panic-freedom remediation spec Tracking issue for a feature spec
#1674 opened Jul 15, 2026 by quangvdao Collaborator 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
20
Draft: CUDA kernels implementation PR contains implementation of a spec no-spec PR has no spec file
#1618 opened Jun 15, 2026 by protoben Contributor • Draft
2 tasks
3
Mitigate proof-deserialization DOS vector no-spec PR has no spec file
#1609 opened Jun 9, 2026 by moodlezoup Collaborator • Draft
1
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.