Skip to content

Latest commit

 

History

History

Informal

Informal specifications

This directory contains informal specifications of the SDK.

Highlights are:

A description of how an E2E-V election might run

Images of the state machine, process chart, and assurance layers

State machine

Process Chart

Assurance Layers