Looked in to previous staggered message sending approach. Require manualy resetting nim/nimble to match the branch dates. The performance evaluation results are available here
As no gains are seen, looking for other possible improvements (delayed elimination of peers from queues on receiving idontwants), adapting stagger delays to peer speeds/scores. still a WIP
vac:admin
Work on blog drafts for Verkle Trees, KZG, and BloomFilters.
zk:codex:zk-consulting
Provided feedback on bkomuves’ notes on Codex tracking proofs.
Began report on Groth16 as final compression layer, and current state of pairing-based recursion proof systems.
Worked extensively on the architecuture of state separation and made some improvements (Ugur + Moudy)
Finished the 5-page doc for the framework of the prototype with some charts related to the type of executions (Ugur)
Enriched the prototype with the details for the first draft (Moudy + Ugur)
proofsystems:vac:research-existing-proof-systems
Continued reading about Greco zk proofs (Rostyslav)
Finished checking out Ligetron (Rostyslav)
Wrote a small summary paragraph on LatticeFold (Rostyslav)
proofsystems:vac:benchmarks
Started the writings and wrapped up some parts to reflect main differences between the major analyzed proof systems (especially regarding proofs agg vs recursion) (Moudy)
virtual-machine-creation:vac:vm-foundations
Prepared requirements to look into existing ZkVms and what are the important keys we need to assess (Moudy)