-
Notifications
You must be signed in to change notification settings - Fork 45
Pull requests: binius-zk/binius64
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Reject MUL constraints in M4 verifier reduction
#1776
opened Jul 12, 2026 by
latifkasuli
Contributor
•
Draft
BINIUS-255: bind the reduction claim to the committed trace oracle
#1775
opened Jul 12, 2026 by
tcoratger
Contributor
Loading…
Tidy up sumcheck RoundCoeffs/RoundProof and add tests
#1765
opened Jul 10, 2026 by
tcoratger
Contributor
Loading…
keccak: document that an unconstrained len_bytes admits prefix hashes; add negative tests
#1758
opened Jul 10, 2026 by
pauldelucia
Contributor
Loading…
BINIUS-216: sumcheck shared-multilinear store and round evaluators (eager fold)
#1755
opened Jul 9, 2026 by
benji-potamus
Contributor
Loading…
BINIUS-247: deduplicate the circuit interpreters via a shared execution-context trait
#1753
opened Jul 9, 2026 by
tcoratger
Contributor
Loading…
feat(circuits): add variable-length BLAKE3 gadget and wire it into the example
#1743
opened Jul 8, 2026 by
gopikannappan
Loading…
BINIUS-100: rename NumCast to CastFrom and drop its dead bounds
#1626
opened Jun 29, 2026 by
tcoratger
Contributor
Loading…
BINIUS-114: switch multilinears to the monomial (infinity hypercube) basis
#1565
opened Jun 23, 2026 by
benji-potamus
Contributor
•
Draft
ProTip!
What’s not been updated in a month: updated:<2026-06-12.