00:34:53 https://ccs.getmonero.org/proposals/emsczkp-research-folding-gbp.html 00:34:53 If this succeeds could it be used for something like "miners collect all proves and add one proof for all transactions in the block" ? 00:46:02 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) 00:48:23 Why would there be a need to keep the aggregated proofs? 00:48:23 Couldnt the consensus force miners to Aggregate the proofs for every block? 00:48:58 they can. but you must be able to reorg 00:49:31 which involves the full transaction, and tx hash also involves the full tx + pruned part atm. someone might want to verify that other part 00:49:35 Ah i see, forgot about that 00:50:10 current pruned nodes download all, verify, then prune after a while 00:50:45 these aggregate "pruned" nodes could do that, but also, be able to sync pruned data and verify 00:51:14 makes full nodes quite nice in limited bandwidth environments, without skipping verification of the proofs 00:51:26 archival nodes would be doing both 00:51:38 I see.Why stop there? Couldnt we Aggregate like n blocks into one proof? 00:51:44 For pruned nodes 00:52:27 I don't have more information on that. I'd recommend you wait for them or gets brought up next MRL 00:53:54 Ok, thank you. 00:53:54 Maybe one could even fold the all proofs into one, so initially nodes have to only verify this one folded membership-mega-proof 🤔🤣 07:00:36 "One folded membership-mega-proof": Don't these people here, mentioned recently on Reddit, try something similar? https://minaprotocol.com/blog/22kb-sized-blockchain-a-technical-reference 07:40:31 Mina's whole thing is a single proof for the state, yeah 14:28:27 Is something like this achievable for monero? 14:28:27 If the math stars align ofc 14:33:21 With years of R&D 14:33:35 I'd say an end-goal of Monero should be completely succinct proofs.