Constants in Sebyla

Constantine Plotnikov

Only static data that is allowed to exist is data that could not provide communication channel. For exmple static mutable variables will prohibited.

So only immutable static data should be allowed.

Implementing it fully will require proof carying code methodology in or to create proofs that data is immuable.

As temporary soluition for prototype, only some specific types will be allowed to qualify as immutable types. Here is complete definitio of them:

List of types allowed for cosntants in prototype

If you think that something here could provide a communcation channel and should be forbidden please notify me. Also if you think some easy to verify rule that will extend list of valid types could be added here, also please notify me.