Oct 26, 2023 3:40 PM
The next directions we decided to move on: — Most important thing seems to at least have a language and basic notes written down, so that’s a minimal starting point
What should be in the notes:
- Trying to prove that sealstack is inevitable. This is going to be in some model (this model for example will have no changes in the replica)
- Trying to break out of the model above. For example, we know that resealing should work to break sealstack.
- as an exercise, model resealing
- we may not need full resealing. Maybe it is sufficient to have just “dynamic Poreps”: the replica is constantly changing (or changing frequently enough).