Fill in validity circuit - Githubissues

junyechen1996 / draft-chen-cfrg-vdaf-pine

VDAF to support aggregating real number vectors with L2-norm bound

Other

5 stars 0 forks source link

Fill in validity circuit #67

Closed junyechen1996 closed 8 months ago

junyechen1996 commented 8 months ago

Reviewer's note: stacked PR on #66 .

junyechen1996 commented 8 months ago

Things that are still open:

Wording about evaluating polynomial at random point: https://github.com/junyechen1996/draft-chen-cfrg-vdaf-pine/pull/67#discussion_r1504898519
Mention range check at the beginning of FLP circuit: https://github.com/junyechen1996/draft-chen-cfrg-vdaf-pine/pull/67#discussion_r1504905892
The term "quadratic check": https://github.com/junyechen1996/draft-chen-cfrg-vdaf-pine/pull/67#discussion_r1504888793
Mention success bit: https://github.com/junyechen1996/draft-chen-cfrg-vdaf-pine/pull/67#discussion_r1504883073

junyechen1996 commented 8 months ago

Made a final pass and squashed.