Comment on page
👣
Versions
Djed is in fact not a single protocol but an evolving collection of protocols. Their characteristics and differences are summarized in the table below. Because Djed versions do not necessarily evolve linearly and are effectively variations of each other, we use names and letters to refer to them, instead of numbers.
Version | V | Formally Verified? | How it Differs from the Minimal Version |
---|---|---|---|
Minimal | M | Yes | Not applicable. |
Extended | E | Not Yet | |
O | Not Yet |
|