-
Notifications
You must be signed in to change notification settings - Fork 6
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
Add basic test for DPCTxnNote #1
Conversation
I will remove fee and fee change and collect detailed benchmark data on another branch, as discussed. |
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, maybe @zhenfeizhang can take another quick look.
This is pending an PR on upstream Jellyfish to support ☝️ being done by @zhenfeizhang |
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
/// Get the number of constraints in the underlying `PredicateCircuit` | ||
fn num_constraints(&self) -> usize { | ||
// TODO: (alex) poor API design, can't get a immutable reference to the | ||
// underlying `PlonkCircuit`/`Instance` in jf-plonk |
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.
is this the padded version or the unpadded one? Shall we patch Jellyfish?
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 is padded version. the unpadded version num of constraint is printed here.
I think we don't need to patch Jellyfish, since our circuit is built and finalized outside of Jellyfish, so the downstream libraries can print out the raw/unpadded num_of_constraint
in their code.
This PR:
DPCTxnBody::generate()
API design to acceptlocal_data_commitment_randomness
since the predicates it accepts are assumed to finalized outside this function.Outdated:
See notion page on the benchmark effort.