-
Notifications
You must be signed in to change notification settings - Fork 231
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
feat: implement LogUp scheme #420
Conversation
feb2a27
to
e0f3423
Compare
35d5ddf
to
8a314d3
Compare
d144562
to
6f6be38
Compare
71cf1d6
to
ca0d474
Compare
tachyon/zk/plonk/constraint_system/constraint_system_unittest.cc
Outdated
Show resolved
Hide resolved
tachyon/zk/plonk/constraint_system/constraint_system_unittest.cc
Outdated
Show resolved
Hide resolved
tachyon/zk/plonk/constraint_system/constraint_system_unittest.cc
Outdated
Show resolved
Hide resolved
Please remove this statement from the commit body of feat(zk): add constraint_system lookup logic for LookupsMap
|
Please add links to the rust reference code to every single commit! |
You need to add license of Geometry Research. Does Scroll take this code from here, right? |
Please change the type of fix(zk): fix wrong iterator access, feat(zk): add circuit test flags for LogUp and feat(zk): implement MultiLookupCircuit to |
aae25a7
to
b3d6f86
Compare
8cb3ce2
to
ea1ae1e
Compare
Add `btree_map_stringifier` and `lookup_tracker_stringifier`.
ea1ae1e
to
7147174
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
7147174
to
844a9de
Compare
`MultiLookupCircuit` to be introduced in the following commit requires 2^8 `kMaxExtendedDomainSize`.
Introduce `MultiLookupCircuit` for testing `LogDerivativeHalo2` scheme. See https://github.com/scroll-tech/halo2/blob/1070391642dd64b2d68b47ec246cba9e35bd3c15/halo2_proofs/tests/plonk_api.rs
844a9de
to
8ad250a
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
Implement logarithmic derivative lookup scheme.
Logarithmic derivatives translate products of linear factors into sums of their reciprocals, turning zeroes into simple poles of same multiplicity. It reduces computation cost using grand sum argument instead of grand product argument.
See Paper 2022/1530
Referenced Scroll Halo2 implementation.
We named Logup not MVLookup because this implementation uses univariate polynomial commitment scheme.