def AMT.Regression.key : PublicKey

Equations

• AMT.Regression.key = { bytes := [215, 90, 152, 1, 130, 177, 10, 183, 213, 75, 254, 211, 201, 100, 7, 58, 14, 225, 114, 243, 218, 166, 35, 37, 175, 2, 26, 104, 247, 7, 81, 26] }

def AMT.Regression.input : LocalInput

Equations

• AMT.Regression.input = { version := 0, publicKey := AMT.Regression.key }

def AMT.Regression.expectedKey : String

Equations

• AMT.Regression.expectedKey = "kTXD9G0C2P45BFNABZV9WJS07787E2WQKVAK269DF08D6HXR7A4D0"

def AMT.Regression.expectedPreimage : String

Equations

• One or more equations did not get rendered due to their size.

def AMT.Regression.expectedDigest : Hash

Equations

• One or more equations did not get rendered due to their size.

def AMT.Regression.expectedDID : W3C.DID

Equations

• AMT.Regression.expectedDID = { value := "did:amt:20XF319QWKMS8JY6PD06FWY6ZYHKA7FVSV3Z935JE7V88PWRJQ7KZJAMP20EE8G0SWPNVXFE5W8H007QPXKA50HKPM6BQPGBAVBG7GG" }

def AMT.Regression.fixtureHash (bytes : List UInt8) : Hash

Refuse all inputs except the independently recorded canonical preimage.

Equations

• AMT.Regression.fixtureHash bytes = if (bytes == AMT.Regression.expectedPreimage.toUTF8.data.toList) = true then AMT.Regression.expectedDigest else { value := [] }

def AMT.Regression.doc : W3C.DIDDocument

Equations

• AMT.Regression.doc = AMT.finalizeV0 AMT.Regression.key AMT.Regression.expectedDID