-
Notifications
You must be signed in to change notification settings - Fork 3
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
[testing] feat: integrate mp2 batch queries feature #129
base: main
Are you sure you want to change the base?
Conversation
deb12f2
to
0d1dac6
Compare
0d1dac6
to
1e56b5e
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.
Minor details, otherwise looks good.
AFAIU, NUM_CHUNKS
and NUM_ROWS
need to be kept in sync between QE & Worker, but not with MP2, right?
lgn-provers/Cargo.toml
Outdated
"contract", | ||
"node-bindings", | ||
"providers", | ||
"network", | ||
"signer-local", | ||
"sol-types", | ||
"rpc", | ||
"rpc-types", | ||
"consensus", | ||
"rlp", | ||
"transports", | ||
"transport-http", | ||
"reqwest", | ||
] } |
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.
Do we really need all these features ?
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.
No, I fix to delete the useless alloy
features in commit 0e7109b.
) -> anyhow::Result<Vec<u8>> | ||
{ | ||
Ok(dummy_proof(PROOF_SIZE)) | ||
} | ||
|
||
fn prove_single_path_branch( | ||
fn prove_non_existence( |
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.
I dont think this one needs to exists anymore ? Non existence is just providing one input like any other no ? @nicholas-mainardi
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.
For rows tree with no matching rows yes, but we still have a circuit to prove non existence of nodes in the index tree. I suppose that this variant refers to this circuit?
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.
This corresponds to the non-existence proving logic in the batching queries integration test.
CRY-15
Related distributed-query PR #973
TODO
colberg
.dev1
.