Folks, hello once again. It's your pal Dr. Sarang Noether, here to request ongoing support for the next few months. My current funded research period is complete at the end of this month, and I'm ready to go for another three months of research and development for the Monero Research Lab.
You can read my monthly research reports for the current funding period:January February March (forthcoming): Bulletproofs MPC, DLSAG applications and formalization, transaction models
There has been a lot of work over the last few months to improve transaction privacy, optimize existing constructions, and analyze and test new mathematical and cryptographic schemes.
There are many research topics planned for the next few months:Protocol documentation updates: These were usurped by more pressing research during this funding period. Graph matching paper: This is awaiting simulation results. DLSAG paper: This is undergoing final review with other researchers. Alternate transaction models: I plan to write prototyping code for a transaction model that was brought to my attention. Block size analysis and simulations: My colleague Surae Noether and I have been discussing more robust dynamic block size algorithms that we wish to test more thoroughly. Transaction relay: In addition to network-level approaches to transaction broadcast, I want to continue investigating the Dandelion++ transaction relay model for possible inclusion in Monero clients. There are subleties that other projects have encountered. Bulletproofs circuit code: Bulletproofs can be used to prove statements about general arithmetic circuits in zero knowledge, and it would be useful to have code available for this. Bulletproofs generalization: I want to generalize the Bulletproofs algorithms to handle arbitrary-size inputs. Literature review: This is always ongoing. Outreach and education: This may include additional Breaking Monero episodes, Coffee Chats, and other avenues. The unexpect...