version parameter is missing

[kmlbgn]

Description

version param is missing from dApp or BinaryInfo object.

sekai/x/layer2/types/layer2.go

Lines 26 to 31 in 1b8573d

	func (dapp Dapp) Version() string {
	if len(dapp.Bin) > 0 {
	return dapp.Bin[0].Hash
	}
	return ""
	}

sekai/proto/kira/layer2/layer2.proto

Lines 30 to 36 in 1b8573d

	message BinaryInfo {
	string name = 1; // filename identifying source such as container, executable, config, finality gadget, etc.
	string hash = 2; // hash of the file
	string source = 3; // link to the source (from where the file should be fetched)
	string reference = 4; // link to github repository or audit
	string type = 5; // optional file type, e.g. binary, archive, text, image, etc.
	}

Expected Behaviour

This parameters should be added and the logic surrounding it should be checked:

• Whenever changes are made to binary files of the dApp, the application version must be changed, otherwise the proposal raising will fail.
• The version must be included and match the application version when the leader submits a new dApp state transition.
• The transition, approval and rejection transactions related to the dApp session state must include the dApp version.
• The state transition transaction will fail if the dApp version is not correct.
• Verifiers must include the version in their approval transactions and it must match the application version. If the version does not match, or if the session leader tries to send the approval transaction for their own state transition, the transaction must fail.