<atomfried:matrix.org> ccs.getmonero.org/proposals/emsczkp-research-folding-gbp.html

<atomfried:matrix.org> If this succeeds could it be used for something like "miners collect all proves and add one proof for all transactions in the block" ?

this was brought up in MRL meetings. Specifically “Stream proving” part would, and might allow for a different class of "full" verifying nodes with pruned txs, but with aggregated proofs per block (so they can be fully verified), and archival nodes that keep the full version of the original transactions (with individual proofs)

<atomfried:matrix.org> Why would there be a need to keep the aggregated proofs?

<atomfried:matrix.org> Couldnt the consensus force miners to Aggregate the proofs for every block?

they can. but you must be able to reorg

which involves the full transaction, and tx hash also involves the full tx + pruned part atm. someone might want to verify that other part

<atomfried:matrix.org> Ah i see, forgot about that

current pruned nodes download all, verify, then prune after a while

these aggregate "pruned" nodes could do that, but also, be able to sync pruned data and verify

makes full nodes quite nice in limited bandwidth environments, without skipping verification of the proofs

archival nodes would be doing both

<atomfried:matrix.org> I see.Why stop there? Couldnt we Aggregate like n blocks into one proof?

<atomfried:matrix.org> For pruned nodes

I don't have more information on that. I'd recommend you wait for them or gets brought up next MRL

<atomfried:matrix.org> Ok, thank you.

<atomfried:matrix.org> Maybe one could even fold the all proofs into one, so initially nodes have to only verify this one folded membership-mega-proof 🤔🤣

<rbrunner7> "One folded membership-mega-proof": Don't these people here, mentioned recently on Reddit, try something similar? minaprotocol.com/blog/22kb-sized-blockchain-a-technical-reference

<kayabanerve:matrix.org> Mina's whole thing is a single proof for the state, yeah

<atomfried:matrix.org> Is something like this achievable for monero?

<atomfried:matrix.org> If the math stars align ofc

<kayabanerve:matrix.org> With years of R&D

<kayabanerve:matrix.org> I'd say an end-goal of Monero should be completely succinct proofs.