👣
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.
Version | V | Formally Verified? | How it Differs from V1 |
---|---|---|---|
Minimal | V1 | Yes | Not applicable. |
Extended | V2 | Not Yet | |
V3 | Partially |
|