Tagion Contract definitions

A contract is defined as a HiRPC with the submit method and a SignedContract as the only parameter

Smart contract Method

The hirpc document sent to the network

Name	D-Type	Description	Required
`$@`	hirpc	Record type name	Yes
`method`	string="submit"	RPC method name	Yes
`params`	SignedContract	The actual contract	Yes

Name	D-Type	Description	Required
`$@`	SSC	Record type name	Yes
`$signs`	[Buffer]	List of $N$ signature	Yes
`$contract`	[Contract]	The contract body	Yes

Name	D-Type	Description	Required
`$@`	SMC	Record type name	Yes
`$in`	[Buffer]	$N$ input fingerprint	Yes
`$read`	[Buffer]	Fingerprints to reads	No
`$run`	[Document]	Smart Contract	Yes

This is a builtin ^{not so}smart-contract for outputting tagions

Name	D-Type	Description	Required
`$@`	pay	Record type name	Yes
`$vals`	[TagionBill]	script outputs	Yes