Formulated with Jeremy this afternoon, posting for reference. An enveloping box is a larger objective that depends on everything inside it, otherwise A → B means B depends on A.
Archive link:
Formulated with Jeremy this afternoon, posting for reference. An enveloping box is a larger objective that depends on everything inside it, otherwise A → B means B depends on A.
Archive link:
This diagram doesn’t include a lot of cryptography team research. For example, I believe resource plasma depends on proof aggregation mechanism, which is one of the near-term research directions. What shielded solving is in the near-term research is also unclear. You can see the cryptography team projects planned for Q3 here.
Thank you very much! Leaving the object model discussions aside here, do you have references for the “Urbit Arrow”? Do we have a write up? In particular I am curious about typed controller communications.
We should include proof aggregation in the diagram, what other cryptography research would you view as missing here? It would be good to include it