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:
5 Likes
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.
4 Likes
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.
1 Like
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
1 Like
Here’s some updates.
@vveiln I don’t know enough about what the cryptography projects mean yet to have enough detail; “shielded solving” is pretty vague. I’d like to improve this part.
@graphomath I’ve included some object system nodes, but only concrete ones (I understand what “remote objects” means, for example).
For the record, Chris was speaking of virtual objects and the closest in the literature that I am aware of is live distributed objects; additional resources of interest are this thesis, titled Naming and synchronization in a decentralized computer system and Croquet.
Do you have a reference for “remote object” @ray ?
Proof aggregation is still not there. Aggregated proofs are expected to be verified on Ethereum, so resource plasma must depend on them