diff --git a/content/vac/dr/index.md b/content/vac/dr/index.md index 4e7f47513..d283dd780 100644 --- a/content/vac/dr/index.md +++ b/content/vac/dr/index.md @@ -41,6 +41,7 @@ lastmod: 2023-09-06 ## `vac:dr:zk:codex:` * [[ vac/dr/zk/codex/storage-proofs-open-problems-review | storage-proofs-open-problems-review ]] +* [[ vac/dr/zk/codex/zk-consulting | zk-consulting ]] ## `vac:dr::nomos:` * [[ vac/dr/g/nomos/reviews.md | reviews ]] diff --git a/content/vac/dr/zk/codex/zk-consulting.md b/content/vac/dr/zk/codex/zk-consulting.md new file mode 100644 index 000000000..380f578af --- /dev/null +++ b/content/vac/dr/zk/codex/zk-consulting.md @@ -0,0 +1,55 @@ +--- +title: "Codex Deep Research ZK consulting" +description: "consulting Codex on various ZK related subtasks" +--- +## `vac:dr:zk:codex:zk-consulting` +--- + +```mermaid +%%{ + init: { + 'theme': 'base', + 'themeVariables': { + 'primaryColor': '#BB2528', + 'primaryTextColor': '#fff', + 'primaryBorderColor': '#7C0000', + 'lineColor': '#F8B229', + 'secondaryColor': '#006100', + 'tertiaryColor': '#fff' + } + } +}%% +gantt + tickInterval 1month + dateFormat YYYY-MM-DD + section Status + zk-consulting: 2023-04-14, 2024-12-31 +``` + +- status: 10% +- CC: Marvin + +### Description + +This Milestone comprises deep research ZK consulting for Codex: +Here is a high level description of Codex ZK research problems: https://hackmd.io/1IZiFSiYSdyrbaKxKeUevg + +1) summarizing existing research relevant for us (exactly which papers is kind of dynamically determined), in form of PDF notes and face-to-face explanations. We agreed with Marvin that this is probably the easiest way to get something going +2) finding a suitable set commitment scheme (for tracking which proofs are present / not present in an aggregated proof) +3) figuring out the details of recursion for elliptic-curve-and-pairing based schemes (while this is solved, more clarity on this is required) + +Regarding 3): Even if we end up using a non EC scheme for "large data", KZG (and thus EC pairings) seems to be a much better choice for "small data", +so we will probably need this in any case (unless we can efficiently verify KZG proofs in a small field / FRI setting). + +Some of these tasks are explorative. Expected outputs are regular reports. + +A follow-up milestone for the next reporting period is expected. + +### Justification + + +### Deliverables + +* regular reports. + +