forked from a16z/hachi
-
Notifications
You must be signed in to change notification settings - Fork 8
Pull requests: LayerZero-Labs/akita
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(planner): adapt trusted scalar schedules to grouped roots
implementation
PR contains implementation of a spec
spec
PR contains a spec
#472
opened Sep 4, 2026 by
quangvdao
Collaborator
Loading…
spec: define iterated JL shortness certification
implementation
PR contains implementation of a spec
spec
PR contains a spec
#471
opened Sep 4, 2026 by
quangvdao
Collaborator
Loading…
5 of 6 tasks
feat(protocol)!: bind quotient-free ring relation mode
implementation
PR contains implementation of a spec
spec
PR contains a spec
#466
opened Sep 3, 2026 by
quangvdao
Collaborator
•
1/2
Loading…
docs(book): document Akita implementation internals
no-spec
PR has no spec file
#465
opened Sep 2, 2026 by
quangvdao
Collaborator
Loading…
docs(book): clarify subring coefficient packing
#463
opened Sep 1, 2026 by
f7ed
Collaborator
Loading…
docs(spec): design the proof-scoped prover runtime
#461
opened Sep 1, 2026 by
quangvdao
Collaborator
Loading…
feat(setup): make the public-matrix seed a required runtime parameter
no-spec
PR has no spec file
#455
opened Aug 31, 2026 by
mtbadakhshan
•
2/2
Loading…
docs(spec): propose code complexity measurement and ratchet
#453
opened Aug 31, 2026 by
quangvdao
Collaborator
Loading…
docs(planner): specify certified guided search
#449
opened Aug 31, 2026 by
quangvdao
Collaborator
Loading…
docs(verification): define verifier kernel proof plan
implementation
PR contains implementation of a spec
spec
PR contains a spec
refactor(schedules)!: externalize trusted schedule catalogs
implementation
PR contains implementation of a spec
spec
PR contains a spec
#428
opened Aug 20, 2026 by
quangvdao
Collaborator
•
2/2
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.