Notes on sealstack (and how to get out of it)

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.
1. as an exercise, model resealing
2. we may not need full resealing. Maybe it is sufficient to have just “dynamic Poreps”: the replica is constantly changing (or changing frequently enough).