forked from a16z/hachi
-
Notifications
You must be signed in to change notification settings - Fork 1
Pull requests: LayerZero-Labs/akita
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Spec: CRT/NTT range chunking
spec
PR contains a spec
spec-review-request
Requests structured spec review
Expand profile bench matrix and slim slow test
implementation
PR contains implementation of a spec
spec
PR contains a spec
#107
opened May 26, 2026 by
quangvdao
Loading…
Tensor challenges final
no-spec
PR has no spec file
#106
opened May 25, 2026 by
omibo
Loading…
7 tasks done
Introduce a typed prover compute backend boundary
implementation
PR contains implementation of a spec
spec
PR contains a spec
#105
opened May 24, 2026 by
quangvdao
Loading…
Harden transcript replay, setup identity, and recursion inputs
implementation
PR contains implementation of a spec
spec
PR contains a spec
#104
opened May 24, 2026 by
quangvdao
Loading…
feat(prover): add dense tensor fold path
no-spec
PR has no spec file
#98
opened May 21, 2026 by
sumchecker
Loading…
feat(zk): add masked sumcheck hiding path
implementation
PR contains implementation of a spec
spec
PR contains a spec
#91
opened May 19, 2026 by
RadNi
Loading…
Add akita-zk: ring Ajtai opening proofs with box, Gaussian, and Gärtner rejection harnesses
implementation
PR contains implementation of a spec
spec
PR contains a spec
feat: tensor stage-1 challenges
implementation
PR contains implementation of a spec
spec
PR contains a spec
#68
opened May 6, 2026 by
sumchecker
•
Draft
ProTip!
Follow long discussions with comments:>50.