Midgard Project

Composed Machine see:

• FMMidgard.State for the composed state
• FMMidgard.Relation for the composed relation
• FMMidgard.StateMachine for the composed state machine function.

Reasoning: Inductive Computational Relations

See FMMidgard.Meta.Relations.

Data Structures

Hash

See FMMidgard.DataStructures.Hash.

Lists

Unsorted Lists

See FMMidgard.DataStructures.List.Unordered.

Sorted Lists

See FMMidgard.DataStructures.List.Ordered.

Merkle Trees

Incomplete Merkle Tree representation and some theorems. See FMMidgard.DataStructures.MerkleTree.Definitions.

Serialization

Incomplete serialization module. Opted to go full data. See FMMidgard.DataStructures.Serializable.

Maps -- Cardano Tokens

Using refence counters and maps to /simulate/ Cardano tokens. See FMMidgard.DataStructures.Tokens.Tokens.

Cardano Representation

See FMMidgard.Cardano.Types and FMMidgard.Cardano.Transaction. We abstract away a lot of details. However, there is a relation between Midgard and Cardano transactions.

Midgard Commons

Block definition, time intervals, transactions, and some useful types. The connection between blocks (just hashes) to the real data is the Data Availability Layer, yet to be defined. However, the basic building blocks are here (see Serializable, Hashes, Merkle Trees.)

See FMMidgard.Commons.Block, FMMidgard.Commons.Interval, FMMidgard.Commons.Transaction, FMMidgard.Commons.Types.

Midgard Parameters

See FMMidgard.Parameter.

Midgard DataLayer

See FMMidgard.DataLayer.

Brige -- User Events

See FMMidgard.Bridge.State.

Operators Directory

See FMMidgard.OperatorDirectory.State.

Scheduler

See FMMidgard.Scheduler.State.

State Queue

See FMMidgard.StateQueue.State.

Settlement Queue

See FMMidgard.SettlementQueue.State.

FraudProof Protocol

See FMMidgard.ComutationThreads.State, FMMidgard.ProofProtocol.Tokens, FMMidgard.ProofProtocol.Catalogue.Ledger.AllInputsValid.